Struct OptionTypeCon

pub struct OptionTypeCon;

Trait Implementations

impl Applicative for TypeCon

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

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

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

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

impl Functor for TypeCon

fn fmap<TIn, TOut, F>( f: F, x: &<TypeCon as WithTypeArg<TIn>>::Type, ) -> <TypeCon 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 Lift for TypeCon

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

impl LinearApplicative for TypeCon

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

where TFunc: FnOnce(TIn) -> TOut,

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

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

impl LinearFunctor for TypeCon

fn lmap<TIn, TOut, F>( f: F, x: <TypeCon as WithTypeArg<TIn>>::Type, ) -> <TypeCon 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 LinearMonad for TypeCon

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

where F: FnOnce(TIn) -> <TypeCon 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 Monad for TypeCon

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

where F: Fn(&TIn) -> <TypeCon 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> WithTypeArg<T> for TypeCon

type Type = Option<T>

impl<T> TypeApp<TypeCon, T> for Option<T>