Trait haskell_bits::applicative::Lift

pub trait Lift {
    fn lift<T>(x: T) -> Self::Type
    where
        Self: WithTypeArg<T>;
}

Required methods

fn lift<T>(x: T) -> Self::Type where
    Self: WithTypeArg<T>, 

Loading content...

Implementors

impl Lift for haskell_bits::impls::OptionTypeCon

fn lift<T>(x: T) -> <TypeCon as WithTypeArg<T>>::Type

impl Lift for haskell_bits::impls::VecTypeCon

fn lift<T>(x: T) -> <TypeCon as WithTypeArg<T>>::Type

impl<E> Lift for haskell_bits::impls::ResultTypeCon<E>

fn lift<T>(x: T) -> <TypeCon<E> as WithTypeArg<T>>::Type

Loading content...