Skip to main content

EstablishedActor

Struct EstablishedActor 

Source
pub struct EstablishedActor<B>{ /* private fields */ }
Expand description

Inert capability for one exact installed concrete behavior.

An established recipient proves the public protocol endpoint. This value additionally preserves which concrete behavior was installed, allowing lifecycle effects to require static evidence about that behavior’s event algebra. It remains inert: no direct send, shutdown, endpoint accessor, or other ambient effect is exposed.

Implementations§

Source§

impl<B> EstablishedActor<B>

Source

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

Issue an exact actor capability after successful installation.

This is the same public power-user boundary as EstablishedRecipient::issued. It performs no allocation, initialization, installation, or validation.

Source

pub fn recipient(&self) -> EstablishedRecipient<B::Protocol>

Project the exact public-protocol recipient for this incarnation.

Source

pub fn into_recipient(self) -> EstablishedRecipient<B::Protocol>

Consume the concrete-actor proof and retain its exact protocol recipient.

Source

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

Transfer the endpoint through the explicit interpretation boundary while preserving B in the caller’s request type.

Trait Implementations§

Source§

impl<B> Clone for EstablishedActor<B>

Source§

fn clone(&self) -> Self

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl<B> Debug for EstablishedActor<B>

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<B> Eq for EstablishedActor<B>

Source§

impl<B> PartialEq for EstablishedActor<B>

Source§

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

Equality operator ==. Read more
1.0.0 (const: unstable) · Source§

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

Inequality operator !=. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = !

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, !>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.