Struct crux_core::Request

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

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

impl<Op> Request<Op>

where Op: Operation,

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

impl<Op> Debug for Request<Op>

where Op: Operation + Debug,

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

Formats the value using the given formatter.