Trait typed_sf::Runner

pub trait Runner<Left, Value, Right, Default>: Command where
    Left: List,
    Value: Bit,
    Right: List,
    Default: Bit, {
    type Run: StateTrait;
}

Expand description

Represents result of running some Command on State via generic arguments.

Required Associated Types

Implementors

Trait typed_sf::Runner

Required Associated Types

type Run: StateTrait

Implementors

impl<Left, Right, Body, Next, Default> Runner<Left, False, Right, Default> for Cycle<Body, Next> where Left: List, Right: List, Body: Command, Next: Runner<Left, False, Right, Default>, Default: Bit,

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

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,

impl<Left, Value, Right, Default> Runner<Left, Value, Right, Default> for EOF where Left: List, Value: Bit, Right: List, Default: Bit,

type Run = State<Left, Value, Right, Default>

impl<Left, Value, Right, Default, Next> Runner<Left, Value, Right, Default> for Flip<Next> where Left: List, Value: Bit, Right: List, Default: Bit, Next: Runner<Left, Value::Neg, Right, Default>,

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,

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,

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

impl<Left, Right, Body, Next, Default> Runner<Left, False, Right, Default> for Cycle<Body, Next> where
Left: List,
Right: List,
Body: Command,
Next: Runner<Left, False, Right, Default>,
Default: Bit,

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,

impl<Left, Value, Right, Default> Runner<Left, Value, Right, Default> for EOF where
Left: List,
Value: Bit,
Right: List,
Default: Bit,

impl<Left, Value, Right, Default, Next> Runner<Left, Value, Right, Default> for Flip<Next> where
Left: List,
Value: Bit,
Right: List,
Default: Bit,
Next: Runner<Left, Value::Neg, Right, Default>,

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,

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,

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