Module value_type 

Complete recursive canonical metadata and sealed concrete representation witnesses. Describes complete recursive identities independently of interpreter descriptors.

Witnesses name concrete Rust representations without requiring foreign types to implement a trait. Capability adapters are optional and checked separately:

use cel_runtime::value_type::{ArrayOf, Leaf, ValueRepr, ValueType};
let array = ValueType::array(ValueType::cloneable_leaf::<String>());
assert!(array.same_shape(&ArrayOf::<Leaf<String>>::value_type()));

Structs

ArrayOf

Names a homogeneous array whose elements use witness E.

AssociatedType

Associates a source-ordered tuple field with its canonical physical offset.

Cons

Names a source-first tuple head H followed by canonical list tail T.

FnOf

Names a callable with a complete canonical parameter and result signature.

Leaf

Names an opaque host leaf of type T, including explicitly registered ().

Nil

Names canonical source unit, represented by CNil<()>, not a host ().

ValueType

Owns immutable recursive identity, canonical layout, and trusted operations.

Enums

ValueKind

Identifies a value structurally, independently of aggregate storage markers.

Traits

ArgumentList

Names a canonical tuple argument list, sealed to Nil and Cons.

ValueRepr

Names a trusted concrete representation without wrapping its runtime value.