Struct ResultTypeCon

pub struct ResultTypeCon<E> { /* private fields */ }

Trait Implementations

impl<E> Applicative for TypeCon<E>

where E: Clone,

fn ap<TIn, TOut, TFunc>( f: &<TypeCon<E> as WithTypeArg<TFunc>>::Type, x: &<TypeCon<E> as WithTypeArg<TIn>>::Type, ) -> <TypeCon<E> as WithTypeArg<TOut>>::Type

where TFunc: Fn(&TIn) -> TOut,

fn lift2<TIn1, TIn2, TOut, TFunc>( f: TFunc, x1: &<TypeCon<E> as WithTypeArg<TIn1>>::Type, x2: &<TypeCon<E> as WithTypeArg<TIn2>>::Type, ) -> <TypeCon<E> as WithTypeArg<TOut>>::Type

where TFunc: Fn(&TIn1, &TIn2) -> TOut,

impl<E> Functor for TypeCon<E>

where E: Clone,

fn fmap<TIn, TOut, F>( f: F, x: &<TypeCon<E> as WithTypeArg<TIn>>::Type, ) -> <TypeCon<E> as WithTypeArg<TOut>>::Type

where F: Fn(&TIn) -> TOut,

fn fmapconst<TIn, TOut>( e: &TOut, x: &<Self as WithTypeArg<TIn>>::Type, ) -> <Self as WithTypeArg<TOut>>::Type

where Self: WithTypeArg<TIn> + WithTypeArg<TOut>, TOut: Clone,

impl<E> Lift for TypeCon<E>

fn lift<T>(x: T) -> <TypeCon<E> as WithTypeArg<T>>::Type

impl<E> LinearApplicative for TypeCon<E>

fn lap<TIn, TOut, TFunc>( f: <TypeCon<E> as WithTypeArg<TFunc>>::Type, x: <TypeCon<E> as WithTypeArg<TIn>>::Type, ) -> <TypeCon<E> as WithTypeArg<TOut>>::Type

where TFunc: FnOnce(TIn) -> TOut,

fn llift2<TIn1, TIn2, TOut, TFunc>( f: TFunc, x1: <TypeCon<E> as WithTypeArg<TIn1>>::Type, x2: <TypeCon<E> as WithTypeArg<TIn2>>::Type, ) -> <TypeCon<E> as WithTypeArg<TOut>>::Type

where TFunc: FnOnce(TIn1, TIn2) -> TOut,

impl<E> LinearFunctor for TypeCon<E>

fn lmap<TIn, TOut, F>( f: F, x: <TypeCon<E> as WithTypeArg<TIn>>::Type, ) -> <TypeCon<E> as WithTypeArg<TOut>>::Type

where F: Fn(TIn) -> TOut,

fn lmapconst<TIn, TOut>( e: &TOut, x: <Self as WithTypeArg<TIn>>::Type, ) -> <Self as WithTypeArg<TOut>>::Type

where Self: WithTypeArg<TIn> + WithTypeArg<TOut>, TOut: Clone,

impl<E> LinearMonad for TypeCon<E>

fn lbind<TIn, TOut, F>( x: <TypeCon<E> as WithTypeArg<TIn>>::Type, f: F, ) -> <TypeCon<E> as WithTypeArg<TOut>>::Type

where F: FnOnce(TIn) -> <TypeCon<E> as WithTypeArg<TOut>>::Type,

fn lbind_ignore<TIn, TOut>( x: <Self as WithTypeArg<TIn>>::Type, y: &<Self as WithTypeArg<TOut>>::Type, ) -> <Self as WithTypeArg<TOut>>::Type

where Self: WithTypeArg<TIn> + WithTypeArg<TOut>, <Self as WithTypeArg<TOut>>::Type: Clone,

fn ljoin<T>( x: <Self as WithTypeArg<<Self as WithTypeArg<T>>::Type>>::Type, ) -> <Self as WithTypeArg<T>>::Type

where Self: WithTypeArg<T> + WithTypeArg<<Self as WithTypeArg<T>>::Type>,

impl<E> Monad for TypeCon<E>

where E: Clone,

fn bind<TIn, TOut, F>( x: &<TypeCon<E> as WithTypeArg<TIn>>::Type, f: F, ) -> <TypeCon<E> as WithTypeArg<TOut>>::Type

where F: Fn(&TIn) -> <TypeCon<E> as WithTypeArg<TOut>>::Type,

fn bind_ignore<TIn, TOut>( x: &<Self as WithTypeArg<TIn>>::Type, y: &<Self as WithTypeArg<TOut>>::Type, ) -> <Self as WithTypeArg<TOut>>::Type

where Self: WithTypeArg<TIn> + WithTypeArg<TOut>, <Self as WithTypeArg<TOut>>::Type: Clone,

fn fjoin<T>( x: &<Self as WithTypeArg<<Self as WithTypeArg<T>>::Type>>::Type, ) -> <Self as WithTypeArg<T>>::Type

where Self: WithTypeArg<T> + WithTypeArg<<Self as WithTypeArg<T>>::Type>, <Self as WithTypeArg<T>>::Type: Clone,

impl<T, E> WithTypeArg<T> for TypeCon<E>

type Type = Result<T, E>

impl<T, E> TypeApp<TypeCon<E>, T> for Result<T, E>