Struct HCons 

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

A cons cell for heterogeneous lists. HCons<H, T> prepends head H to tail T.

Examples

use reflect_nat::{HNil, HCons, Z, S};
use reify_reflect_core::{Reflect, RuntimeValue};

// A list containing [1, 0] at the type level
type MyList = HCons<S<Z>, HCons<Z, HNil>>;
assert_eq!(
    MyList::reflect(),
    vec![RuntimeValue::Nat(1), RuntimeValue::Nat(0)]
);

Trait Implementations

impl<H, T> HList for HCons<H, T>

where T: HList,

fn len() -> usize

The number of elements in this type-level list.

fn is_empty() -> bool

Whether this type-level list is empty.

impl<H, T> Reflect for HCons<H, T>

where H: Reflect<Value = RuntimeValue>, T: Reflect<Value = Vec<RuntimeValue>>,

type Value = Vec<RuntimeValue>

The runtime representation of this type-level value.

fn reflect() -> <HCons<H, T> as Reflect>::Value

Produce the runtime value corresponding to this type-level value.