Trait typed_sf::Runner

source · [−]

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

Expand description

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

Required Associated Types

type Run: StateTrait

Result of running on State<Left, Value, Right>.

Implementors

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

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

impl<Left, Right, Body, Next> Runner<Left, True, Right> for Cycle<Body, Next> where
    Left: List,
    Right: List,
    Body: Runner<Left, True, Right>,
    Next: Command,
    Cycle<Body, Next>: Runner<<<Body as Runner<Left, True, Right>>::Run as StateTrait>::Left, <<Body as Runner<Left, True, Right>>::Run as StateTrait>::Value, <<Body as Runner<Left, True, Right>>::Run as StateTrait>::Right>,

type Run = <Cycle<Body, Next> as Runner<<<Body as Runner<<State<Left, True, Right> as StateTrait>::Left, <State<Left, True, Right> as StateTrait>::Value, <State<Left, True, Right> as StateTrait>::Right>>::Run as StateTrait>::Left, <<Body as Runner<<State<Left, True, Right> as StateTrait>::Left, <State<Left, True, Right> as StateTrait>::Value, <State<Left, True, Right> as StateTrait>::Right>>::Run as StateTrait>::Value, <<Body as Runner<<State<Left, True, Right> as StateTrait>::Left, <State<Left, True, Right> as StateTrait>::Value, <State<Left, True, Right> as StateTrait>::Right>>::Run as StateTrait>::Right>>::Run

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

type Run = <Next as Runner<<State<Cons<Value, Left>, Filler, Nil> as StateTrait>::Left, <State<Cons<Value, Left>, Filler, Nil> as StateTrait>::Value, <State<Cons<Value, Left>, Filler, Nil> as StateTrait>::Right>>::Run

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

type Run = State<Left, Value, Right>

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

type Run = <Next as Runner<<State<Left, <Value as Bit>::Neg, Right> as StateTrait>::Left, <State<Left, <Value as Bit>::Neg, Right> as StateTrait>::Value, <State<Left, <Value as Bit>::Neg, Right> as StateTrait>::Right>>::Run

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

type Run = <Next as Runner<<State<LeftNew, ValueNew, Cons<ValuePrev, RightPrev>> as StateTrait>::Left, <State<LeftNew, ValueNew, Cons<ValuePrev, RightPrev>> as StateTrait>::Value, <State<LeftNew, ValueNew, Cons<ValuePrev, RightPrev>> as StateTrait>::Right>>::Run

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

type Run = <Next as Runner<<State<Cons<ValuePrev, LeftPrev>, ValueNew, RightNew> as StateTrait>::Left, <State<Cons<ValuePrev, LeftPrev>, ValueNew, RightNew> as StateTrait>::Value, <State<Cons<ValuePrev, LeftPrev>, ValueNew, RightNew> as StateTrait>::Right>>::Run

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

type Run = <Next as Runner<<State<Nil, Filler, Cons<Value, Right>> as StateTrait>::Left, <State<Nil, Filler, Cons<Value, Right>> as StateTrait>::Value, <State<Nil, Filler, Cons<Value, Right>> as StateTrait>::Right>>::Run