Expand description
Represents result of running some Command
on State
via generic arguments.
sourceimpl<Left, Right, Body, Next> Runner<Left, False, Right> for Cycle<Body, Next> where
Left: List,
Right: List,
Body: Command,
Next: Runner<Left, False, Right>,
sourceimpl<Left, Value, Next, Filler> Runner<Left, Value, Nil> for Right<Next, Filler> where
Left: List,
Value: Bit,
Next: Runner<Cons<Value, Left>, Filler, Nil>,
Filler: Bit,
sourceimpl<Left, Value, Right, Next> Runner<Left, Value, Right> for Flip<Next> where
Left: List,
Value: Bit,
Right: List,
Next: Runner<Left, Value::Neg, Right>,
sourceimpl<LeftNew, ValueNew, ValuePrev, RightPrev, Filler, Next> Runner<Cons<ValueNew, LeftNew>, ValuePrev, RightPrev> for Left<Next, Filler> where
LeftNew: List,
ValueNew: Bit,
ValuePrev: Bit,
RightPrev: List,
Next: Runner<LeftNew, ValueNew, Cons<ValuePrev, RightPrev>>,
Filler: Bit,
sourceimpl<LeftPrev, ValuePrev, ValueNew, RightNew, Next, Filler> Runner<LeftPrev, ValuePrev, Cons<ValueNew, RightNew>> for Right<Next, Filler> where
LeftPrev: List,
ValuePrev: Bit,
ValueNew: Bit,
RightNew: List,
Next: Runner<Cons<ValuePrev, LeftPrev>, ValueNew, RightNew>,
Filler: Bit,
sourceimpl<Value, Right, Next, Filler> Runner<Nil, Value, Right> for Left<Next, Filler> where
Value: Bit,
Right: List,
Filler: Bit,
Next: Runner<Nil, Filler, Cons<Value, Right>>,