Trait identity::lift::Exists

pub trait Exists<TF> where TF: TyFun<Self::Param>, TF::Result: Sized {
    type Param: ?Sized;
    fn value(self) -> TF::Result;
}

Associated Types

type Param: ?Sized

Required Methods

fn value(self) -> TF::Result

Implementors

• impl<TF, X: Sigma<TF>> Exists<TF> for X where TF: TyFun<X::Param>, TF::Result: Sized