malli instrumentation of lean-clj.typed/defn functions from their Lean
signatures. malli is the user's dependency; this namespace loads it when
called.
malli instrumentation of `lean-clj.typed/defn` functions from their Lean signatures. malli is the user's dependency; this namespace loads it when called.
(instrument! nss)(instrument! nss opts)register! the functions of the namespaces nss, then instrument them with
malli.instrument/instrument!, so that calls with arguments outside their
Lean types throw. opts go to instrument! (:report, :scope).
`register!` the functions of the namespaces `nss`, then instrument them with `malli.instrument/instrument!`, so that calls with arguments outside their Lean types throw. `opts` go to `instrument!` (`:report`, `:scope`).
(register! nss)Register the malli function schema (lean-clj.types/fn-schema) of every
lean-clj.typed/defn function of the namespaces nss, as malli.core/=>
does. Returns the registered vars.
Register the malli function schema (`lean-clj.types/fn-schema`) of every `lean-clj.typed/defn` function of the namespaces `nss`, as `malli.core/=>` does. Returns the registered vars.
cljdoc builds & hosts documentation for Clojure/Script libraries
| Ctrl+k | Jump to recent docs |
| ← | Move to previous article |
| → | Move to next article |
| Ctrl+/ | Jump to the search field |