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§
Sourcefn apply_diff(diff: Self::Diff, state: &mut Self::State)
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.