Struct EstablishedDelivery 

pub struct EstablishedDelivery<P>
where
    P: Protocol,
    P::Addr: EndpointAddress,
{
    pub to: EstablishedRecipient<P>,
    pub message: P::Msg,
}

One pure communication to an exact installed incarnation.

Unlike Delivery, this effect carries the runtime-issued endpoint and requires no address-to-endpoint resolution. Constructing it remains pure; only an explicit crate::InterpretItem implementation for this exact delivery type can perform the communication.

Exact endpoints remain protocol-indexed even when two protocols share an address namespace and message type:

#[derive(Clone, Copy, PartialEq, Eq)]
struct RuntimeAddr(u64);
impl behavior::Address for RuntimeAddr { type Nonce = u64; }
struct Endpoint<P>(core::marker::PhantomData<fn() -> P>);
impl<P> Clone for Endpoint<P> {
    fn clone(&self) -> Self { Self(core::marker::PhantomData) }
}
impl behavior::EndpointAddress for RuntimeAddr {
    type Established<P> = Endpoint<P> where P: behavior::Protocol<Addr = Self>;
}
struct Queue;
struct Worker;
impl behavior::Protocol for Queue { type Addr = RuntimeAddr; type Msg = u8; }
impl behavior::Protocol for Worker { type Addr = RuntimeAddr; type Msg = u8; }
let worker = behavior::EstablishedRecipient::<Worker>::issued(Endpoint(core::marker::PhantomData));
let _: behavior::EstablishedDelivery<Queue> = behavior::EstablishedDelivery::new(worker, 7);

Fields

to: EstablishedRecipient<P>

message: P::Msg

Implementations

impl<P> EstablishedDelivery<P>

where P: Protocol, P::Addr: EndpointAddress,

pub const fn new(to: EstablishedRecipient<P>, message: P::Msg) -> Self

Trait Implementations

impl<P> ActionItem for EstablishedDelivery<P>

where P: Protocol, P::Addr: EndpointAddress, <P::Addr as EndpointAddress>::Established<P>: Send, P::Msg: Send,

type Accepted = ()

type Rejection = ExactDeliveryReason

type Prerequisite = Never

fn retain_accepted(_: Self::Accepted) -> Option<Self::Accepted>

Keep an accepted value only while it still carries terminal custody.

impl<P> Clone for EstablishedDelivery<P>

where P: Protocol, P::Addr: EndpointAddress, P::Msg: Clone,

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<P> Debug for EstablishedDelivery<P>

where P: Protocol, P::Addr: EndpointAddress, EstablishedRecipient<P>: Debug, P::Msg: Debug,

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

Formats the value using the given formatter.

impl<P> Eq for EstablishedDelivery<P>

where P: Protocol, P::Addr: EndpointAddress, EstablishedRecipient<P>: Eq, P::Msg: Eq,

impl<P> PartialEq for EstablishedDelivery<P>

where P: Protocol, P::Addr: EndpointAddress, EstablishedRecipient<P>: PartialEq, P::Msg: PartialEq,

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

Equality operator ==.

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

Inequality operator !=.