nemesis.types — pbaille/nemesis 0.1.2

all-paths clj

(all-paths)

(all-paths x)

(all-paths x lines)

all-types clj

(all-types)

(all-types reg)

return a set containing all types of a registry or of the global registry

atoms clj

builtin-preds clj

builtin-types clj

childof clj

(childof x__1105__auto__)

(childof x y)

is x a child of y?

childs clj

(childs x__1105__auto__)

(childs reg k)

children seq

classes clj

(classes x__1105__auto__)

(classes reg t)

returns all classes for a type registry can be passed as first argument if not, global registry is derefered and used

cljs-atoms clj

cljs-colls clj

cljs-groups clj

cljs-prims clj

colls clj

compile-pred-map clj

(compile-pred-map)

(compile-pred-map reg)

cyclic? clj

(cyclic? x)

get-guard clj

(get-guard t)

get-guards clj

(get-guards)

get-reg clj

(get-reg)

get-type clj

(get-type t)

groups clj

isa clj macro

(isa t)

(isa t x)

parentof clj

(parentof x__1105__auto__)

(parentof x y)

is x a parent of y?

parents clj

(parents x__1105__auto__)

(parents reg x)

parents seq

predmap clj

(predmap)

(predmap reg)

preds-symbols clj

prims clj

regfn clj macro

(regfn name doc & cases)

split-prims clj

(split-prims)

symbolic-pred clj

(symbolic-pred k)

(symbolic-pred reg k)

(symbolic-pred reg k seed)

symbolic-pred-body clj

(symbolic-pred-body reg k gsym)

symbolic-preds->or-form clj

(symbolic-preds->or-form ps)