Trait strand::mutable::Event

pub trait Event {
    type T;
    fn precondition(&self, state: &Self::T) -> Result<(), Errors>;
    fn postcondition(&self, state: &Self::T) -> Result<(), Errors>;
    fn action(&self, state: &mut Self::T) -> Result<(), Errors>;
}

Associated Types

type T

Required Methods

fn precondition(&self, state: &Self::T) -> Result<(), Errors>

fn postcondition(&self, state: &Self::T) -> Result<(), Errors>

fn action(&self, state: &mut Self::T) -> Result<(), Errors>

Implementors