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

pub trait SizedExt: Sized {
    fn lift<TCon: ?Sized>(self) -> <TCon as WithTypeArg<Self>>::Type
    where
        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>,
    { ... }

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

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

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

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

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

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

Provided methods

fn lift<TCon: ?Sized>(self) -> <TCon as WithTypeArg<Self>>::Type where
    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>, 

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

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, 

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

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, 

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

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, 

Loading content...

Implementors

impl<T: Sized> SizedExt for T[src]

Loading content...