Trait stateright::Rewrite

pub trait Rewrite<R> {
    // Required method
    fn rewrite<S>(&self, plan: &RewritePlan<R, S>) -> Self;
}

Implementations can rewrite their instances of the “rewritten” type R based on a specified RewritePlan.

This is used for symmetry reduction when a Model::State implements Representative. See the latter docs for an example.

Required Methods

fn rewrite<S>(&self, plan: &RewritePlan<R, S>) -> Self

Generates a corresponding instance with values revised based on a particular RewritePlan.

Implementations on Foreign Types

impl<R> Rewrite<R> for i16

fn rewrite<S>(&self, _: &RewritePlan<R, S>) -> Self

impl<R, V> Rewrite<R> for Vec<V>where V: Rewrite<R>,

fn rewrite<S>(&self, plan: &RewritePlan<R, S>) -> Self

impl<R> Rewrite<R> for f64

fn rewrite<S>(&self, _: &RewritePlan<R, S>) -> Self

impl<R, T> Rewrite<R> for Option<T>where T: Rewrite<R>,

fn rewrite<S>(&self, plan: &RewritePlan<R, S>) -> Self

impl<R> Rewrite<R> for u64

fn rewrite<S>(&self, _: &RewritePlan<R, S>) -> Self

impl<R> Rewrite<R> for char

fn rewrite<S>(&self, _: &RewritePlan<R, S>) -> Self

impl<R> Rewrite<R> for ()

fn rewrite<S>(&self, _: &RewritePlan<R, S>) -> Self

impl<R> Rewrite<R> for f32

fn rewrite<S>(&self, _: &RewritePlan<R, S>) -> Self

impl<R> Rewrite<R> for u32

fn rewrite<S>(&self, _: &RewritePlan<R, S>) -> Self

impl<R> Rewrite<R> for usize

fn rewrite<S>(&self, _: &RewritePlan<R, S>) -> Self

impl<R, K, V> Rewrite<R> for BTreeMap<K, V>where K: Ord + Rewrite<R>, V: Rewrite<R>,

fn rewrite<S>(&self, plan: &RewritePlan<R, S>) -> Self

impl<R, T0, T1> Rewrite<R> for (T0, T1)where T0: Rewrite<R>, T1: Rewrite<R>,

fn rewrite<S>(&self, plan: &RewritePlan<R, S>) -> Self

impl<R> Rewrite<R> for u16

fn rewrite<S>(&self, _: &RewritePlan<R, S>) -> Self

impl<R, V> Rewrite<R> for VecDeque<V>where V: Rewrite<R>,

fn rewrite<S>(&self, plan: &RewritePlan<R, S>) -> Self

impl<R> Rewrite<R> for i32

fn rewrite<S>(&self, _: &RewritePlan<R, S>) -> Self

impl<R> Rewrite<R> for String

fn rewrite<S>(&self, _: &RewritePlan<R, S>) -> Self

impl<R> Rewrite<R> for &'static str

fn rewrite<S>(&self, _: &RewritePlan<R, S>) -> Self

impl<R, V> Rewrite<R> for BTreeSet<V>where V: Ord + Rewrite<R>,

fn rewrite<S>(&self, plan: &RewritePlan<R, S>) -> Self

impl<R> Rewrite<R> for i64

fn rewrite<S>(&self, _: &RewritePlan<R, S>) -> Self

impl<R> Rewrite<R> for u8

fn rewrite<S>(&self, _: &RewritePlan<R, S>) -> Self

impl<R> Rewrite<R> for isize

fn rewrite<S>(&self, _: &RewritePlan<R, S>) -> Self

impl<R, T> Rewrite<R> for Arc<T>where T: Rewrite<R>,

fn rewrite<S>(&self, plan: &RewritePlan<R, S>) -> Self

impl<R> Rewrite<R> for i8

fn rewrite<S>(&self, _: &RewritePlan<R, S>) -> Self

impl<R> Rewrite<R> for bool

fn rewrite<S>(&self, _: &RewritePlan<R, S>) -> Self

Implementors

impl Rewrite<Id> for Id

impl<Msg> Rewrite<Id> for Network<Msg>where Msg: Eq + Hash + Rewrite<Id>,

impl<Msg> Rewrite<Id> for Envelope<Msg>where Msg: Rewrite<Id>,

impl<R, K, V> Rewrite<R> for DenseNatMap<K, V>where K: From<usize> + Rewrite<R>, V: Rewrite<R>, usize: From<K>,

impl<R, K, V> Rewrite<R> for HashableHashMap<K, V>where V: Eq + Hash + Rewrite<R>, K: Eq + Hash + Rewrite<R>,

impl<R, RequestId, Value, InternalMsg> Rewrite<R> for WORegisterMsg<RequestId, Value, InternalMsg>where InternalMsg: Rewrite<R>, RequestId: Clone, Value: Rewrite<R>,

impl<R, ServerState, RequestId> Rewrite<R> for WORegisterActorState<ServerState, RequestId>where ServerState: Rewrite<R> + Clone, RequestId: Clone,

impl<R, V> Rewrite<R> for HashableHashSet<V>where V: Eq + Hash + Rewrite<R>,

impl<T> Rewrite<Id> for Timers<T>where T: Eq + Hash + Clone,