Struct Left

pub struct Left<Next = EOF>(/* private fields */)
where
    Next: Command;

Go left (< <Next> in SF) command. If left List is Nil, current bit will be from Default attribute from state.

Trait Implementations

impl<Next> Debug for Left<Next>

where Next: Command + Debug,

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

Formats the value using the given formatter.

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<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>.

impl<Next> Command for Left<Next>

where Next: Command,