ExecutableDomain

Trait ExecutableDomain 

Source
pub trait ExecutableDomain: Domain {
    // Required method
    fn apply_diff(diff: Self::Diff, state: &mut Self::State);
}
Expand description

A domain for which we can run a generic executor.

Required Methods§

Source

fn apply_diff(diff: Self::Diff, state: &mut Self::State)

Applies a diff to a mutable state.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§

Source§

impl<S: Debug + Sized + Clone + Hash + Eq, DA: Debug + Default, D: Domain<State = S, Diff = Option<S>, DisplayAction = DA>> ExecutableDomain for D