[−][src]Struct haskell_bits::typeapp::Val
Trait Implementations
impl<'_, TCon: ?Sized, TIn, TOut, F, X> MapExt<TCon, F, TIn, TOut, &'_ TIn, Val> for X where
TCon: LinearFunctor + WithTypeArg<TIn> + WithTypeArg<TOut>,
X: TypeApp<TCon, TIn>,
F: Fn(&TIn) -> TOut, [src]
TCon: LinearFunctor + WithTypeArg<TIn> + WithTypeArg<TOut>,
X: TypeApp<TCon, TIn>,
F: Fn(&TIn) -> TOut,
fn mapop(self, f: F) -> <TCon as WithTypeArg<TOut>>::Type[src]
impl<TCon: ?Sized, TIn, TOut, F, X> MapExt<TCon, F, TIn, TOut, TIn, Val> for X where
TCon: LinearFunctor + WithTypeArg<TIn> + WithTypeArg<TOut>,
X: TypeApp<TCon, TIn>,
F: Fn(TIn) -> TOut, [src]
TCon: LinearFunctor + WithTypeArg<TIn> + WithTypeArg<TOut>,
X: TypeApp<TCon, TIn>,
F: Fn(TIn) -> TOut,
fn mapop(self, f: F) -> <TCon as WithTypeArg<TOut>>::Type[src]
impl<TCon: ?Sized, T, TCollection> TypeAppMaybeRef<TCon, T, Val> for TCollection where
TCollection: TypeApp<TCon, T>,
TCon: WithTypeArg<T>,
T: ?Sized, [src]
TCollection: TypeApp<TCon, T>,
TCon: WithTypeArg<T>,
T: ?Sized,
Auto Trait Implementations
impl RefUnwindSafe for Val
impl Send for Val
impl Sync for Val
impl Unpin for Val
impl UnwindSafe for Val
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,