Liking cljdoc? Tell your friends :D

ansatz.lean.jvm.scalar-buffer

Trusted scalar/buffer codec helpers. Plans contain no guest Nodes. Borrowed decoders acquire/release no credits; the caller retains the actual result root.

Trusted scalar/buffer codec helpers. Plans contain no guest Nodes. Borrowed
decoders acquire/release no credits; the caller retains the actual result root.
raw docstring

decode-array-fieldsclj

(decode-array-fields ctx raw)

Trusted internal borrowed field snapshot, never a public decoded result. Caller recursively decodes every element while retaining the actual owned root.

Trusted internal borrowed field snapshot, never a public decoded result.
Caller recursively decodes every element while retaining the actual owned root.
raw docstring

decode-bytesclj

(decode-bytes ctx raw)

Copy only the live extent of an actual borrowed ByteArray.

Copy only the live extent of an actual borrowed ByteArray.
raw docstring

decode-external-scalarclj

(decode-external-scalar type raw)

Decode takeResult's actual external scalar carrier (externalScalar in Java). This is distinct from guest raw IR bit words and object-lane BOX nodes.

Decode takeResult's actual external scalar carrier (externalScalar in Java).
This is distinct from guest raw IR bit words and object-lane BOX nodes.
raw docstring

decode-raw-scalarclj

(decode-raw-scalar type raw)

Decode an exact scalar-lane bit word (not an object-lane scalar box). Machine integers/words return BigInteger, Char Integer, floats Float/Double.

Decode an exact scalar-lane bit word (not an object-lane scalar box).
Machine integers/words return BigInteger, Char Integer, floats Float/Double.
raw docstring

decode-scalarclj

(decode-scalar ctx type raw)

Borrowed object-lane decoding; boxed 64-bit/Float32 payloads must match the reviewed BOX representation exactly. No existing Node is returned to Java.

Borrowed object-lane decoding; boxed 64-bit/Float32 payloads must match the
reviewed BOX representation exactly. No existing Node is returned to Java.
raw docstring

encode-scalarclj

(encode-scalar type input)

Return an immediate Long or {:kind :scalar :lane String :bits Long} recipe. Integer inputs are range checked; signed lanes use exact two's-complement bits. Float32/Float require exact Float/Double carriers. Char takes a code-point integer.

Return an immediate Long or {:kind :scalar :lane String :bits Long} recipe.
Integer inputs are range checked; signed lanes use exact two's-complement bits.
Float32/Float require exact Float/Double carriers. Char takes a code-point integer.
raw docstring

maximum-array-elementsclj


maximum-buffer-bytesclj


snapshot-arrayclj

(snapshot-array input)

Snapshot a bounded exact Object[] or indexed Java List. Recursive type checking and aggregate occurrence accounting remain with the caller's argument planner.

Snapshot a bounded exact Object[] or indexed Java List. Recursive type checking
and aggregate occurrence accounting remain with the caller's argument planner.
raw docstring

snapshot-bytesclj

(snapshot-bytes input)

Copy an exact byte[] before engine allocation; never reinterpret text as bytes.

Copy an exact byte[] before engine allocation; never reinterpret text as bytes.
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