[−][src]Struct haskell_bits::impls::OptionTypeCon
Trait Implementations
impl Applicative for TypeCon[src]
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, [src]
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, [src]
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[src]
fn fmap<TIn, TOut, F>(
f: F,
x: &<TypeCon as WithTypeArg<TIn>>::Type
) -> <TypeCon as WithTypeArg<TOut>>::Type where
F: Fn(&TIn) -> TOut, [src]
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::Type) -> Self::Type where
Self: WithTypeArg<TIn> + WithTypeArg<TOut>,
TOut: Clone, [src]
Self: WithTypeArg<TIn> + WithTypeArg<TOut>,
TOut: Clone,
impl Lift for TypeCon[src]
fn lift<T>(x: T) -> <TypeCon as WithTypeArg<T>>::Type[src]
impl LinearApplicative for TypeCon[src]
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, [src]
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, [src]
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[src]
fn lmap<TIn, TOut, F>(
f: F,
x: <TypeCon as WithTypeArg<TIn>>::Type
) -> <TypeCon as WithTypeArg<TOut>>::Type where
F: Fn(TIn) -> TOut, [src]
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::Type) -> Self::Type where
Self: WithTypeArg<TIn> + WithTypeArg<TOut>,
TOut: Clone, [src]
Self: WithTypeArg<TIn> + WithTypeArg<TOut>,
TOut: Clone,
impl LinearMonad for TypeCon[src]
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, [src]
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::Type, y: &Self::Type) -> Self::Type where
Self: WithTypeArg<TIn> + WithTypeArg<TOut>,
Self::Type: Clone, [src]
Self: WithTypeArg<TIn> + WithTypeArg<TOut>,
Self::Type: Clone,
fn ljoin<T>(x: Self::Type) -> Self::Type where
Self: WithTypeArg<T> + WithTypeArg<Self::Type>, [src]
Self: WithTypeArg<T> + WithTypeArg<Self::Type>,
impl Monad for TypeCon[src]
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, [src]
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::Type, y: &Self::Type) -> Self::Type where
Self: WithTypeArg<TIn> + WithTypeArg<TOut>,
Self::Type: Clone, [src]
Self: WithTypeArg<TIn> + WithTypeArg<TOut>,
Self::Type: Clone,
fn fjoin<T>(x: &Self::Type) -> Self::Type where
Self: WithTypeArg<T> + WithTypeArg<Self::Type>,
Self::Type: Clone, [src]
Self: WithTypeArg<T> + WithTypeArg<Self::Type>,
Self::Type: Clone,
impl<T> TypeApp<TypeCon, T> for Option<T>[src]
impl<T> WithTypeArg<T> for TypeCon[src]
Auto Trait Implementations
impl RefUnwindSafe for TypeCon
impl Send for TypeCon
impl Sync for TypeCon
impl Unpin for TypeCon
impl UnwindSafe for TypeCon
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T[src]
impl<T> From<T> for T[src]
impl<T, U> Into<U> for T where
U: From<T>, [src]
U: From<T>,
impl<T> Is for T[src]
type Type = T
fn into_val(self) -> <T as Is>::Type[src]
fn into_ref(&self) -> &<T as Is>::Type[src]
fn into_mut_ref(&mut self) -> &mut <T as Is>::Type[src]
fn from_val(x: <T as Is>::Type) -> T[src]
fn from_ref(x: &<T as Is>::Type) -> &T[src]
fn from_mut_ref(x: &mut <T as Is>::Type) -> &mut T[src]
impl<T> SizedExt for T[src]
fn lift<TCon: ?Sized>(self) -> <TCon as WithTypeArg<Self>>::Type where
TCon: Lift + WithTypeArg<Self>, [src]
TCon: Lift + WithTypeArg<Self>,
fn lap<TCon: ?Sized, TIn, TOut, TFunc, X>(
self,
x: X
) -> <TCon as WithTypeArg<TOut>>::Type where
TCon: LinearApplicative + WithTypeArg<TFunc> + WithTypeArg<TIn> + WithTypeArg<TOut>,
Self: TypeApp<TCon, TFunc>,
TFunc: Fn(TIn) -> TOut,
X: TypeApp<TCon, TIn>, [src]
self,
x: X
) -> <TCon as WithTypeArg<TOut>>::Type where
TCon: LinearApplicative + WithTypeArg<TFunc> + WithTypeArg<TIn> + WithTypeArg<TOut>,
Self: TypeApp<TCon, TFunc>,
TFunc: Fn(TIn) -> TOut,
X: TypeApp<TCon, TIn>,
fn lmap<TCon: ?Sized, TIn, TOut, X>(
self,
x: X
) -> <TCon as WithTypeArg<TOut>>::Type where
TCon: LinearFunctor + WithTypeArg<TIn> + WithTypeArg<TOut>,
Self: Fn(TIn) -> TOut,
X: TypeApp<TCon, TIn>, [src]
self,
x: X
) -> <TCon as WithTypeArg<TOut>>::Type where
TCon: LinearFunctor + WithTypeArg<TIn> + WithTypeArg<TOut>,
Self: Fn(TIn) -> TOut,
X: TypeApp<TCon, TIn>,
fn lmapop<TCon: ?Sized, TIn, TOut, F>(
self,
f: F
) -> <TCon as WithTypeArg<TOut>>::Type where
TCon: LinearFunctor + WithTypeArg<TIn> + WithTypeArg<TOut>,
Self: TypeApp<TCon, TIn>,
F: Fn(TIn) -> TOut, [src]
self,
f: F
) -> <TCon as WithTypeArg<TOut>>::Type where
TCon: LinearFunctor + WithTypeArg<TIn> + WithTypeArg<TOut>,
Self: TypeApp<TCon, TIn>,
F: Fn(TIn) -> TOut,
fn fmap<TCon: ?Sized, TIn, TOut, X: ?Sized>(
self,
x: &X
) -> <TCon as WithTypeArg<TOut>>::Type where
TCon: Functor + WithTypeArg<TIn> + WithTypeArg<TOut>,
Self: Fn(&TIn) -> TOut,
X: TypeApp<TCon, TIn>, [src]
self,
x: &X
) -> <TCon as WithTypeArg<TOut>>::Type where
TCon: Functor + WithTypeArg<TIn> + WithTypeArg<TOut>,
Self: Fn(&TIn) -> TOut,
X: TypeApp<TCon, TIn>,
fn fmapop<TCon: ?Sized, TIn, TOut, F>(
&self,
f: F
) -> <TCon as WithTypeArg<TOut>>::Type where
TCon: Functor + WithTypeArg<TIn> + WithTypeArg<TOut>,
Self: TypeApp<TCon, TIn>,
F: Fn(&TIn) -> TOut, [src]
&self,
f: F
) -> <TCon as WithTypeArg<TOut>>::Type where
TCon: Functor + WithTypeArg<TIn> + WithTypeArg<TOut>,
Self: TypeApp<TCon, TIn>,
F: Fn(&TIn) -> TOut,
fn lbind<TCon: ?Sized, TIn, TOut, F, TResult>(self, f: F) -> TResult where
TCon: LinearMonad + WithTypeArg<TIn> + WithTypeArg<TOut>,
F: Fn(TIn) -> TResult,
TResult: TypeApp<TCon, TOut>,
Self: TypeApp<TCon, TIn>, [src]
TCon: LinearMonad + WithTypeArg<TIn> + WithTypeArg<TOut>,
F: Fn(TIn) -> TResult,
TResult: TypeApp<TCon, TOut>,
Self: TypeApp<TCon, TIn>,
fn lbind_ignore<TCon: ?Sized, TIn, TOut, TResult>(self, y: &TResult) -> TResult where
TCon: LinearMonad + WithTypeArg<TIn> + WithTypeArg<TOut>,
Self: TypeApp<TCon, TIn>,
TResult: TypeApp<TCon, TOut>,
<TCon as WithTypeArg<TOut>>::Type: Clone, [src]
TCon: LinearMonad + WithTypeArg<TIn> + WithTypeArg<TOut>,
Self: TypeApp<TCon, TIn>,
TResult: TypeApp<TCon, TOut>,
<TCon as WithTypeArg<TOut>>::Type: Clone,
impl<T, U> TryFrom<U> for T where
U: Into<T>, [src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]
impl<T> UnsizedExt for T[src]
fn ap<TCon, TIn, TOut, TFunc, X: ?Sized>(
&self,
x: &X
) -> <TCon as WithTypeArg<TOut>>::Type where
Self: TypeApp<TCon, TFunc>,
TCon: Applicative + WithTypeArg<TFunc> + WithTypeArg<TIn> + WithTypeArg<TOut>,
TFunc: Fn(&TIn) -> TOut,
X: TypeApp<TCon, TIn>, [src]
&self,
x: &X
) -> <TCon as WithTypeArg<TOut>>::Type where
Self: TypeApp<TCon, TFunc>,
TCon: Applicative + WithTypeArg<TFunc> + WithTypeArg<TIn> + WithTypeArg<TOut>,
TFunc: Fn(&TIn) -> TOut,
X: TypeApp<TCon, TIn>,
fn bind<TCon: ?Sized, TIn, TOut, F, TResult>(&self, f: F) -> TResult where
TCon: Monad + WithTypeArg<TIn> + WithTypeArg<TOut>,
F: Fn(&TIn) -> TResult,
TResult: TypeApp<TCon, TOut>,
Self: TypeApp<TCon, TIn>, [src]
TCon: Monad + WithTypeArg<TIn> + WithTypeArg<TOut>,
F: Fn(&TIn) -> TResult,
TResult: TypeApp<TCon, TOut>,
Self: TypeApp<TCon, TIn>,
fn bind_ignore<TCon: ?Sized, TIn, TOut, TResult>(&self, y: &TResult) -> TResult where
TCon: Monad + WithTypeArg<TIn> + WithTypeArg<TOut>,
Self: TypeApp<TCon, TIn>,
TResult: TypeApp<TCon, TOut>,
<TCon as WithTypeArg<TOut>>::Type: Clone, [src]
TCon: Monad + WithTypeArg<TIn> + WithTypeArg<TOut>,
Self: TypeApp<TCon, TIn>,
TResult: TypeApp<TCon, TOut>,
<TCon as WithTypeArg<TOut>>::Type: Clone,
fn fjoin<TCon: ?Sized, T, TInner>(&self) -> <TCon as WithTypeArg<T>>::Type where
TCon: Monad + WithTypeArg<T> + WithTypeArg<TInner> + WithTypeArg<<TCon as WithTypeArg<T>>::Type>,
Self: TypeApp<TCon, TInner>,
TInner: TypeApp<TCon, T>,
<TCon as WithTypeArg<T>>::Type: Clone, [src]
TCon: Monad + WithTypeArg<T> + WithTypeArg<TInner> + WithTypeArg<<TCon as WithTypeArg<T>>::Type>,
Self: TypeApp<TCon, TInner>,
TInner: TypeApp<TCon, T>,
<TCon as WithTypeArg<T>>::Type: Clone,