Trait EventInput 

pub trait EventInput<Input>: Sized {
    // Required method
    fn inject(input: Input) -> Self;
}

A statically proven injection of one semantic input into a concrete event sum.

Implementations must select exactly one constructor and preserve input unchanged. Absence of an implementation means that the protocol does not accept that input.

Required Methods

fn inject(input: Input) -> Self

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<A, M> EventInput<User<A, M>> for User<A, M>

impl<E: UserEvent> EventInput<ChildStopped<<E as UserEvent>::Addr>> for ProxyEvent<E>

impl<E: UserEvent> EventInput<ChildStopped<<E as UserEvent>::Addr>> for SupervisionEvent<E>

impl<E: UserEvent> EventInput<CreationResolved<<<E as UserEvent>::Addr as Address>::Nonce>> for ProxyEvent<E>

impl<E: UserEvent> EventInput<CreationResolved<<<E as UserEvent>::Addr as Address>::Nonce>> for SupervisionEvent<E>

impl<E: UserEvent> EventInput<PeerStopped<<E as UserEvent>::Addr>> for WatchEvent<E>

impl<E: UserEvent> EventInput<ShutdownRequested> for ShutdownProtocol<E>

impl<E: UserEvent> EventInput<TimerElapsed> for TimedEvent<E>

impl<E: UserEvent> EventInput<WorkerCreationResolved<<<E as UserEvent>::Addr as Address>::Nonce>> for SupervisionEvent<E>

impl<E: UserEvent> EventInput<WorkerStopped<<E as UserEvent>::Addr>> for SupervisionEvent<E>

impl<E> EventInput<ChildStopped<<E as UserEvent>::Addr>> for ShutdownProtocol<E>

where E: ChildEvent + EventInput<ChildStopped<E::Addr>>,

impl<E> EventInput<ChildStopped<<E as UserEvent>::Addr>> for TimedEvent<E>

where E: ChildEvent + EventInput<ChildStopped<E::Addr>>,

impl<E> EventInput<ChildStopped<<E as UserEvent>::Addr>> for WatchEvent<E>

where E: ChildEvent + EventInput<ChildStopped<E::Addr>>,

impl<E> EventInput<CreationResolved<<<E as UserEvent>::Addr as Address>::Nonce>> for ShutdownProtocol<E>

where E: CreationEvent + EventInput<CreationResolved<<E::Addr as Address>::Nonce>>,

impl<E> EventInput<CreationResolved<<<E as UserEvent>::Addr as Address>::Nonce>> for TimedEvent<E>

where E: CreationEvent + EventInput<CreationResolved<<E::Addr as Address>::Nonce>>,

impl<E> EventInput<CreationResolved<<<E as UserEvent>::Addr as Address>::Nonce>> for WatchEvent<E>

where E: CreationEvent + EventInput<CreationResolved<<E::Addr as Address>::Nonce>>,

impl<E> EventInput<PeerStopped<<E as UserEvent>::Addr>> for ProxyEvent<E>

where E: PeerEvent + EventInput<PeerStopped<E::Addr>>,

impl<E> EventInput<PeerStopped<<E as UserEvent>::Addr>> for ShutdownProtocol<E>

where E: PeerEvent + EventInput<PeerStopped<E::Addr>>,

impl<E> EventInput<PeerStopped<<E as UserEvent>::Addr>> for SupervisionEvent<E>

where E: PeerEvent + EventInput<PeerStopped<E::Addr>>,

impl<E> EventInput<PeerStopped<<E as UserEvent>::Addr>> for TimedEvent<E>

where E: PeerEvent + EventInput<PeerStopped<E::Addr>>,

impl<E> EventInput<ShutdownRequested> for ProxyEvent<E>

where E: ShutdownEvent + EventInput<ShutdownRequested>,

impl<E> EventInput<ShutdownRequested> for SupervisionEvent<E>

where E: ShutdownEvent + EventInput<ShutdownRequested>,

impl<E> EventInput<ShutdownRequested> for TimedEvent<E>

where E: ShutdownEvent + EventInput<ShutdownRequested>,

impl<E> EventInput<ShutdownRequested> for WatchEvent<E>

where E: ShutdownEvent + EventInput<ShutdownRequested>,

impl<E> EventInput<TimerElapsed> for ProxyEvent<E>

where E: TimeEvent + EventInput<TimerElapsed>,

impl<E> EventInput<TimerElapsed> for ShutdownProtocol<E>

where E: TimeEvent + EventInput<TimerElapsed>,

impl<E> EventInput<TimerElapsed> for SupervisionEvent<E>

where E: TimeEvent + EventInput<TimerElapsed>,

impl<E> EventInput<TimerElapsed> for WatchEvent<E>

where E: TimeEvent + EventInput<TimerElapsed>,

impl<E> EventInput<WorkerCreationResolved<<<E as UserEvent>::Addr as Address>::Nonce>> for ProxyEvent<E>

where E: WorkerCreationEvent + EventInput<WorkerCreationResolved<<E::Addr as Address>::Nonce>>,

impl<E> EventInput<WorkerCreationResolved<<<E as UserEvent>::Addr as Address>::Nonce>> for ShutdownProtocol<E>

where E: WorkerCreationEvent + EventInput<WorkerCreationResolved<<E::Addr as Address>::Nonce>>,

impl<E> EventInput<WorkerCreationResolved<<<E as UserEvent>::Addr as Address>::Nonce>> for TimedEvent<E>

where E: WorkerCreationEvent + EventInput<WorkerCreationResolved<<E::Addr as Address>::Nonce>>,

impl<E> EventInput<WorkerCreationResolved<<<E as UserEvent>::Addr as Address>::Nonce>> for WatchEvent<E>

where E: WorkerCreationEvent + EventInput<WorkerCreationResolved<<E::Addr as Address>::Nonce>>,

impl<E> EventInput<WorkerStopped<<E as UserEvent>::Addr>> for ProxyEvent<E>

where E: WorkerEvent + EventInput<WorkerStopped<E::Addr>>,

impl<E> EventInput<WorkerStopped<<E as UserEvent>::Addr>> for ShutdownProtocol<E>

where E: WorkerEvent + EventInput<WorkerStopped<E::Addr>>,

impl<E> EventInput<WorkerStopped<<E as UserEvent>::Addr>> for TimedEvent<E>

where E: WorkerEvent + EventInput<WorkerStopped<E::Addr>>,

impl<E> EventInput<WorkerStopped<<E as UserEvent>::Addr>> for WatchEvent<E>

where E: WorkerEvent + EventInput<WorkerStopped<E::Addr>>,