latte.utils — latte 1.0b4-SNAPSHOT

Misc. utilities for LaTTe libraries.

*decomposer-performs-delta-steps* clj

*decomposer-performs-norm* clj

+implicit-type-parameters-handlers+ clj

decomposer clj

(decomposer decompose-fn def-env ctx term)

(decomposer decompose-fn def-env ctx term try-delta? try-norm?)

explicit-type-name clj

(explicit-type-name ty)

Generates the explicit name of an implicit type ty.

fetch-implicit-type-parameter-handler clj

(fetch-implicit-type-parameter-handler implicit-types
                                       def-env-var
                                       ctx-var
                                       [param-var param-ty])

(fetch-implicit-type-parameter-handler handlers
                                       implicit-types
                                       def-env-var
                                       ctx-var
                                       param-var
                                       param-ty)

fetch-implicit-type-parameters clj

(fetch-implicit-type-parameters params)

Fetch the implicit parameters in the params (parameters) list.

fetch-ns-elements clj

(fetch-ns-elements)

(fetch-ns-elements ns)

Fetch the LaTTe elements in specified ns (or the current namespace by default).

implicit-type-parameter? clj

(implicit-type-parameter? v)

register-implicit-type-parameters-handler! clj

(register-implicit-type-parameters-handler! keysym handler-fn arity)

set-opacity! clj

(set-opacity! defvar flag)