Trait Lift

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

Required Methods

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

where Self: WithTypeArg<T>,

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl Lift for haskell_bits::impls::OptionTypeCon

impl Lift for haskell_bits::impls::VecTypeCon

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