Skip to main content

InterpreterRequests

Struct InterpreterRequests 

Source
pub struct InterpreterRequests<M> { /* private fields */ }
Expand description

Requests interpreted by the runtime local to the emitting actor.

Unlike crate::Delivery, a interpreter request has no actor address. Its recipient is definitionally the interpreter of the actor whose transition emitted it. This distinct send lane lets interpreters route ordinary deliveries and interpreter requests with disjoint static implementations.

Implementations§

Source§

impl<M> InterpreterRequests<M>

Source

pub fn new(requests: Vec<M>) -> Self

Source

pub fn one(request: M) -> Self

Source

pub fn as_slice(&self) -> &[M]

Source

pub fn iter(&self) -> Iter<'_, M> ⓘ

Source

pub fn len(&self) -> usize

Source

pub fn is_empty(&self) -> bool

Source

pub fn extend(&mut self, requests: impl IntoIterator<Item = M>)

Source

pub fn into_requests(self) -> Vec<M>

Trait Implementations§

Source§

impl<M: Clone> Clone for InterpreterRequests<M>

Source§

fn clone(&self) -> InterpreterRequests<M>

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<M: Debug> Debug for InterpreterRequests<M>

Source§

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

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

impl<M: Eq> Eq for InterpreterRequests<M>

Source§

impl<M> Index<usize> for InterpreterRequests<M>

Source§

type Output = M

The returned type after indexing.
Source§

fn index(&self, index: usize) -> &Self::Output

Performs the indexing (container[index]) operation. Read more
Source§

impl<Interpreter, RootEvent, Path, Request> InterpretSends<Interpreter, RootEvent, Path> for InterpreterRequests<Request>
where Interpreter: InterpretItem<Request, RootEvent, Path>, Request: ActionItem,

Source§

fn interpret( self, interpreter: &mut Interpreter, ) -> impl Future<Output = Interpretation<Self::Settlements>> + Send

Interpret every value in this product in its declared stable order.
Source§

impl<M> IntoIterator for InterpreterRequests<M>

Source§

type Item = M

The type of the elements being iterated over.
Source§

type IntoIter = IntoIter<M>

Which kind of iterator are we turning this into?
Source§

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value. Read more
Source§

impl<'a, M> IntoIterator for &'a InterpreterRequests<M>

Source§

type Item = &'a M

The type of the elements being iterated over.
Source§

type IntoIter = Iter<'a, M>

Which kind of iterator are we turning this into?
Source§

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value. Read more
Source§

impl<M> LogicalDeliveryProtocols for InterpreterRequests<M>

Source§

type Protocols = NoBirthProtocols

Ordered, duplicate-preserving logical protocol occurrences.
Source§

impl<M: PartialEq> PartialEq for InterpreterRequests<M>

Source§

fn eq(&self, other: &InterpreterRequests<M>) -> bool

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

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

Inequality operator !=. Read more
Source§

impl<M> SendEffects for InterpreterRequests<M>

Source§

fn empty() -> Self

Source§

fn append(&mut self, other: Self)

Source§

fn combine(self, other: Self) -> Self

Source§

fn send<Input, Path>(&mut self, input: Input)
where Self: SendInput<Input, Path>,

Append one request to its statically selected semantic lane.
Source§

fn sending<Input, Path>(input: Input) -> Self
where Self: SendInput<Input, Path>,

Build a send product containing one request in its selected lane.
Source§

impl<M> SendInput<M, Own> for InterpreterRequests<M>

Source§

fn emit(&mut self, input: M)

Source§

impl<Request> SendSettlements for InterpreterRequests<Request>
where Request: ActionItem,

Source§

type Settlements = Vec<SettledItem<Request, ItemSettlement<Request, <Request as ActionItem>::Accepted, <Request as ActionItem>::Rejection, <Request as ActionItem>::Prerequisite>>>

Complete settlement product corresponding to Self.
Source§

fn unattempted(self) -> Self::Settlements

Preserve every item without granting interpretation authority.
Source§

impl<Event, M> SendsFor<Event> for InterpreterRequests<M>
where M: InterpreterRequest, M::ReturnToEmitter: ReturnToEmitterFor<Event>,

Source§

impl<M: PartialEq> StructuralPartialEq for InterpreterRequests<M>

Auto Trait Implementations§

§

impl<M> Freeze for InterpreterRequests<M>
where Vec<M>: Freeze,

§

impl<M> RefUnwindSafe for InterpreterRequests<M>
where Vec<M>: RefUnwindSafe,

§

impl<M> Send for InterpreterRequests<M>
where Vec<M>: Send,

§

impl<M> Sync for InterpreterRequests<M>
where Vec<M>: Sync,

§

impl<M> Unpin for InterpreterRequests<M>
where Vec<M>: Unpin,

§

impl<M> UnsafeUnpin for InterpreterRequests<M>
where Vec<M>: UnsafeUnpin,

§

impl<M> UnwindSafe for InterpreterRequests<M>
where Vec<M>: UnwindSafe,

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.