Struct EstablishedRecipient 

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

Inert capability for one exact protocol endpoint.

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::RecipientAddress 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: RecipientAddress,

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

Issue a capability from an exact endpoint established or imported by an interpreter.

This constructor performs no allocation or validation. It proves only protocol messaging; it never establishes a concrete behavior or lifecycle authority.

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: RecipientAddress,

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: RecipientAddress, <P::Addr as RecipientAddress>::Established<P>: Debug,

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

Formats the value using the given formatter.

impl<P> PartialEq for EstablishedRecipient<P>

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

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl<P> Eq for EstablishedRecipient<P>

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