Liking cljdoc? Tell your friends :D

ansatz.lean.jvm.codec

Type-directed host carriers. Leaf conversion allocates no guest Nodes and can finish before crossing the interpreter's invocation boundary.

Type-directed host carriers. Leaf conversion allocates no guest Nodes and
can finish before crossing the interpreter's invocation boundary.
raw docstring

decode-leafclj

(decode-leaf type value)

Decode a value without taking or releasing guest ownership. Caller retains custody of the actual owned result root until all decoding finishes.

Decode a value without taking or releasing guest ownership. Caller retains
custody of the actual owned result root until all decoding finishes.
raw docstring

encode-argumentsclj

(encode-arguments descriptor arguments)

Snapshot and validate the whole argument list before guest execution.

Snapshot and validate the whole argument list before guest execution.
raw docstring

encode-leafclj

(encode-leaf type value)

Convert one supported leaf to the interpreter's object-lane carrier. Container construction has a separate ownership protocol and is not simulated here.

Convert one supported leaf to the interpreter's object-lane carrier. Container
construction has a separate ownership protocol and is not simulated here.
raw docstring

cljdoc builds & hosts documentation for Clojure/Script libraries

Keyboard shortcuts
Ctrl+kJump to recent docs
←Move to previous article
→Move to next article
Ctrl+/Jump to the search field
× close