Struct Promote

Source

pub struct Promote<Provider>(pub PhantomData<Provider>);

Tuple Fields§

§0: PhantomData<Provider>

Trait Implementations§

Source §

impl<Context, Code, Input, Output, Provider> Computer<Context, Code, Input> for Promote<Provider>
where Provider: Producer<Context, Code, Output = Output>,

Source §

type Output = Output

Source §

fn compute( context: &Context, code: PhantomData<Code>, _input: Input, ) -> Self::Output

Source §

impl<Context, Code, Input, Output, Provider> Handler<Context, Code, Input> for Promote<Provider>
where Context: HasErrorType, Provider: AsyncComputer<Context, Code, Input, Output = Output>,

Source §

type Output = Output

Source §

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

Source §

impl<Context, Code, Input, Output, Provider> TryComputer<Context, Code, Input> for Promote<Provider>
where Context: HasErrorType, Provider: Computer<Context, Code, Input, Output = Output>,

Source §

type Output = Output

Source §

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

Source §

impl<Context, Code, Input, Output, Provider> IsProviderFor<ComputerComponent, Context, (Code, Input)> for Promote<Provider>
where Provider: Producer<Context, Code, Output = Output>,

Source §

impl<Context, Code, Input, Output, Provider> IsProviderFor<HandlerComponent, Context, (Code, Input)> for Promote<Provider>
where Context: HasErrorType, Provider: AsyncComputer<Context, Code, Input, Output = Output>,

Source §

impl<Context, Code, Input, Output, Provider> IsProviderFor<TryComputerComponent, Context, (Code, Input)> for Promote<Provider>
where Context: HasErrorType, Provider: Computer<Context, Code, Input, Output = Output>,

Auto Trait Implementations§

§

impl<Provider> Freeze for Promote<Provider>

§

impl<Provider> RefUnwindSafe for Promote<Provider>
where Provider: RefUnwindSafe,

§

impl<Provider> UnwindSafe for Promote<Provider>
where 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<Context, Code, Input> CanCompute<Code, Input> for Context
where Context: Computer<Context, Code, Input>,

Source §

type Output = <Context as Computer<Context, Code, Input>>::Output

Source §

fn compute( &self, _code: PhantomData<Code>, input: Input, ) -> <Context as CanCompute<Code, Input>>::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 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 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>::Error>

Performs the conversion.

Source §

impl<T, U> TryInto for T
where U: TryFrom<T>,

Source §

type Error = >::Error

The type returned in the event of a conversion error.

Source §

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

Promote

Struct Promote Copy item path

Tuple Fields§

Trait Implementations§

impl<Context, Code, Input, Output, Provider> Computer<Context, Code, Input> for Promote<Provider>where Provider: Producer<Context, Code, Output = Output>,

type Output = Output

fn compute( context: &Context, code: PhantomData<Code>, _input: Input, ) -> Self::Output

impl<Context, Code, Input, Output, Provider> Handler<Context, Code, Input> for Promote<Provider>where Context: HasErrorType, Provider: AsyncComputer<Context, Code, Input, Output = Output>,

type Output = Output

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

impl<Context, Code, Input, Output, Provider> TryComputer<Context, Code, Input> for Promote<Provider>where Context: HasErrorType, Provider: Computer<Context, Code, Input, Output = Output>,

type Output = Output

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

impl<Context, Code, Input, Output, Provider> IsProviderFor<ComputerComponent, Context, (Code, Input)> for Promote<Provider>where Provider: Producer<Context, Code, Output = Output>,

impl<Context, Code, Input, Output, Provider> IsProviderFor<HandlerComponent, Context, (Code, Input)> for Promote<Provider>where Context: HasErrorType, Provider: AsyncComputer<Context, Code, Input, Output = Output>,

impl<Context, Code, Input, Output, Provider> IsProviderFor<TryComputerComponent, Context, (Code, Input)> for Promote<Provider>where Context: HasErrorType, Provider: Computer<Context, Code, Input, Output = Output>,

Auto Trait Implementations§

impl<Provider> Freeze for Promote<Provider>

impl<Provider> RefUnwindSafe for Promote<Provider>where Provider: RefUnwindSafe,

impl<Provider> Send for Promote<Provider>where Provider: Send,

impl<Provider> Sync for Promote<Provider>where Provider: Sync,

impl<Provider> Unpin for Promote<Provider>where Provider: Unpin,

impl<Provider> UnsafeUnpin for Promote<Provider>

impl<Provider> UnwindSafe for Promote<Provider>where Provider: UnwindSafe,

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<Builder, Source, Output> CanBuildFrom<Source> for Builderwhere Source: HasFields + IntoBuilder, <Source as HasFields>::Fields: FieldsBuilder<<Source as IntoBuilder>::Builder, Builder, Output = Output>,

type Output = Output

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

impl<__Context__, Code, Input> CanCompute<Code, Input> for __Context__where __Context__: Computer<__Context__, Code, Input>,

type Output = <__Context__ as Computer<__Context__, Code, Input>>::Output

fn compute( &self, _code: PhantomData<Code>, input: Input, ) -> <__Context__ as CanCompute<Code, Input>>::Output

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

type Remainder = Remainder

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

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

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

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Struct Promote

impl<Context, Code, Input, Output, Provider> Computer<Context, Code, Input> for Promote<Provider>
where Provider: Producer<Context, Code, Output = Output>,

impl<Context, Code, Input, Output, Provider> Handler<Context, Code, Input> for Promote<Provider>
where Context: HasErrorType, Provider: AsyncComputer<Context, Code, Input, Output = Output>,

impl<Context, Code, Input, Output, Provider> TryComputer<Context, Code, Input> for Promote<Provider>
where Context: HasErrorType, Provider: Computer<Context, Code, Input, Output = Output>,

impl<Context, Code, Input, Output, Provider> IsProviderFor<ComputerComponent, Context, (Code, Input)> for Promote<Provider>
where Provider: Producer<Context, Code, Output = Output>,

impl<Context, Code, Input, Output, Provider> IsProviderFor<HandlerComponent, Context, (Code, Input)> for Promote<Provider>
where Context: HasErrorType, Provider: AsyncComputer<Context, Code, Input, Output = Output>,

impl<Context, Code, Input, Output, Provider> IsProviderFor<TryComputerComponent, Context, (Code, Input)> for Promote<Provider>
where Context: HasErrorType, Provider: Computer<Context, Code, Input, Output = Output>,

impl<Provider> RefUnwindSafe for Promote<Provider>
where Provider: RefUnwindSafe,

impl<Provider> Send for Promote<Provider>
where Provider: Send,

impl<Provider> Sync for Promote<Provider>
where Provider: Sync,

impl<Provider> Unpin for Promote<Provider>
where Provider: Unpin,

impl<Provider> UnwindSafe for Promote<Provider>
where Provider: UnwindSafe,

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<Builder, Source, Output> CanBuildFrom<Source> for Builder
where Source: HasFields + IntoBuilder, <Source as HasFields>::Fields: FieldsBuilder<<Source as IntoBuilder>::Builder, Builder, Output = Output>,

impl<Context, Code, Input> CanCompute<Code, Input> for Context
where Context: Computer<Context, Code, Input>,

type Output = <Context as Computer<Context, Code, Input>>::Output

fn compute( &self, _code: PhantomData<Code>, input: Input, ) -> <Context as CanCompute<Code, Input>>::Output

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

impl<T, U> Into<U> for T
where U: From<T>,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,