cgp_dispatch

Struct ExtractFieldAndHandle

Source 
pub struct ExtractFieldAndHandle<Tag, Provider = UseContext>(pub PhantomData<(Tag, Provider)>);

Tuple Fields§

§0: PhantomData<(Tag, Provider)>

Trait Implementations§

Source§

impl<Context, Code, Input, Tag, Value, Provider, Output, Remainder> Computer<Context, Code, Input> for ExtractFieldAndHandle<Tag, Provider>
where Input: ExtractField<Tag, Value = Value, Remainder = Remainder>, Provider: Computer<Context, Code, Field<Tag, Value>, Output = Output>,

Source§

type Output = Result<Output, Remainder>

Source§

fn compute( context: &Context, tag: PhantomData<Code>, input: Input, ) -> Result<Output, Remainder>

Source§

impl<Context, Code: Send, Input, Tag: Send, Value: Send, Provider, Output: Send, Remainder: Send> Handler<Context, Code, Input> for ExtractFieldAndHandle<Tag, Provider>
where Context: HasAsyncErrorType, Input: ExtractField<Tag, Value = Value, Remainder = Remainder> + Send, Provider: Handler<Context, Code, Field<Tag, Value>, Output = Output>,

Source§

type Output = Result<Output, Remainder>

Source§

async fn handle( context: &Context, tag: PhantomData<Code>, input: Input, ) -> Result<Result<Output, Remainder>, Context::Error>

Source§

impl<Context, Code, Input, Tag, Value, Provider, Output, Remainder> TryComputer<Context, Code, Input> for ExtractFieldAndHandle<Tag, Provider>
where Context: HasErrorType, Input: ExtractField<Tag, Value = Value, Remainder = Remainder>, Provider: TryComputer<Context, Code, Field<Tag, Value>, Output = Output>,

Source§

type Output = Result<Output, Remainder>

Source§

fn try_compute( context: &Context, tag: PhantomData<Code>, input: Input, ) -> Result<Result<Output, Remainder>, Context::Error>

Source§

impl<Context, Code, Input, Tag, Value, Provider, Output, Remainder> IsProviderFor<ComputerComponent, Context, (Code, Input)> for ExtractFieldAndHandle<Tag, Provider>
where Input: ExtractField<Tag, Value = Value, Remainder = Remainder>, Provider: IsProviderFor<ComputerComponent, Context, (Code, Field<Tag, Value>)> + Computer<Context, Code, Field<Tag, Value>, Output = Output>,

Source§

impl<Context, Code: Send, Input, Tag: Send, Value: Send, Provider, Output: Send, Remainder: Send> IsProviderFor<HandlerComponent, Context, (Code, Input)> for ExtractFieldAndHandle<Tag, Provider>
where Context: HasAsyncErrorType, Input: ExtractField<Tag, Value = Value, Remainder = Remainder> + Send, Provider: IsProviderFor<HandlerComponent, Context, (Code, Field<Tag, Value>)> + Handler<Context, Code, Field<Tag, Value>, Output = Output>,

Source§

impl<Context, Code, Input, Tag, Value, Provider, Output, Remainder> IsProviderFor<TryComputerComponent, Context, (Code, Input)> for ExtractFieldAndHandle<Tag, Provider>
where Context: HasErrorType, Input: ExtractField<Tag, Value = Value, Remainder = Remainder>, Provider: IsProviderFor<TryComputerComponent, Context, (Code, Field<Tag, Value>)> + TryComputer<Context, Code, Field<Tag, Value>, Output = Output>,

Auto Trait Implementations§

§

impl<Tag, Provider> Freeze for ExtractFieldAndHandle<Tag, Provider>

§

impl<Tag, Provider> RefUnwindSafe for ExtractFieldAndHandle<Tag, Provider>
where Tag: RefUnwindSafe, Provider: RefUnwindSafe,

§

impl<Tag, Provider> Send for ExtractFieldAndHandle<Tag, Provider>
where Tag: Send, Provider: Send,

§

impl<Tag, Provider> Sync for ExtractFieldAndHandle<Tag, Provider>
where Tag: Sync, Provider: Sync,

§

impl<Tag, Provider> Unpin for ExtractFieldAndHandle<Tag, Provider>
where Tag: Unpin, Provider: Unpin,

§

impl<Tag, Provider> UnwindSafe for ExtractFieldAndHandle<Tag, Provider>
where Tag: UnwindSafe, Provider: 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<Builder, Source, Output> CanBuildFrom<Source> for Builder
where Source: HasFields + IntoBuilder, <Source as HasFields>::Fields: FieldsBuilder<<Source as IntoBuilder>::Builder, Builder, Output = Output>,

Source§

type Output = Output

Source§

fn build_from(self, source: Source) -> Output

Source§

impl<Source, Target, Remainder> CanDowncastFields<Target> for Source
where Target: HasFields, <Target as HasFields>::Fields: FieldsExtractor<Source, Target, Remainder = Remainder>,

Source§

type Remainder = Remainder

Source§

fn downcast_fields( self, _tag: PhantomData<Target>, ) -> Result<Target, <Source as CanDowncastFields<Target>>::Remainder>

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.
Source§

impl<A> Async for A
where A: Send + Sync,