Struct stateright::actor::ActorModelState

pub struct ActorModelState<A: Actor, H = ()> {
    pub actor_states: Vec<Arc<A::State>>,
    pub network: Network<A::Msg>,
    pub timers_set: Vec<Timers<A::Timer>>,
    pub crashed: Vec<bool>,
    pub history: H,
}

Represents a snapshot in time for the entire actor system.

Fields

actor_states: Vec<Arc<A::State>>

network: Network<A::Msg>

timers_set: Vec<Timers<A::Timer>>

crashed: Vec<bool>

history: H

Trait Implementations

impl<A, H> Clone for ActorModelState<A, H>where A: Actor, H: Clone,

fn clone(&self) -> Self

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<A, H> Debug for ActorModelState<A, H>where A: Actor, H: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<A, H> Hash for ActorModelState<A, H>where A: Actor, H: Hash,

fn hash<Hash: Hasher>(&self, state: &mut Hash)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<A, H> PartialEq<ActorModelState<A, H>> for ActorModelState<A, H>where A: Actor, A::State: PartialEq, H: PartialEq,

fn eq(&self, other: &Self) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<A, H> Representative for ActorModelState<A, H>where A: Actor, A::Msg: Rewrite<Id>, A::State: Ord + Rewrite<Id>, H: Rewrite<Id>,

fn representative(&self) -> Self

Generates a representative value in an equivalence class for self.

impl<A, H> Serialize for ActorModelState<A, H>where A: Actor, A::State: Serialize, A::Msg: Serialize, A::Timer: Serialize, H: Serialize,

fn serialize<Ser: Serializer>(&self, ser: Ser) -> Result<Ser::Ok, Ser::Error>

Serialize this value into the given Serde serializer.

impl<A, H> Eq for ActorModelState<A, H>where A: Actor, A::State: Eq, H: Eq,