[−][src]Trait haskell_bits::ext::UnsizedExt

pub trait UnsizedExt {
    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>,
    { ... }

    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>,
    { ... }

    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,
    { ... }

    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,
    { ... }
}

Provided methods

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>, 

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>, 

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, 

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, 

Loading content...

Implementors

impl<T> UnsizedExt for T[src]

Loading content...