Struct Cons 

pub struct Cons<H, T>(/* private fields */);

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

Examples

use cel_runtime::{IntoCStackList, value_type::{Cons, Leaf, Nil, ValueRepr}};
let _: <Cons<Leaf<i32>, Nil> as ValueRepr>::Value = (1,).into_c_stack_list();

Noncanonical tails cannot authorize a representation:

use cel_runtime::value_type::{Cons, Leaf, ValueRepr};
let _ = Cons::<Leaf<i32>, Leaf<()>>::value_type();

Trait Implementations

impl<H, T> ValueRepr for Cons<H, T>

where H: ValueRepr, T: List, <T as ValueRepr>::Value: CStackListHeadLimit,

fn value_type() -> ValueType

Describes source-ordered fields using their canonical recursive layout.

• Complexity: O(n) time and space for n descriptor nodes.

type Value = CStackList<<H as ValueRepr>::Value, <T as ValueRepr>::Value>

The concrete, owned Rust representation.