Struct Cons

pub struct Cons<Value, Tail>(/* private fields */)
where
    Value: Bit,
    Tail: List;

Node of list, consists of value (Bit) and tail – List.

Trait Implementations

impl<Value, Tail> Debug for Cons<Value, Tail>

where Value: Bit + Debug, Tail: List + Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<Value, Tail> List for Cons<Value, Tail>

where Value: Bit, Tail: List,

fn val() -> Vec<bool>

Real, represented with rust’s objects value of type.

fn new() -> Self

Real value of type.

impl<LeftNew, ValueNew, ValuePrev, RightPrev, Default, Next> Runner<Cons<ValueNew, LeftNew>, ValuePrev, RightPrev, Default> for Left<Next>

where LeftNew: List, ValueNew: Bit, ValuePrev: Bit, RightPrev: List, Next: Runner<LeftNew, ValueNew, Cons<ValuePrev, RightPrev>, Default>, Default: Bit,

type Run = <Next as Runner<<State<LeftNew, ValueNew, Cons<ValuePrev, RightPrev>, Default> as StateTrait>::Left, <State<LeftNew, ValueNew, Cons<ValuePrev, RightPrev>, Default> as StateTrait>::Value, <State<LeftNew, ValueNew, Cons<ValuePrev, RightPrev>, Default> as StateTrait>::Right, <State<LeftNew, ValueNew, Cons<ValuePrev, RightPrev>, Default> as StateTrait>::Default>>::Run

Result of running on State<Left, Value, Right>.

impl<LeftPrev, ValuePrev, ValueNew, RightNew, Next, Default> Runner<LeftPrev, ValuePrev, Cons<ValueNew, RightNew>, Default> for Right<Next>

where LeftPrev: List, ValuePrev: Bit, ValueNew: Bit, RightNew: List, Next: Runner<Cons<ValuePrev, LeftPrev>, ValueNew, RightNew, Default>, Default: Bit,

type Run = <Next as Runner<<State<Cons<ValuePrev, LeftPrev>, ValueNew, RightNew, Default> as StateTrait>::Left, <State<Cons<ValuePrev, LeftPrev>, ValueNew, RightNew, Default> as StateTrait>::Value, <State<Cons<ValuePrev, LeftPrev>, ValueNew, RightNew, Default> as StateTrait>::Right, <State<Cons<ValuePrev, LeftPrev>, ValueNew, RightNew, Default> as StateTrait>::Default>>::Run

Result of running on State<Left, Value, Right>.