Module value 

Module: value

Responsibility: canonical dynamic values plus typed runtime conversion. Does not own: planner semantics, primary-key encoding, or persisted decode policy. Boundary: shared value/domain surface used by query, executor, and storage layers.

Value is the runtime canonical value model. Public canister/query boundaries should prefer InputValue for caller-supplied literals and OutputValue for result payloads, so API surfaces do not depend on runtime execution internals.

Structs

InputValueEnum

OutputValueEnum

ValueEnum

Enums

CoercionFamily

CoercionFamily

InputValue

MapValueError

MapValueError

OutputValue

RuntimeValueKind

Schema affordance classification for query planning and validation.

SchemaInvariantError

SchemaInvariantError

TextMode

Value

ValueTag

ValueTag

Traits

CoercionFamilyExt

CoercionFamilyExt

Collection

Explicit iteration contract for generated list and set wrapper types.

MapCollection

Explicit iteration contract for generated map wrapper types.

RuntimeValueDecode

Runtime-only reconstruction of a typed value from the canonical Value union.

RuntimeValueEncode

Runtime-only lowering from a typed value into the canonical Value union.

RuntimeValueMeta

Schema/queryability metadata for one typed runtime value surface.

Functions

render_output_value_text

Render one output value into a stable text form for row projection payloads.

runtime_value_btree_map_from_value

Decode a canonical runtime map into a typed map, rejecting decoded key collisions.

runtime_value_btree_set_from_value

Decode a runtime list into a typed set, rejecting decoded duplicates.

runtime_value_collection_to_value

Lower a generated collection wrapper into a runtime list value.

runtime_value_from_value

Reconstruct one typed runtime value without naming its decode trait at the call site.

runtime_value_from_vec_into

Convert generated list wrapper input entries into their stored item type.

runtime_value_from_vec_into_btree_map

Convert generated map wrapper input entries into their stored key/value types.

runtime_value_from_vec_into_btree_set

Convert generated set wrapper input entries into their stored item type.

runtime_value_into

Apply one generated newtype input conversion.

runtime_value_map_collection_to_value

Lower a generated map wrapper into a canonical runtime map value.

runtime_value_to_value

Lower one typed runtime value without naming its encode trait at the call site.

runtime_value_vec_from_value

Decode a runtime list into a typed vector.