Struct crux_core::Request

source ·
pub struct Request<Op>
where Op: Operation,
{ pub operation: Op, /* private fields */ }
Expand description

Request represents an effect request from the core to the shell.

The operation is the input needed to process the effect, and will be one of the capabilities’ Operation types.

The request can be resolved by passing it to Core::resolve along with the corresponding result of type Operation::Output.

Fields§

§operation: Op

Implementations§

source§

impl<Op> Request<Op>
where Op: Operation,

source

pub fn serialize<F, Eff>(self, effect: F) -> (Eff, ResolveSerialized)
where F: FnOnce(Op) -> Eff,

Serialize this effect request using effect as a constructor for a serializable Effect Eff

You should never need to call this method yourself, it will be called by the generated implementation of Effect::serialize, which is used by the Bridge implementation.

Trait Implementations§

source§

impl<Op> Debug for Request<Op>
where Op: Operation + Debug,

source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

impl<Op> Freeze for Request<Op>
where Op: Freeze,

§

impl<Op> !RefUnwindSafe for Request<Op>

§

impl<Op> Send for Request<Op>

§

impl<Op> !Sync for Request<Op>

§

impl<Op> Unpin for Request<Op>
where Op: Unpin,

§

impl<Op> !UnwindSafe for Request<Op>

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> 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, U> TryFrom<U> for T
where U: Into<T>,

source§

type Error = Infallible

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

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

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.