state-validation 0.3.0

Validation for states
Documentation 
1
2
3
4
5
6
7
8
9
10
11

use crate::StateFilter;

pub trait ValidAction<State, Input> {
    type Filter: StateFilter<State, Input>;
    type Output;
    fn with_valid_input(
        self,
        state: State,
        valid: <Self::Filter as StateFilter<State, Input>>::ValidOutput,
    ) -> Self::Output;
}