Struct typed_sf::Right

pub struct Right<Next = EOF>(_) 
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> Debug for Right<Next> where
    Next: Command, 

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,