[−][src]Struct haskell_bits::impls::VecTypeCon
Trait Implementations
impl Applicative for TypeCon
[src]
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,
fn ap<TIn, TOut, TFunc>(f: &Self::Type, x: &Self::Type) -> Self::Type where
Self: WithTypeArg<TFunc> + WithTypeArg<TIn> + WithTypeArg<TOut>,
TFunc: Fn(&TIn) -> TOut,
[src]
Self: WithTypeArg<TFunc> + WithTypeArg<TIn> + WithTypeArg<TOut>,
TFunc: Fn(&TIn) -> 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 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 Monad for TypeCon
[src]
fn bind<TIn, TOut, F>(x: &Self::Type, f: F) -> Self::Type where
F: Fn(&TIn) -> Self::Type,
[src]
F: Fn(&TIn) -> Self::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 Vec<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,