Trait TryComputer

pub trait TryComputer<Context, Code, Input>: IsProviderFor<TryComputerComponent, Context, (Code, Input)>
where
    Context: HasErrorType,
{
    type Output;

    // Required method
    fn try_compute(
        context: &Context,
        _code: PhantomData<Code>,
        input: Input,
    ) -> Result<Self::Output, Context::Error>;
}

Required Associated Types

type Output

Required Methods

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

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<Context, Code, Input> TryComputer<Context, Code, Input> for UseContext

where Context: HasErrorType + CanTryCompute<Code, Input>,

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

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

impl<Context, Code, Input, __Components__, __Delegate__> TryComputer<Context, Code, Input> for UseDelegate<__Components__>

where Context: HasErrorType, __Components__: DelegateComponent<Code, Delegate = __Delegate__>, __Delegate__: TryComputer<Context, Code, Input>,

type Output = <__Delegate__ as TryComputer<Context, Code, Input>>::Output

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

Implementors

impl<Component, Context, Code, Input> TryComputer<Context, Code, Input> for Component

where Context: HasErrorType, Component: DelegateComponent<TryComputerComponent> + IsProviderFor<TryComputerComponent, Context, (Code, Input)>, Component::Delegate: TryComputer<Context, Code, Input>,

type Output = <<Component as DelegateComponent<TryComputerComponent>>::Delegate as TryComputer<Context, Code, Input>>::Output

impl<Context, Code, Input> TryComputer<Context, Code, Input> for ReturnInput

where Context: HasErrorType,

type Output = Input

impl<Context, Code, Input, Output, Error, Provider> TryComputer<Context, Code, Input> for TryPromote<Provider>

where Context: CanRaiseError<Error>, Provider: Computer<Context, Code, Input, Output = Result<Output, Error>>,

type 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>,

type Output = Output

impl<Context, Code, Input, Target, Provider> TryComputer<Context, Code, Input> for PromoteRef<Provider>

where Context: HasErrorType, Provider: TryComputerRef<Context, Code, Target>, Input: Deref<Target = Target>,

type Output = <Provider as TryComputerRef<Context, Code, Target>>::Output

impl<Context, Code, Input, __Components__, __Delegate__> TryComputer<Context, Code, Input> for UseInputDelegate<__Components__>

where Context: HasErrorType, __Components__: DelegateComponent<Input, Delegate = __Delegate__>, __Delegate__: TryComputer<Context, Code, Input>,

type Output = <__Delegate__ as TryComputer<Context, Code, Input>>::Output

impl<Context, Code, Tag, Input, Output, Provider> TryComputer<Context, Code, ω<Tag, Input>> for HandleFieldValue<Provider>

where Context: HasErrorType, Provider: TryComputer<Context, Code, Input, Output = Output>,

type Output = Output

impl<Context, Tag, Input, Output, Providers> TryComputer<Context, Tag, Input> for PipeHandlers<Providers>

where Context: HasErrorType, Providers: PipeTryComputer<Context, Tag, Input, Output = Output>,

type Output = Output