Liking cljdoc? Tell your friends :D
Clojure only.
dhall-clj.typecheck
combine-typesclj
(combine-types ktsA ktsB error-fn)Deep merges two maps ktsA and ktsB, recurring only if the shared
keys are Records themselves, erroring otherwise.
Deep merges two maps `ktsA` and `ktsB`, recurring only if the shared keys are Records themselves, erroring otherwise.
ITypecheckcljprotocol
typecheckclj
(typecheck this context)Typecheck an expression in a context.
Returns the type on success, or excepts with an
ex-info of type :dhall-clj.fail/typecheck.
Typecheck an expression in a context. Returns the type on success, or excepts with an ex-info of type `:dhall-clj.fail/typecheck`.
typecheck-binarycljmacro
(typecheck-binary this ctx typ-class exc-fn)Generates the typechecking code for a binary operation given the
return typ-class and the exc-fn to throw in case of type error.
Generates the typechecking code for a binary operation given the return `typ-class` and the `exc-fn` to throw in case of type error.
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close