Trait identity::lift::Sigma [] [src]

pub trait Sigma<TF> where TF: TyFun<Self::Param>, TF::Result: Sized {
    type Param;
    fn fst(self) -> Self::Param;
    fn snd(self) -> TF::Result;
}

Associated Types

type Param

Required Methods

fn fst(self) -> Self::Param

fn snd(self) -> TF::Result

Implementors