typed.clojure — org.typedclojure/typed.clj.runtime 1.4.0-SNAPSHOT

Wrapper macros that do the right thing for each platform. See typed.clojure.jvm for jvm-specific ops.

ann clj macro

(ann varsym typesyn)

Annotate varsym with type. If unqualified, qualify in the current namespace. If varsym has metadata {:no-check true}, ignore definitions of varsym while type checking. Supports namespace aliases and fully qualified namespaces to annotate vars in other namespaces.

eg. ; annotate the var foo in this namespace (ann foo [Number -> Number])

; annotate a var in another namespace
(ann another.ns/bar [-> nil])

; don't check this var
(ann ^:no-check foobar [Integer -> String])

ann-datatype clj macro

(ann-datatype & args)

ann-form clj macro

(ann-form & args)

ann-many clj macro

(ann-many & args)

ann-protocol clj macro

(ann-protocol & args)

ann-record clj macro

(ann-record & args)

atom clj macro

(atom & args)

Like atom, but with optional type annotations.

Same as (atom (ann-form init t) args*)

eg. (atom 1) : (Atom (Value 1)) (atom :- Num, 1) : (Atom Num)

cf clj macro

(cf & args)

In Clojure, expands to (clojure.core.typed/cf ~@args). In ClojureScript JVM, expands to (cljs.core.typed/cf ~@args).

cf-clj clj macro

(cf-clj & args)

Check a Clojure form in the current ns.

check-dir-clj clj

(check-dir-clj dirs)

check-ns-clj clj

(check-ns-clj)

(check-ns-clj ns-or-syms & {:as opt})

In Clojure, checks the current namespace or provided namespaces. Similar for self-hosted ClojureScript, except for macros namespaces.

cns clj macro

(cns & args)

In Clojure, expands to (check-ns-clj ~@args). In ClojureScript JVM, emulates calling (check-ns-cljs ~@args) at expansion time (note: args will not be evaluated). Self hosted ClojureScript semantics TBD.

Only suitable for REPL development:

1. (t/cns) or (t/cns 'my-ns.foo)
2. Fix type errors, save file, go back to 1 until fixed.

Not compatible with AOT compilation.

declare-alias-kind clj macro

(declare-alias-kind & args)

declare-datatypes clj macro

(declare-datatypes & args)

declare-names clj macro

(declare-names & args)

declare-protocols clj macro

(declare-protocols & args)

def clj macro

(def & args)

defalias clj macro

(defalias & args)

defn clj macro

(defn & args)

defprotocol clj macro

(defprotocol & args)

doc-clj clj macro

(doc-clj syn)

Pass any syntax fragment related to Typed Clojure to print documentation on it. eg., (doc-clj t/Rec) (doc-clj '[]) (doc-clj +) ;; print var annotation (doc-clj MyAlias) ;; print defalias mapping

Use :doc/index for documentation index.

fn clj macro

(fn & args)

inst clj macro

(inst & args)

inst-ctor clj macro

(inst-ctor & args)

loop clj macro

(loop & args)

ref clj macro

(ref & args)

tc-ignore clj macro

(tc-ignore & args)