[−][src]Struct haskell_bits::impls::ResultTypeCon
Trait Implementations
impl<E> Applicative for TypeCon<E> where
E: Clone, [src]
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, [src]
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, [src]
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, [src]
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, [src]
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::Type) -> Self::Type where
Self: WithTypeArg<TIn> + WithTypeArg<TOut>,
TOut: Clone, [src]
Self: WithTypeArg<TIn> + WithTypeArg<TOut>,
TOut: Clone,
impl<E> Lift for TypeCon<E>[src]
fn lift<T>(x: T) -> <TypeCon<E> as WithTypeArg<T>>::Type[src]
impl<E> LinearApplicative for TypeCon<E>[src]
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, [src]
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, [src]
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>[src]
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, [src]
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::Type) -> Self::Type where
Self: WithTypeArg<TIn> + WithTypeArg<TOut>,
TOut: Clone, [src]
Self: WithTypeArg<TIn> + WithTypeArg<TOut>,
TOut: Clone,
impl<E> LinearMonad for TypeCon<E>[src]
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, [src]
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::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<E> Monad for TypeCon<E> where
E: Clone, [src]
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, [src]
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::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, E> TypeApp<TypeCon<E>, T> for Result<T, E>[src]
impl<T, E> WithTypeArg<T> for TypeCon<E>[src]
Auto Trait Implementations
impl<E> RefUnwindSafe for TypeCon<E> where
E: RefUnwindSafe,
E: RefUnwindSafe,
impl<E> Send for TypeCon<E> where
E: Send,
E: Send,
impl<E> Sync for TypeCon<E> where
E: Sync,
E: Sync,
impl<E> Unpin for TypeCon<E> where
E: Unpin,
E: Unpin,
impl<E> UnwindSafe for TypeCon<E> where
E: UnwindSafe,
E: UnwindSafe,
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,