Struct EstablishedRecipient 

pub struct EstablishedRecipient<P>
where
    P: Protocol,
    P::Addr: EndpointAddress,
{ /* private fields */ }

Inert capability for one exact installed incarnation of protocol P.

The endpoint type is selected by P::Addr, so P remains the only protocol identity and ordinary domain types carry no endpoint parameter. The endpoint has no direct accessor or send method. It crosses only an explicit interpretation boundary. That boundary is public and therefore a deliberate power-user authority boundary, not exclusive runtime authority.

#[derive(Clone, Copy, PartialEq, Eq)]
struct RuntimeAddr(u64);
impl behavior::Address for RuntimeAddr { type Nonce = u64; }
struct Worker;
impl behavior::Protocol for Worker { type Addr = RuntimeAddr; type Msg = (); }
#[derive(Clone)]
struct Endpoint;
impl behavior::EndpointAddress for RuntimeAddr {
    type Established<P> = Endpoint where P: behavior::Protocol<Addr = Self>;
}
let recipient = behavior::EstablishedRecipient::<Worker>::issued(Endpoint);
let _endpoint = recipient.endpoint();

Implementations

impl<P> EstablishedRecipient<P>

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

pub const fn issued( endpoint: <P::Addr as EndpointAddress>::Established<P>, ) -> Self

Issue a capability from an endpoint already established by an interpreter.

This constructor performs no allocation or validation. Callers at this power-user boundary must issue it only after successful fresh installation and commit.

pub fn interpret<I>(self, interpreter: &mut I) -> I::Output

where I: InterpretEstablished<P>,

Transfer the endpoint through an explicit interpretation boundary.

Trait Implementations

impl<P> Clone for EstablishedRecipient<P>

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

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 EstablishedRecipient<P>

where P: Protocol, P::Addr: EndpointAddress, <P::Addr as EndpointAddress>::Established<P>: Debug,

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

Formats the value using the given formatter.

impl<P> Eq for EstablishedRecipient<P>

where P: Protocol, P::Addr: EndpointAddress, <P::Addr as EndpointAddress>::Established<P>: Eq,

impl<P> PartialEq for EstablishedRecipient<P>

where P: Protocol, P::Addr: EndpointAddress, <P::Addr as EndpointAddress>::Established<P>: PartialEq,

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

Equality operator ==.

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

Inequality operator !=.