pub struct Condition<Input, Filter>(/* private fields */);Trait Implementations§
Source§impl<State, InitialInput, Input, F: StateFilter<State, Input>> StateFilter<State, InitialInput> for Condition<Input, F>where
InitialInput: StateFilterInputConversion<Input>,
<InitialInput as StateFilterInputConversion<Input>>::Remainder: StateFilterInputCombination<F::ValidOutput>,
impl<State, InitialInput, Input, F: StateFilter<State, Input>> StateFilter<State, InitialInput> for Condition<Input, F>where
InitialInput: StateFilterInputConversion<Input>,
<InitialInput as StateFilterInputConversion<Input>>::Remainder: StateFilterInputCombination<F::ValidOutput>,
type ValidOutput = <<InitialInput as StateFilterInputConversion<Input>>::Remainder as StateFilterInputCombination<<F as StateFilter<State, Input>>::ValidOutput>>::Combined
type Error = <F as StateFilter<State, Input>>::Error
fn filter( state: &State, value: InitialInput, ) -> Result<Self::ValidOutput, Self::Error>
Auto Trait Implementations§
impl<Input, Filter> Freeze for Condition<Input, Filter>
impl<Input, Filter> RefUnwindSafe for Condition<Input, Filter>where
Input: RefUnwindSafe,
Filter: RefUnwindSafe,
impl<Input, Filter> Send for Condition<Input, Filter>
impl<Input, Filter> Sync for Condition<Input, Filter>
impl<Input, Filter> Unpin for Condition<Input, Filter>
impl<Input, Filter> UnwindSafe for Condition<Input, Filter>where
Input: UnwindSafe,
Filter: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more