Struct typed_sf::Nil

pub struct Nil;

End of List.

Trait Implementations

impl Debug for Nil

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

Formats the value using the given formatter.

impl List for Nil

fn val() -> Vec<bool>

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

fn new() -> Self

Real value of type.

impl<Left, Value, Next, Default> Runner<Left, Value, Nil, Default> for Right<Next> where
    Left: List,
    Value: Bit,
    Next: Runner<Cons<Value, Left>, Default, Nil, Default>,
    Default: Bit, 

type Run = <Next as Runner<<State<Cons<Value, Left>, Default, Nil, Default> as StateTrait>::Left, <State<Cons<Value, Left>, Default, Nil, Default> as StateTrait>::Value, <State<Cons<Value, Left>, Default, Nil, Default> as StateTrait>::Right, <State<Cons<Value, Left>, Default, Nil, Default> as StateTrait>::Default>>::Run

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

impl<Value, Right, Next, Default> Runner<Nil, Value, Right, Default> for Left<Next> where
    Value: Bit,
    Right: List,
    Default: Bit,
    Next: Runner<Nil, Default, Cons<Value, Right>, Default>, 

type Run = <Next as Runner<<State<Nil, Default, Cons<Value, Right>, Default> as StateTrait>::Left, <State<Nil, Default, Cons<Value, Right>, Default> as StateTrait>::Value, <State<Nil, Default, Cons<Value, Right>, Default> as StateTrait>::Right, <State<Nil, Default, Cons<Value, Right>, Default> as StateTrait>::Default>>::Run

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