crux_core::capability

Struct ProtoContext

source
pub struct ProtoContext<Eff, Event> { /* private fields */ }
Expand description

Initial version of capability Context which has not yet been specialized to a chosen capability

Implementations§

source§

impl<Eff, Ev> ProtoContext<Eff, Ev>
where Ev: 'static, Eff: 'static,

source

pub fn specialize<Op, F>(&self, func: F) -> CapabilityContext<Op, Ev>
where F: Fn(Request<Op>) -> Eff + Sync + Send + Copy + 'static, Op: Operation,

Specialize the CapabilityContext to a specific capability, wrapping its operations into an Effect Ef. The func argument will typically be an Effect variant constructor, but can be any function taking the capability’s operation type and returning the effect type.

This will likely only be called from the implementation of WithContext for the app’s Capabilities type. You should not need to call this function directly.

Auto Trait Implementations§

§

impl<Eff, Event> Freeze for ProtoContext<Eff, Event>

§

impl<Eff, Event> !RefUnwindSafe for ProtoContext<Eff, Event>

§

impl<Eff, Event> Send for ProtoContext<Eff, Event>

§

impl<Eff, Event> Sync for ProtoContext<Eff, Event>

§

impl<Eff, Event> Unpin for ProtoContext<Eff, Event>

§

impl<Eff, Event> !UnwindSafe for ProtoContext<Eff, Event>

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.