Type Alias ProtoEvent 

pub type ProtoEvent<P> = Event<<P as Protocol>::Cmd, <P as Protocol>::Msg, <P as Protocol>::Scope>;

The event type for a given protocol.

Aliased Type

pub enum ProtoEvent<P> {
    Cmd(<P as Protocol>::Cmd),
    Msg {
        from: NodeId,
        msg: <P as Protocol>::Msg,
    },
    Timer(TimerId),
    ScopeEvent(<P as Protocol>::Scope),
    Init,
    Recovery,
}

Variants

Cmd(<P as Protocol>::Cmd)

Msg

Fields

from: NodeId

msg: <P as Protocol>::Msg

Timer(TimerId)

A timer registered by this protocol, or by something it composes, has fired.

ScopeEvent(<P as Protocol>::Scope)

A scope this protocol’s guarantees depended on has ended.

Init

This process is starting for the first time, with nothing written down.

Recovery

This process restarted, and something it wrote down survived.