Struct Right

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

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

Trait Implementations

impl<Next> Debug for Right<Next>

where Next: Command + Debug,

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

Formats the value using the given formatter.

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

impl<Next> Command for Right<Next>

where Next: Command,