Simple demo of using friendly-check from clojurescript.

clj/clarity/cljs/clarity/client.cljs

(ns clarity.client
  (:use [cljs.reader :only (read-string)])
  (:require [clarity.types :as t]))
(def query-field (js/document.querySelector "#query"))
(def query-result (js/document.querySelector "#query-type-check"))
(.addEventListener query-field "input"
  (fn [e]
    (let [content (.-value query-field)
          check   (t/friendly-check (read-string content) t/datomic-attr-type)]
      (set! (.-textContent query-result) check))))

clj/clarity/map-sample.html

		</span>
		}
	</form>
	<div class="field">
		<textarea id="query"></textarea>
		<span id="query-type-check"></span>
	</div>
	<script src="target/cljsbuild-main.js"></script>
</body>
</html>

clj/clarity/project.clj

(defproject clarity "0.0-SNAPSHOT"
  :dependencies [[org.clojure/clojure "1.5.1"]
                 [org.clojure/core.typed "0.2.19"]
                 [org.clojure/clojurescript "0.0-2080"]
                 [com.datomic/datomic-free "0.9.4331"]
                 [hiccup "1.0.4"]]
  :source-paths ["."]
  :plugins [[lein-ring "0.8.8"]]
  :ring {:handler clarity.server/app})
  :plugins [[lein-ring "0.8.8"]
            [lein-cljsbuild "1.0.1-SNAPSHOT"]]
  :ring {:handler clarity.server/app}
  :cljsbuild {:crossovers [clarity.types]
              :crossover-path "target/crossover"
              :builds [{:source-paths ["cljs"]}]})