path_semantics_std

Trait ExPath

Source 
pub trait ExPath {
    type Lift;

    // Required method
    fn ex_path(&self) -> Self::Lift;
}

Required Associated Types§

Source

type Lift

Required Methods§

Source

fn ex_path(&self) -> Self::Lift

Implementations on Foreign Types§

Source§

impl ExPath for ()

Source§

type Lift = Id<bool>

Source§

fn ex_path(&self) -> Self::Lift

Implementors§

Source§

impl ExPath for Add<u8, (Even<u8>, Even<u8>)>

Source§

type Lift = Even<u8>

Source§

impl ExPath for Add<u8, (Even<u8>, Odd<u8>)>

Source§

type Lift = Odd<u8>

Source§

impl ExPath for Add<u8, (Odd<u8>, Even<u8>)>

Source§

type Lift = Odd<u8>

Source§

impl ExPath for Add<u8, (Odd<u8>, Odd<u8>)>

Source§

type Lift = If<LtK<u8>, False1<u8>, Even<u8>>

Source§

impl ExPath for Add<u16, (Even<u16>, Even<u16>)>

Source§

type Lift = Even<u16>

Source§

impl ExPath for Add<u16, (Even<u16>, Odd<u16>)>

Source§

type Lift = Odd<u16>

Source§

impl ExPath for Add<u16, (Odd<u16>, Even<u16>)>

Source§

type Lift = Odd<u16>

Source§

impl ExPath for Add<u16, (Odd<u16>, Odd<u16>)>

Source§

type Lift = If<LtK<u16>, False1<u16>, Even<u16>>

Source§

impl ExPath for Add<u32, (Even<u32>, Even<u32>)>

Source§

type Lift = Even<u32>

Source§

impl ExPath for Add<u32, (Even<u32>, Odd<u32>)>

Source§

type Lift = Odd<u32>

Source§

impl ExPath for Add<u32, (Odd<u32>, Even<u32>)>

Source§

type Lift = Odd<u32>

Source§

impl ExPath for Add<u32, (Odd<u32>, Odd<u32>)>

Source§

type Lift = If<LtK<u32>, False1<u32>, Even<u32>>

Source§

impl ExPath for Add<u64, (Even<u64>, Even<u64>)>

Source§

type Lift = Even<u64>

Source§

impl ExPath for Add<u64, (Even<u64>, Odd<u64>)>

Source§

type Lift = Odd<u64>

Source§

impl ExPath for Add<u64, (Odd<u64>, Even<u64>)>

Source§

type Lift = Odd<u64>

Source§

impl ExPath for Add<u64, (Odd<u64>, Odd<u64>)>

Source§

type Lift = If<LtK<u64>, False1<u64>, Even<u64>>

Source§

impl ExPath for AddK<u8>

Source§

type Lift = GeK<u8>

Source§

impl ExPath for AddK<u8, EqK<u8>>

Source§

type Lift = EqK<u8>

Source§

impl ExPath for AddK<u8, Even<u8>>

Source§

type Lift = If<GeK<u8>, IfK<u8, Even<u8>, Even<u8>, Odd<u8>>, False1<u8>>

Source§

impl ExPath for AddK<u8, GeK<u8>>

Source§

type Lift = GeK<u8>

Source§

impl ExPath for AddK<u8, LtK<u8>>

Source§

type Lift = IfK<u8, EqK<u8>, False1<u8>, If<GeK<u8>, LtK<u8>, False1<u8>>>

Source§

impl ExPath for AddK<u8, Odd<u8>>

Source§

type Lift = If<GeK<u8>, IfK<u8, Odd<u8>, Even<u8>, Odd<u8>>, False1<u8>>

Source§

impl ExPath for AddK<u16>

Source§

type Lift = GeK<u16>

Source§

impl ExPath for AddK<u16, EqK<u16>>

Source§

type Lift = EqK<u16>

Source§

impl ExPath for AddK<u16, Even<u16>>

Source§

type Lift = If<GeK<u16>, IfK<u16, Even<u16>, Even<u16>, Odd<u16>>, False1<u16>>

Source§

impl ExPath for AddK<u16, GeK<u16>>

Source§

type Lift = GeK<u16>

Source§

impl ExPath for AddK<u16, LtK<u16>>

Source§

type Lift = IfK<u16, EqK<u16>, False1<u16>, If<GeK<u16>, LtK<u16>, False1<u16>>>

Source§

impl ExPath for AddK<u16, Odd<u16>>

Source§

type Lift = If<GeK<u16>, IfK<u16, Odd<u16>, Even<u16>, Odd<u16>>, False1<u16>>

Source§

impl ExPath for AddK<u32>

Source§

type Lift = GeK<u32>

Source§

impl ExPath for AddK<u32, EqK<u32>>

Source§

type Lift = EqK<u32>

Source§

impl ExPath for AddK<u32, Even<u32>>

Source§

type Lift = If<GeK<u32>, IfK<u32, Even<u32>, Even<u32>, Odd<u32>>, False1<u32>>

Source§

impl ExPath for AddK<u32, GeK<u32>>

Source§

type Lift = GeK<u32>

Source§

impl ExPath for AddK<u32, LtK<u32>>

Source§

type Lift = IfK<u32, EqK<u32>, False1<u32>, If<GeK<u32>, LtK<u32>, False1<u32>>>

Source§

impl ExPath for AddK<u32, Odd<u32>>

Source§

type Lift = If<GeK<u32>, IfK<u32, Odd<u32>, Even<u32>, Odd<u32>>, False1<u32>>

Source§

impl ExPath for AddK<u64>

Source§

type Lift = GeK<u64>

Source§

impl ExPath for AddK<u64, EqK<u64>>

Source§

type Lift = EqK<u64>

Source§

impl ExPath for AddK<u64, Even<u64>>

Source§

type Lift = If<GeK<u64>, IfK<u64, Even<u64>, Even<u64>, Odd<u64>>, False1<u64>>

Source§

impl ExPath for AddK<u64, GeK<u64>>

Source§

type Lift = GeK<u64>

Source§

impl ExPath for AddK<u64, LtK<u64>>

Source§

type Lift = IfK<u64, EqK<u64>, False1<u64>, If<GeK<u64>, LtK<u64>, False1<u64>>>

Source§

impl ExPath for AddK<u64, Odd<u64>>

Source§

type Lift = If<GeK<u64>, IfK<u64, Odd<u64>, Even<u64>, Odd<u64>>, False1<u64>>

Source§

impl ExPath for And

Source§

type Lift = ()

Source§

impl ExPath for And<((), ())>

Source§

type Lift = (<And as ExPath>::Lift, <And as ExPath>::Lift)

Source§

impl ExPath for And<((), Id<bool>)>

Source§

type Lift = ()

Source§

impl ExPath for And<((), Not)>

Source§

type Lift = Not

Source§

impl ExPath for And<(Id<bool>, ())>

Source§

type Lift = ()

Source§

impl ExPath for And<(Id<bool>, Id<bool>)>

Source§

type Lift = Id<bool>

Source§

impl ExPath for And<(Id<bool>, Not)>

Source§

type Lift = Not

Source§

impl ExPath for And<(Not, ())>

Source§

type Lift = Not

Source§

impl ExPath for And<(Not, Id<bool>)>

Source§

type Lift = Not

Source§

impl ExPath for And<(Not, Not)>

Source§

type Lift = Not

Source§

impl ExPath for And<Id<bool>>

Source§

type Lift = Id<bool>

Source§

impl ExPath for And<Not>

Source§

type Lift = Not

Source§

impl ExPath for Eq<bool, ((), ())>

Source§

type Lift = (<Eq<bool> as ExPath>::Lift, <Eq<bool> as ExPath>::Lift)

Source§

impl ExPath for Eq<bool, ((), Id<bool>)>

Source§

type Lift = ()

Source§

impl ExPath for Eq<bool, ((), Not)>

Source§

type Lift = ()

Source§

impl ExPath for Eq<bool, (Id<bool>, ())>

Source§

type Lift = ()

Source§

impl ExPath for Eq<bool, (Id<bool>, Id<bool>)>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Eq<bool, (Id<bool>, Not)>

Source§

type Lift = Not

Source§

impl ExPath for Eq<bool, (Not, ())>

Source§

type Lift = ()

Source§

impl ExPath for Eq<bool, (Not, Id<bool>)>

Source§

type Lift = Not

Source§

impl ExPath for Eq<bool, (Not, Not)>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Eq<bool, Id<bool>>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Eq<bool, Not>

Source§

type Lift = Id<bool>

Source§

impl ExPath for EqK<u8, EqK<u8>>

Source§

type Lift = IfK<u8, EqK<u8>, Id<bool>, Not>

Source§

impl ExPath for EqK<u8, Even<u8>>

Source§

type Lift = IfK<u8, Even<u8>, (), Not>

Source§

impl ExPath for EqK<u8, GeK<u8>>

Source§

type Lift = IfK<u8, LtK<u8>, Not, IfK<u8, EqK<u8>, IfK<u8, EqK<u8>, Id<bool>, ()>, ()>>

Source§

impl ExPath for EqK<u8, LtK<u8>>

Source§

type Lift = IfK<u8, EqK<u8>, False1<bool>, IfK<u8, GeK<u8>, Not, ()>>

Source§

impl ExPath for EqK<u8, Odd<u8>>

Source§

type Lift = IfK<u8, Odd<u8>, (), Not>

Source§

impl ExPath for EqK<u16, EqK<u16>>

Source§

type Lift = IfK<u16, EqK<u16>, Id<bool>, Not>

Source§

impl ExPath for EqK<u16, Even<u16>>

Source§

type Lift = IfK<u16, Even<u16>, (), Not>

Source§

impl ExPath for EqK<u16, GeK<u16>>

Source§

type Lift = IfK<u16, LtK<u16>, Not, IfK<u16, EqK<u16>, IfK<u16, EqK<u16>, Id<bool>, ()>, ()>>

Source§

impl ExPath for EqK<u16, LtK<u16>>

Source§

type Lift = IfK<u16, EqK<u16>, False1<bool>, IfK<u16, GeK<u16>, Not, ()>>

Source§

impl ExPath for EqK<u16, Odd<u16>>

Source§

type Lift = IfK<u16, Odd<u16>, (), Not>

Source§

impl ExPath for EqK<u32, EqK<u32>>

Source§

type Lift = IfK<u32, EqK<u32>, Id<bool>, Not>

Source§

impl ExPath for EqK<u32, Even<u32>>

Source§

type Lift = IfK<u32, Even<u32>, (), Not>

Source§

impl ExPath for EqK<u32, GeK<u32>>

Source§

type Lift = IfK<u32, LtK<u32>, Not, IfK<u32, EqK<u32>, IfK<u32, EqK<u32>, Id<bool>, ()>, ()>>

Source§

impl ExPath for EqK<u32, LtK<u32>>

Source§

type Lift = IfK<u32, EqK<u32>, False1<bool>, IfK<u32, GeK<u32>, Not, ()>>

Source§

impl ExPath for EqK<u32, Odd<u32>>

Source§

type Lift = IfK<u32, Odd<u32>, (), Not>

Source§

impl ExPath for EqK<u64, EqK<u64>>

Source§

type Lift = IfK<u64, EqK<u64>, Id<bool>, Not>

Source§

impl ExPath for EqK<u64, Even<u64>>

Source§

type Lift = IfK<u64, Even<u64>, (), Not>

Source§

impl ExPath for EqK<u64, GeK<u64>>

Source§

type Lift = IfK<u64, LtK<u64>, Not, IfK<u64, EqK<u64>, IfK<u64, EqK<u64>, Id<bool>, ()>, ()>>

Source§

impl ExPath for EqK<u64, LtK<u64>>

Source§

type Lift = IfK<u64, EqK<u64>, False1<bool>, IfK<u64, GeK<u64>, Not, ()>>

Source§

impl ExPath for EqK<u64, Odd<u64>>

Source§

type Lift = IfK<u64, Odd<u64>, (), Not>

Source§

impl ExPath for Even<u8, EqK<u8>>

Source§

type Lift = IfK<u8, Even<u8>, Id<bool>, Not>

Source§

impl ExPath for Even<u8, GeK<u8>>

Source§

type Lift = IfK<u8, EqK<u8>, Not, ()>

Source§

impl ExPath for Even<u8, If<LtK<u8>, False1<u8>, Even<u8>>>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Even<u8, LtK<u8>>

Source§

type Lift = IfK<u8, LtK<u8>, IfK<u8, EqK<u8>, False1<bool>, Id<bool>>, ()>

Source§

impl ExPath for Even<u16, EqK<u16>>

Source§

type Lift = IfK<u16, Even<u16>, Id<bool>, Not>

Source§

impl ExPath for Even<u16, GeK<u16>>

Source§

type Lift = IfK<u16, EqK<u16>, Not, ()>

Source§

impl ExPath for Even<u16, If<LtK<u16>, False1<u16>, Even<u16>>>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Even<u16, LtK<u16>>

Source§

type Lift = IfK<u16, LtK<u16>, IfK<u16, EqK<u16>, False1<bool>, Id<bool>>, ()>

Source§

impl ExPath for Even<u32, EqK<u32>>

Source§

type Lift = IfK<u32, Even<u32>, Id<bool>, Not>

Source§

impl ExPath for Even<u32, GeK<u32>>

Source§

type Lift = IfK<u32, EqK<u32>, Not, ()>

Source§

impl ExPath for Even<u32, If<LtK<u32>, False1<u32>, Even<u32>>>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Even<u32, LtK<u32>>

Source§

type Lift = IfK<u32, LtK<u32>, IfK<u32, EqK<u32>, False1<bool>, Id<bool>>, ()>

Source§

impl ExPath for Even<u64, EqK<u64>>

Source§

type Lift = IfK<u64, Even<u64>, Id<bool>, Not>

Source§

impl ExPath for Even<u64, GeK<u64>>

Source§

type Lift = IfK<u64, EqK<u64>, Not, ()>

Source§

impl ExPath for Even<u64, If<LtK<u64>, False1<u64>, Even<u64>>>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Even<u64, LtK<u64>>

Source§

type Lift = IfK<u64, LtK<u64>, IfK<u64, EqK<u64>, False1<bool>, Id<bool>>, ()>

Source§

impl ExPath for Exc

Source§

type Lift = ()

Source§

impl ExPath for Exc<((), ())>

Source§

type Lift = ()

Source§

impl ExPath for Exc<((), Id<bool>)>

Source§

type Lift = Not

Source§

impl ExPath for Exc<((), Not)>

Source§

type Lift = ()

Source§

impl ExPath for Exc<(Id<bool>, ())>

Source§

type Lift = ()

Source§

impl ExPath for Exc<(Id<bool>, Id<bool>)>

Source§

type Lift = Not

Source§

impl ExPath for Exc<(Id<bool>, Not)>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Exc<(Not, ())>

Source§

type Lift = Not

Source§

impl ExPath for Exc<(Not, Id<bool>)>

Source§

type Lift = Not

Source§

impl ExPath for Exc<(Not, Not)>

Source§

type Lift = Not

Source§

impl ExPath for Exc<Id<bool>>

Source§

type Lift = Not

Source§

impl ExPath for Exc<Not>

Source§

type Lift = Not

Source§

impl ExPath for GeK<u8>

Source§

type Lift = IfK<u8, EqK<u8>, Id<bool>, ()>

Source§

impl ExPath for GeK<u8, EqK<u8>>

Source§

type Lift = IfK<u8, GeK<u8>, Id<bool>, Not>

Source§

impl ExPath for GeK<u8, Even<u8>>

Source§

type Lift = IfK<u8, EqK<u8>, Not, ()>

Source§

impl ExPath for GeK<u8, GeK<u8>>

Source§

type Lift = IfK<u8, LtK<u8>, (), Id<bool>>

Source§

impl ExPath for GeK<u8, LtK<u8>>

Source§

type Lift = IfK<u8, EqK<u8>, False1<bool>, IfK<u8, EqK<u8>, Id<bool>, ()>>

Source§

impl ExPath for GeK<u8, Odd<u8>>

Source§

type Lift = IfK<u8, EqK<u8>, Id<bool>, ()>

Source§

impl ExPath for GeK<u16>

Source§

type Lift = IfK<u16, EqK<u16>, Id<bool>, ()>

Source§

impl ExPath for GeK<u16, EqK<u16>>

Source§

type Lift = IfK<u16, GeK<u16>, Id<bool>, Not>

Source§

impl ExPath for GeK<u16, Even<u16>>

Source§

type Lift = IfK<u16, EqK<u16>, Not, ()>

Source§

impl ExPath for GeK<u16, GeK<u16>>

Source§

type Lift = IfK<u16, LtK<u16>, (), Id<bool>>

Source§

impl ExPath for GeK<u16, LtK<u16>>

Source§

type Lift = IfK<u16, EqK<u16>, False1<bool>, IfK<u16, EqK<u16>, Id<bool>, ()>>

Source§

impl ExPath for GeK<u16, Odd<u16>>

Source§

type Lift = IfK<u16, EqK<u16>, Id<bool>, ()>

Source§

impl ExPath for GeK<u32>

Source§

type Lift = IfK<u32, EqK<u32>, Id<bool>, ()>

Source§

impl ExPath for GeK<u32, EqK<u32>>

Source§

type Lift = IfK<u32, GeK<u32>, Id<bool>, Not>

Source§

impl ExPath for GeK<u32, Even<u32>>

Source§

type Lift = IfK<u32, EqK<u32>, Not, ()>

Source§

impl ExPath for GeK<u32, GeK<u32>>

Source§

type Lift = IfK<u32, LtK<u32>, (), Id<bool>>

Source§

impl ExPath for GeK<u32, LtK<u32>>

Source§

type Lift = IfK<u32, EqK<u32>, False1<bool>, IfK<u32, EqK<u32>, Id<bool>, ()>>

Source§

impl ExPath for GeK<u32, Odd<u32>>

Source§

type Lift = IfK<u32, EqK<u32>, Id<bool>, ()>

Source§

impl ExPath for GeK<u64>

Source§

type Lift = IfK<u64, EqK<u64>, Id<bool>, ()>

Source§

impl ExPath for GeK<u64, EqK<u64>>

Source§

type Lift = IfK<u64, GeK<u64>, Id<bool>, Not>

Source§

impl ExPath for GeK<u64, Even<u64>>

Source§

type Lift = IfK<u64, EqK<u64>, Not, ()>

Source§

impl ExPath for GeK<u64, GeK<u64>>

Source§

type Lift = IfK<u64, LtK<u64>, (), Id<bool>>

Source§

impl ExPath for GeK<u64, LtK<u64>>

Source§

type Lift = IfK<u64, EqK<u64>, False1<bool>, IfK<u64, EqK<u64>, Id<bool>, ()>>

Source§

impl ExPath for GeK<u64, Odd<u64>>

Source§

type Lift = IfK<u64, EqK<u64>, Id<bool>, ()>

Source§

impl ExPath for Id<bool, Not>

Source§

type Lift = Not

Source§

impl ExPath for If<GeK<u8>, Even<u8>, Odd<u8>>

Source§

type Lift = ()

Source§

impl ExPath for If<GeK<u8>, Even<u8>, Odd<u8>, EqK<u8>>

Source§

type Lift = IfK<u8, GeK<u8>, IfK<u8, Even<u8>, Id<bool>, Not>, IfK<u8, Odd<u8>, Id<bool>, Not>>

Source§

impl ExPath for If<GeK<u8>, Even<u8>, Odd<u8>, Even<u8>>

Source§

type Lift = <GeK<u8> as ExPath>::Lift

Source§

impl ExPath for If<GeK<u8>, Even<u8>, Odd<u8>, GeK<u8>>

Source§

type Lift = IfK<u8, EqK<u8>, Not, ()>

Source§

impl ExPath for If<GeK<u8>, Even<u8>, Odd<u8>, LtK<u8>>

Source§

type Lift = IfK<u8, LtK<u8>, IfK<u8, EqK<u8>, False1<bool>, <GeK<u8> as ExPath>::Lift>, ()>

Source§

impl ExPath for If<GeK<u8>, Even<u8>, Odd<u8>, Odd<u8>>

Source§

type Lift = <LtK<u8> as ExPath>::Lift

Source§

impl ExPath for If<GeK<u8>, IfK<u8, Even<u8>, Even<u8>, Odd<u8>>, False1<u8>>

Source§

type Lift = IfK<u8, Even<u8>, (), Not>

Source§

impl ExPath for If<GeK<u8>, IfK<u8, Odd<u8>, Even<u8>, Odd<u8>>, False1<u8>>

Source§

type Lift = ()

Source§

impl ExPath for If<GeK<u8>, Odd<u8>, Even<u8>>

Source§

type Lift = ()

Source§

impl ExPath for If<GeK<u8>, Odd<u8>, Even<u8>, EqK<u8>>

Source§

type Lift = IfK<u8, GeK<u8>, IfK<u8, Odd<u8>, Id<bool>, Not>, IfK<u8, Even<u8>, Id<bool>, Not>>

Source§

impl ExPath for If<GeK<u8>, Odd<u8>, Even<u8>, Even<u8>>

Source§

type Lift = <LtK<u8> as ExPath>::Lift

Source§

impl ExPath for If<GeK<u8>, Odd<u8>, Even<u8>, GeK<u8>>

Source§

type Lift = IfK<u8, EqK<u8>, Id<bool>, ()>

Source§

impl ExPath for If<GeK<u8>, Odd<u8>, Even<u8>, LtK<u8>>

Source§

type Lift = IfK<u8, LtK<u8>, IfK<u8, EqK<u8>, False1<bool>, <LtK<u8> as ExPath>::Lift>, ()>

Source§

impl ExPath for If<GeK<u8>, Odd<u8>, Even<u8>, Odd<u8>>

Source§

type Lift = <GeK<u8> as ExPath>::Lift

Source§

impl ExPath for If<GeK<u16>, Even<u16>, Odd<u16>>

Source§

type Lift = ()

Source§

impl ExPath for If<GeK<u16>, Even<u16>, Odd<u16>, EqK<u16>>

Source§

type Lift = IfK<u16, GeK<u16>, IfK<u16, Even<u16>, Id<bool>, Not>, IfK<u16, Odd<u16>, Id<bool>, Not>>

Source§

impl ExPath for If<GeK<u16>, Even<u16>, Odd<u16>, Even<u16>>

Source§

type Lift = <GeK<u16> as ExPath>::Lift

Source§

impl ExPath for If<GeK<u16>, Even<u16>, Odd<u16>, GeK<u16>>

Source§

type Lift = IfK<u16, EqK<u16>, Not, ()>

Source§

impl ExPath for If<GeK<u16>, Even<u16>, Odd<u16>, LtK<u16>>

Source§

type Lift = IfK<u16, LtK<u16>, IfK<u16, EqK<u16>, False1<bool>, <GeK<u16> as ExPath>::Lift>, ()>

Source§

impl ExPath for If<GeK<u16>, Even<u16>, Odd<u16>, Odd<u16>>

Source§

type Lift = <LtK<u16> as ExPath>::Lift

Source§

impl ExPath for If<GeK<u16>, IfK<u16, Even<u16>, Even<u16>, Odd<u16>>, False1<u16>>

Source§

type Lift = IfK<u16, Even<u16>, (), Not>

Source§

impl ExPath for If<GeK<u16>, IfK<u16, Odd<u16>, Even<u16>, Odd<u16>>, False1<u16>>

Source§

type Lift = ()

Source§

impl ExPath for If<GeK<u16>, Odd<u16>, Even<u16>>

Source§

type Lift = ()

Source§

impl ExPath for If<GeK<u16>, Odd<u16>, Even<u16>, EqK<u16>>

Source§

type Lift = IfK<u16, GeK<u16>, IfK<u16, Odd<u16>, Id<bool>, Not>, IfK<u16, Even<u16>, Id<bool>, Not>>

Source§

impl ExPath for If<GeK<u16>, Odd<u16>, Even<u16>, Even<u16>>

Source§

type Lift = <LtK<u16> as ExPath>::Lift

Source§

impl ExPath for If<GeK<u16>, Odd<u16>, Even<u16>, GeK<u16>>

Source§

type Lift = IfK<u16, EqK<u16>, Id<bool>, ()>

Source§

impl ExPath for If<GeK<u16>, Odd<u16>, Even<u16>, LtK<u16>>

Source§

type Lift = IfK<u16, LtK<u16>, IfK<u16, EqK<u16>, False1<bool>, <LtK<u16> as ExPath>::Lift>, ()>

Source§

impl ExPath for If<GeK<u16>, Odd<u16>, Even<u16>, Odd<u16>>

Source§

type Lift = <GeK<u16> as ExPath>::Lift

Source§

impl ExPath for If<GeK<u32>, Even<u32>, Odd<u32>>

Source§

type Lift = ()

Source§

impl ExPath for If<GeK<u32>, Even<u32>, Odd<u32>, EqK<u32>>

Source§

type Lift = IfK<u32, GeK<u32>, IfK<u32, Even<u32>, Id<bool>, Not>, IfK<u32, Odd<u32>, Id<bool>, Not>>

Source§

impl ExPath for If<GeK<u32>, Even<u32>, Odd<u32>, Even<u32>>

Source§

type Lift = <GeK<u32> as ExPath>::Lift

Source§

impl ExPath for If<GeK<u32>, Even<u32>, Odd<u32>, GeK<u32>>

Source§

type Lift = IfK<u32, EqK<u32>, Not, ()>

Source§

impl ExPath for If<GeK<u32>, Even<u32>, Odd<u32>, LtK<u32>>

Source§

type Lift = IfK<u32, LtK<u32>, IfK<u32, EqK<u32>, False1<bool>, <GeK<u32> as ExPath>::Lift>, ()>

Source§

impl ExPath for If<GeK<u32>, Even<u32>, Odd<u32>, Odd<u32>>

Source§

type Lift = <LtK<u32> as ExPath>::Lift

Source§

impl ExPath for If<GeK<u32>, IfK<u32, Even<u32>, Even<u32>, Odd<u32>>, False1<u32>>

Source§

type Lift = IfK<u32, Even<u32>, (), Not>

Source§

impl ExPath for If<GeK<u32>, IfK<u32, Odd<u32>, Even<u32>, Odd<u32>>, False1<u32>>

Source§

type Lift = ()

Source§

impl ExPath for If<GeK<u32>, Odd<u32>, Even<u32>>

Source§

type Lift = ()

Source§

impl ExPath for If<GeK<u32>, Odd<u32>, Even<u32>, EqK<u32>>

Source§

type Lift = IfK<u32, GeK<u32>, IfK<u32, Odd<u32>, Id<bool>, Not>, IfK<u32, Even<u32>, Id<bool>, Not>>

Source§

impl ExPath for If<GeK<u32>, Odd<u32>, Even<u32>, Even<u32>>

Source§

type Lift = <LtK<u32> as ExPath>::Lift

Source§

impl ExPath for If<GeK<u32>, Odd<u32>, Even<u32>, GeK<u32>>

Source§

type Lift = IfK<u32, EqK<u32>, Id<bool>, ()>

Source§

impl ExPath for If<GeK<u32>, Odd<u32>, Even<u32>, LtK<u32>>

Source§

type Lift = IfK<u32, LtK<u32>, IfK<u32, EqK<u32>, False1<bool>, <LtK<u32> as ExPath>::Lift>, ()>

Source§

impl ExPath for If<GeK<u32>, Odd<u32>, Even<u32>, Odd<u32>>

Source§

type Lift = <GeK<u32> as ExPath>::Lift

Source§

impl ExPath for If<GeK<u64>, Even<u64>, Odd<u64>>

Source§

type Lift = ()

Source§

impl ExPath for If<GeK<u64>, Even<u64>, Odd<u64>, EqK<u64>>

Source§

type Lift = IfK<u64, GeK<u64>, IfK<u64, Even<u64>, Id<bool>, Not>, IfK<u64, Odd<u64>, Id<bool>, Not>>

Source§

impl ExPath for If<GeK<u64>, Even<u64>, Odd<u64>, Even<u64>>

Source§

type Lift = <GeK<u64> as ExPath>::Lift

Source§

impl ExPath for If<GeK<u64>, Even<u64>, Odd<u64>, GeK<u64>>

Source§

type Lift = IfK<u64, EqK<u64>, Not, ()>

Source§

impl ExPath for If<GeK<u64>, Even<u64>, Odd<u64>, LtK<u64>>

Source§

type Lift = IfK<u64, LtK<u64>, IfK<u64, EqK<u64>, False1<bool>, <GeK<u64> as ExPath>::Lift>, ()>

Source§

impl ExPath for If<GeK<u64>, Even<u64>, Odd<u64>, Odd<u64>>

Source§

type Lift = <LtK<u64> as ExPath>::Lift

Source§

impl ExPath for If<GeK<u64>, IfK<u64, Even<u64>, Even<u64>, Odd<u64>>, False1<u64>>

Source§

type Lift = IfK<u64, Even<u64>, (), Not>

Source§

impl ExPath for If<GeK<u64>, IfK<u64, Odd<u64>, Even<u64>, Odd<u64>>, False1<u64>>

Source§

type Lift = ()

Source§

impl ExPath for If<GeK<u64>, Odd<u64>, Even<u64>>

Source§

type Lift = ()

Source§

impl ExPath for If<GeK<u64>, Odd<u64>, Even<u64>, EqK<u64>>

Source§

type Lift = IfK<u64, GeK<u64>, IfK<u64, Odd<u64>, Id<bool>, Not>, IfK<u64, Even<u64>, Id<bool>, Not>>

Source§

impl ExPath for If<GeK<u64>, Odd<u64>, Even<u64>, Even<u64>>

Source§

type Lift = <LtK<u64> as ExPath>::Lift

Source§

impl ExPath for If<GeK<u64>, Odd<u64>, Even<u64>, GeK<u64>>

Source§

type Lift = IfK<u64, EqK<u64>, Id<bool>, ()>

Source§

impl ExPath for If<GeK<u64>, Odd<u64>, Even<u64>, LtK<u64>>

Source§

type Lift = IfK<u64, LtK<u64>, IfK<u64, EqK<u64>, False1<bool>, <LtK<u64> as ExPath>::Lift>, ()>

Source§

impl ExPath for If<GeK<u64>, Odd<u64>, Even<u64>, Odd<u64>>

Source§

type Lift = <GeK<u64> as ExPath>::Lift

Source§

impl ExPath for If<LtK<u8>, Even<u8>, Odd<u8>>

Source§

type Lift = ()

Source§

impl ExPath for If<LtK<u8>, Even<u8>, Odd<u8>, EqK<u8>>

Source§

type Lift = IfK<u8, LtK<u8>, IfK<u8, Even<u8>, Id<bool>, Not>, IfK<u8, Odd<u8>, Id<bool>, Not>>

Source§

impl ExPath for If<LtK<u8>, Even<u8>, Odd<u8>, Even<u8>>

Source§

type Lift = <LtK<u8> as ExPath>::Lift

Source§

impl ExPath for If<LtK<u8>, Even<u8>, Odd<u8>, GeK<u8>>

Source§

type Lift = IfK<u8, GeK<u8>, Not, ()>

Source§

impl ExPath for If<LtK<u8>, Even<u8>, Odd<u8>, LtK<u8>>

Source§

type Lift = IfK<u8, LtK<u8>, IfK<u8, EqK<u8>, False1<bool>, <LtK<u8> as ExPath>::Lift>, ()>

Source§

impl ExPath for If<LtK<u8>, Even<u8>, Odd<u8>, Odd<u8>>

Source§

type Lift = <GeK<u8> as ExPath>::Lift

Source§

impl ExPath for If<LtK<u8>, False1<u8>, Even<u8>>

Source§

type Lift = ()

Source§

impl ExPath for If<LtK<u8>, Odd<u8>, Even<u8>>

Source§

type Lift = ()

Source§

impl ExPath for If<LtK<u8>, Odd<u8>, Even<u8>, EqK<u8>>

Source§

type Lift = IfK<u8, LtK<u8>, IfK<u8, Odd<u8>, Id<bool>, Not>, IfK<u8, Even<u8>, Id<bool>, Not>>

Source§

impl ExPath for If<LtK<u8>, Odd<u8>, Even<u8>, Even<u8>>

Source§

type Lift = <GeK<u8> as ExPath>::Lift

Source§

impl ExPath for If<LtK<u8>, Odd<u8>, Even<u8>, GeK<u8>>

Source§

type Lift = IfK<u8, GeK<u8>, Not, ()>

Source§

impl ExPath for If<LtK<u8>, Odd<u8>, Even<u8>, LtK<u8>>

Source§

type Lift = IfK<u8, LtK<u8>, IfK<u8, EqK<u8>, False1<bool>, <GeK<u8> as ExPath>::Lift>, ()>

Source§

impl ExPath for If<LtK<u8>, Odd<u8>, Even<u8>, Odd<u8>>

Source§

type Lift = <LtK<u8> as ExPath>::Lift

Source§

impl ExPath for If<LtK<u16>, Even<u16>, Odd<u16>>

Source§

type Lift = ()

Source§

impl ExPath for If<LtK<u16>, Even<u16>, Odd<u16>, EqK<u16>>

Source§

type Lift = IfK<u16, LtK<u16>, IfK<u16, Even<u16>, Id<bool>, Not>, IfK<u16, Odd<u16>, Id<bool>, Not>>

Source§

impl ExPath for If<LtK<u16>, Even<u16>, Odd<u16>, Even<u16>>

Source§

type Lift = <LtK<u16> as ExPath>::Lift

Source§

impl ExPath for If<LtK<u16>, Even<u16>, Odd<u16>, GeK<u16>>

Source§

type Lift = IfK<u16, GeK<u16>, Not, ()>

Source§

impl ExPath for If<LtK<u16>, Even<u16>, Odd<u16>, LtK<u16>>

Source§

type Lift = IfK<u16, LtK<u16>, IfK<u16, EqK<u16>, False1<bool>, <LtK<u16> as ExPath>::Lift>, ()>

Source§

impl ExPath for If<LtK<u16>, Even<u16>, Odd<u16>, Odd<u16>>

Source§

type Lift = <GeK<u16> as ExPath>::Lift

Source§

impl ExPath for If<LtK<u16>, False1<u16>, Even<u16>>

Source§

type Lift = ()

Source§

impl ExPath for If<LtK<u16>, Odd<u16>, Even<u16>>

Source§

type Lift = ()

Source§

impl ExPath for If<LtK<u16>, Odd<u16>, Even<u16>, EqK<u16>>

Source§

type Lift = IfK<u16, LtK<u16>, IfK<u16, Odd<u16>, Id<bool>, Not>, IfK<u16, Even<u16>, Id<bool>, Not>>

Source§

impl ExPath for If<LtK<u16>, Odd<u16>, Even<u16>, Even<u16>>

Source§

type Lift = <GeK<u16> as ExPath>::Lift

Source§

impl ExPath for If<LtK<u16>, Odd<u16>, Even<u16>, GeK<u16>>

Source§

type Lift = IfK<u16, GeK<u16>, Not, ()>

Source§

impl ExPath for If<LtK<u16>, Odd<u16>, Even<u16>, LtK<u16>>

Source§

type Lift = IfK<u16, LtK<u16>, IfK<u16, EqK<u16>, False1<bool>, <GeK<u16> as ExPath>::Lift>, ()>

Source§

impl ExPath for If<LtK<u16>, Odd<u16>, Even<u16>, Odd<u16>>

Source§

type Lift = <LtK<u16> as ExPath>::Lift

Source§

impl ExPath for If<LtK<u32>, Even<u32>, Odd<u32>>

Source§

type Lift = ()

Source§

impl ExPath for If<LtK<u32>, Even<u32>, Odd<u32>, EqK<u32>>

Source§

type Lift = IfK<u32, LtK<u32>, IfK<u32, Even<u32>, Id<bool>, Not>, IfK<u32, Odd<u32>, Id<bool>, Not>>

Source§

impl ExPath for If<LtK<u32>, Even<u32>, Odd<u32>, Even<u32>>

Source§

type Lift = <LtK<u32> as ExPath>::Lift

Source§

impl ExPath for If<LtK<u32>, Even<u32>, Odd<u32>, GeK<u32>>

Source§

type Lift = IfK<u32, GeK<u32>, Not, ()>

Source§

impl ExPath for If<LtK<u32>, Even<u32>, Odd<u32>, LtK<u32>>

Source§

type Lift = IfK<u32, LtK<u32>, IfK<u32, EqK<u32>, False1<bool>, <LtK<u32> as ExPath>::Lift>, ()>

Source§

impl ExPath for If<LtK<u32>, Even<u32>, Odd<u32>, Odd<u32>>

Source§

type Lift = <GeK<u32> as ExPath>::Lift

Source§

impl ExPath for If<LtK<u32>, False1<u32>, Even<u32>>

Source§

type Lift = ()

Source§

impl ExPath for If<LtK<u32>, Odd<u32>, Even<u32>>

Source§

type Lift = ()

Source§

impl ExPath for If<LtK<u32>, Odd<u32>, Even<u32>, EqK<u32>>

Source§

type Lift = IfK<u32, LtK<u32>, IfK<u32, Odd<u32>, Id<bool>, Not>, IfK<u32, Even<u32>, Id<bool>, Not>>

Source§

impl ExPath for If<LtK<u32>, Odd<u32>, Even<u32>, Even<u32>>

Source§

type Lift = <GeK<u32> as ExPath>::Lift

Source§

impl ExPath for If<LtK<u32>, Odd<u32>, Even<u32>, GeK<u32>>

Source§

type Lift = IfK<u32, GeK<u32>, Not, ()>

Source§

impl ExPath for If<LtK<u32>, Odd<u32>, Even<u32>, LtK<u32>>

Source§

type Lift = IfK<u32, LtK<u32>, IfK<u32, EqK<u32>, False1<bool>, <GeK<u32> as ExPath>::Lift>, ()>

Source§

impl ExPath for If<LtK<u32>, Odd<u32>, Even<u32>, Odd<u32>>

Source§

type Lift = <LtK<u32> as ExPath>::Lift

Source§

impl ExPath for If<LtK<u64>, Even<u64>, Odd<u64>>

Source§

type Lift = ()

Source§

impl ExPath for If<LtK<u64>, Even<u64>, Odd<u64>, EqK<u64>>

Source§

type Lift = IfK<u64, LtK<u64>, IfK<u64, Even<u64>, Id<bool>, Not>, IfK<u64, Odd<u64>, Id<bool>, Not>>

Source§

impl ExPath for If<LtK<u64>, Even<u64>, Odd<u64>, Even<u64>>

Source§

type Lift = <LtK<u64> as ExPath>::Lift

Source§

impl ExPath for If<LtK<u64>, Even<u64>, Odd<u64>, GeK<u64>>

Source§

type Lift = IfK<u64, GeK<u64>, Not, ()>

Source§

impl ExPath for If<LtK<u64>, Even<u64>, Odd<u64>, LtK<u64>>

Source§

type Lift = IfK<u64, LtK<u64>, IfK<u64, EqK<u64>, False1<bool>, <LtK<u64> as ExPath>::Lift>, ()>

Source§

impl ExPath for If<LtK<u64>, Even<u64>, Odd<u64>, Odd<u64>>

Source§

type Lift = <GeK<u64> as ExPath>::Lift

Source§

impl ExPath for If<LtK<u64>, False1<u64>, Even<u64>>

Source§

type Lift = ()

Source§

impl ExPath for If<LtK<u64>, Odd<u64>, Even<u64>>

Source§

type Lift = ()

Source§

impl ExPath for If<LtK<u64>, Odd<u64>, Even<u64>, EqK<u64>>

Source§

type Lift = IfK<u64, LtK<u64>, IfK<u64, Odd<u64>, Id<bool>, Not>, IfK<u64, Even<u64>, Id<bool>, Not>>

Source§

impl ExPath for If<LtK<u64>, Odd<u64>, Even<u64>, Even<u64>>

Source§

type Lift = <GeK<u64> as ExPath>::Lift

Source§

impl ExPath for If<LtK<u64>, Odd<u64>, Even<u64>, GeK<u64>>

Source§

type Lift = IfK<u64, GeK<u64>, Not, ()>

Source§

impl ExPath for If<LtK<u64>, Odd<u64>, Even<u64>, LtK<u64>>

Source§

type Lift = IfK<u64, LtK<u64>, IfK<u64, EqK<u64>, False1<bool>, <GeK<u64> as ExPath>::Lift>, ()>

Source§

impl ExPath for If<LtK<u64>, Odd<u64>, Even<u64>, Odd<u64>>

Source§

type Lift = <LtK<u64> as ExPath>::Lift

Source§

impl ExPath for LtK<u8>

Source§

type Lift = IfK<u8, EqK<u8>, Not, ()>

Source§

impl ExPath for LtK<u8, EqK<u8>>

Source§

type Lift = IfK<u8, LtK<u8>, Id<bool>, Not>

Source§

impl ExPath for LtK<u8, Even<u8>>

Source§

type Lift = IfK<u8, EqK<u8>, Not, ()>

Source§

impl ExPath for LtK<u8, GeK<u8>>

Source§

type Lift = IfK<u8, GeK<u8>, Not, IfK<u8, EqK<u8>, Not, ()>>

Source§

impl ExPath for LtK<u8, LtK<u8>>

Source§

type Lift = IfK<u8, EqK<u8>, False1<bool>, IfK<u8, EqK<u8>, Not, IfK<u8, GeK<u8>, Id<bool>, ()>>>

Source§

impl ExPath for LtK<u8, Odd<u8>>

Source§

type Lift = IfK<u8, LtK<u8>, Not, ()>

Source§

impl ExPath for LtK<u16>

Source§

type Lift = IfK<u16, EqK<u16>, Not, ()>

Source§

impl ExPath for LtK<u16, EqK<u16>>

Source§

type Lift = IfK<u16, LtK<u16>, Id<bool>, Not>

Source§

impl ExPath for LtK<u16, Even<u16>>

Source§

type Lift = IfK<u16, EqK<u16>, Not, ()>

Source§

impl ExPath for LtK<u16, GeK<u16>>

Source§

type Lift = IfK<u16, GeK<u16>, Not, IfK<u16, EqK<u16>, Not, ()>>

Source§

impl ExPath for LtK<u16, LtK<u16>>

Source§

type Lift = IfK<u16, EqK<u16>, False1<bool>, IfK<u16, EqK<u16>, Not, IfK<u16, GeK<u16>, Id<bool>, ()>>>

Source§

impl ExPath for LtK<u16, Odd<u16>>

Source§

type Lift = IfK<u16, LtK<u16>, Not, ()>

Source§

impl ExPath for LtK<u32>

Source§

type Lift = IfK<u32, EqK<u32>, Not, ()>

Source§

impl ExPath for LtK<u32, EqK<u32>>

Source§

type Lift = IfK<u32, LtK<u32>, Id<bool>, Not>

Source§

impl ExPath for LtK<u32, Even<u32>>

Source§

type Lift = IfK<u32, EqK<u32>, Not, ()>

Source§

impl ExPath for LtK<u32, GeK<u32>>

Source§

type Lift = IfK<u32, GeK<u32>, Not, IfK<u32, EqK<u32>, Not, ()>>

Source§

impl ExPath for LtK<u32, LtK<u32>>

Source§

type Lift = IfK<u32, EqK<u32>, False1<bool>, IfK<u32, EqK<u32>, Not, IfK<u32, GeK<u32>, Id<bool>, ()>>>

Source§

impl ExPath for LtK<u32, Odd<u32>>

Source§

type Lift = IfK<u32, LtK<u32>, Not, ()>

Source§

impl ExPath for LtK<u64>

Source§

type Lift = IfK<u64, EqK<u64>, Not, ()>

Source§

impl ExPath for LtK<u64, EqK<u64>>

Source§

type Lift = IfK<u64, LtK<u64>, Id<bool>, Not>

Source§

impl ExPath for LtK<u64, Even<u64>>

Source§

type Lift = IfK<u64, EqK<u64>, Not, ()>

Source§

impl ExPath for LtK<u64, GeK<u64>>

Source§

type Lift = IfK<u64, GeK<u64>, Not, IfK<u64, EqK<u64>, Not, ()>>

Source§

impl ExPath for LtK<u64, LtK<u64>>

Source§

type Lift = IfK<u64, EqK<u64>, False1<bool>, IfK<u64, EqK<u64>, Not, IfK<u64, GeK<u64>, Id<bool>, ()>>>

Source§

impl ExPath for LtK<u64, Odd<u64>>

Source§

type Lift = IfK<u64, LtK<u64>, Not, ()>

Source§

impl ExPath for Nand

Source§

type Lift = ()

Source§

impl ExPath for Nand<((), ())>

Source§

type Lift = (<Nand as ExPath>::Lift, <Nand as ExPath>::Lift)

Source§

impl ExPath for Nand<((), Id<bool>)>

Source§

type Lift = ()

Source§

impl ExPath for Nand<((), Not)>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Nand<(Id<bool>, ())>

Source§

type Lift = ()

Source§

impl ExPath for Nand<(Id<bool>, Id<bool>)>

Source§

type Lift = Not

Source§

impl ExPath for Nand<(Id<bool>, Not)>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Nand<(Not, ())>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Nand<(Not, Id<bool>)>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Nand<(Not, Not)>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Nand<Id<bool>>

Source§

type Lift = Not

Source§

impl ExPath for Nand<Not>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Nexc

Source§

type Lift = ()

Source§

impl ExPath for Nexc<((), ())>

Source§

type Lift = ()

Source§

impl ExPath for Nexc<((), Id<bool>)>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Nexc<((), Not)>

Source§

type Lift = ()

Source§

impl ExPath for Nexc<(Id<bool>, ())>

Source§

type Lift = ()

Source§

impl ExPath for Nexc<(Id<bool>, Id<bool>)>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Nexc<(Id<bool>, Not)>

Source§

type Lift = Not

Source§

impl ExPath for Nexc<(Not, ())>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Nexc<(Not, Id<bool>)>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Nexc<(Not, Not)>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Nexc<Id<bool>>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Nexc<Not>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Nor

Source§

type Lift = ()

Source§

impl ExPath for Nor<((), ())>

Source§

type Lift = ()

Source§

impl ExPath for Nor<((), Id<bool>)>

Source§

type Lift = Not

Source§

impl ExPath for Nor<((), Not)>

Source§

type Lift = ()

Source§

impl ExPath for Nor<(Id<bool>, ())>

Source§

type Lift = Not

Source§

impl ExPath for Nor<(Id<bool>, Id<bool>)>

Source§

type Lift = Not

Source§

impl ExPath for Nor<(Id<bool>, Not)>

Source§

type Lift = Not

Source§

impl ExPath for Nor<(Not, ())>

Source§

type Lift = ()

Source§

impl ExPath for Nor<(Not, Id<bool>)>

Source§

type Lift = Not

Source§

impl ExPath for Nor<(Not, Not)>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Nor<Id<bool>>

Source§

type Lift = Not

Source§

impl ExPath for Nor<Not>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Not

Source§

type Lift = ()

Source§

impl ExPath for Not<((), ())>

Source§

type Lift = (<Not as ExPath>::Lift, <Not as ExPath>::Lift)

Source§

impl ExPath for Not<((), Not)>

Source§

type Lift = (<Not as ExPath>::Lift, <Not<Not> as ExPath>::Lift)

Source§

impl ExPath for Not<(Id<bool>, Id<bool>)>

Source§

type Lift = (<Not<Id<bool>> as ExPath>::Lift, <Not<Id<bool>> as ExPath>::Lift)

Source§

impl ExPath for Not<(Id<bool>, Not)>

Source§

type Lift = (<Not<Id<bool>> as ExPath>::Lift, <Not<Not> as ExPath>::Lift)

Source§

impl ExPath for Not<(Not, ())>

Source§

type Lift = (<Not<Not> as ExPath>::Lift, <Not as ExPath>::Lift)

Source§

impl ExPath for Not<(Not, Id<bool>)>

Source§

type Lift = (<Not<Not> as ExPath>::Lift, <Not<Id<bool>> as ExPath>::Lift)

Source§

impl ExPath for Not<(Not, Not)>

Source§

type Lift = (<Not<Not> as ExPath>::Lift, <Not<Not> as ExPath>::Lift)

Source§

impl ExPath for Not<Id<bool>>

Source§

type Lift = Not

Source§

impl ExPath for Not<Not>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Nrexc

Source§

type Lift = ()

Source§

impl ExPath for Nrexc<((), ())>

Source§

type Lift = ()

Source§

impl ExPath for Nrexc<((), Id<bool>)>

Source§

type Lift = ()

Source§

impl ExPath for Nrexc<((), Not)>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Nrexc<(Id<bool>, ())>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Nrexc<(Id<bool>, Id<bool>)>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Nrexc<(Id<bool>, Not)>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Nrexc<(Not, ())>

Source§

type Lift = ()

Source§

impl ExPath for Nrexc<(Not, Id<bool>)>

Source§

type Lift = Not

Source§

impl ExPath for Nrexc<(Not, Not)>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Nrexc<Id<bool>>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Nrexc<Not>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Odd<u8, EqK<u8>>

Source§

type Lift = IfK<u8, Odd<u8>, Id<bool>, Not>

Source§

impl ExPath for Odd<u8, GeK<u8>>

Source§

type Lift = IfK<u8, EqK<u8>, Id<bool>, ()>

Source§

impl ExPath for Odd<u8, LtK<u8>>

Source§

type Lift = IfK<u8, LtK<u8>, IfK<u8, EqK<u8>, False1<bool>, Not>, ()>

Source§

impl ExPath for Odd<u16, EqK<u16>>

Source§

type Lift = IfK<u16, Odd<u16>, Id<bool>, Not>

Source§

impl ExPath for Odd<u16, GeK<u16>>

Source§

type Lift = IfK<u16, EqK<u16>, Id<bool>, ()>

Source§

impl ExPath for Odd<u16, LtK<u16>>

Source§

type Lift = IfK<u16, LtK<u16>, IfK<u16, EqK<u16>, False1<bool>, Not>, ()>

Source§

impl ExPath for Odd<u32, EqK<u32>>

Source§

type Lift = IfK<u32, Odd<u32>, Id<bool>, Not>

Source§

impl ExPath for Odd<u32, GeK<u32>>

Source§

type Lift = IfK<u32, EqK<u32>, Id<bool>, ()>

Source§

impl ExPath for Odd<u32, LtK<u32>>

Source§

type Lift = IfK<u32, LtK<u32>, IfK<u32, EqK<u32>, False1<bool>, Not>, ()>

Source§

impl ExPath for Odd<u64, EqK<u64>>

Source§

type Lift = IfK<u64, Odd<u64>, Id<bool>, Not>

Source§

impl ExPath for Odd<u64, GeK<u64>>

Source§

type Lift = IfK<u64, EqK<u64>, Id<bool>, ()>

Source§

impl ExPath for Odd<u64, LtK<u64>>

Source§

type Lift = IfK<u64, LtK<u64>, IfK<u64, EqK<u64>, False1<bool>, Not>, ()>

Source§

impl ExPath for Or

Source§

type Lift = ()

Source§

impl ExPath for Or<((), ())>

Source§

type Lift = (<Or as ExPath>::Lift, <Or as ExPath>::Lift)

Source§

impl ExPath for Or<((), Id<bool>)>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Or<((), Not)>

Source§

type Lift = ()

Source§

impl ExPath for Or<(Id<bool>, ())>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Or<(Id<bool>, Id<bool>)>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Or<(Id<bool>, Not)>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Or<(Not, ())>

Source§

type Lift = ()

Source§

impl ExPath for Or<(Not, Id<bool>)>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Or<(Not, Not)>

Source§

type Lift = Not

Source§

impl ExPath for Or<Id<bool>>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Or<Not>

Source§

type Lift = Not

Source§

impl ExPath for Rexc

Source§

type Lift = ()

Source§

impl ExPath for Rexc<((), ())>

Source§

type Lift = ()

Source§

impl ExPath for Rexc<((), Id<bool>)>

Source§

type Lift = ()

Source§

impl ExPath for Rexc<((), Not)>

Source§

type Lift = Not

Source§

impl ExPath for Rexc<(Id<bool>, ())>

Source§

type Lift = Not

Source§

impl ExPath for Rexc<(Id<bool>, Id<bool>)>

Source§

type Lift = Not

Source§

impl ExPath for Rexc<(Id<bool>, Not)>

Source§

type Lift = Not

Source§

impl ExPath for Rexc<(Not, ())>

Source§

type Lift = ()

Source§

impl ExPath for Rexc<(Not, Id<bool>)>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Rexc<(Not, Not)>

Source§

type Lift = Not

Source§

impl ExPath for Rexc<Id<bool>>

Source§

type Lift = Not

Source§

impl ExPath for Rexc<Not>

Source§

type Lift = Not

Source§

impl ExPath for Xor

Source§

type Lift = ()

Source§

impl ExPath for Xor<((), ())>

Source§

type Lift = (<Xor as ExPath>::Lift, <Xor as ExPath>::Lift)

Source§

impl ExPath for Xor<((), Id<bool>)>

Source§

type Lift = ()

Source§

impl ExPath for Xor<((), Not)>

Source§

type Lift = ()

Source§

impl ExPath for Xor<(Id<bool>, ())>

Source§

type Lift = ()

Source§

impl ExPath for Xor<(Id<bool>, Id<bool>)>

Source§

type Lift = Not

Source§

impl ExPath for Xor<(Id<bool>, Not)>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Xor<(Not, ())>

Source§

type Lift = ()

Source§

impl ExPath for Xor<(Not, Id<bool>)>

Source§

type Lift = Id<bool>

Source§

impl ExPath for Xor<(Not, Not)>

Source§

type Lift = Not

Source§

impl ExPath for Xor<Id<bool>>

Source§

type Lift = Not

Source§

impl ExPath for Xor<Not>

Source§

type Lift = Not

Source§

impl<C, T, I: Clone> ExPath for If<C, T, T, I>
where T: Constrain<I>, T::Lift: ExPath,

Source§

type Lift = <<T as Constrain<I>>::Lift as ExPath>::Lift

Source§

impl<T> ExPath for Add<T>

Source§

type Lift = ()

Source§

impl<T> ExPath for Eq<T>

Source§

type Lift = ()

Source§

impl<T> ExPath for EqK<T>

Source§

type Lift = ()

Source§

impl<T> ExPath for Even<T>

Source§

type Lift = ()

Source§

impl<T> ExPath for Even<T, Even<T>>

Source§

type Lift = Id<bool>

Source§

impl<T> ExPath for Even<T, Odd<T>>

Source§

type Lift = Not

Source§

impl<T> ExPath for Id<T>

Source§

type Lift = ()

Source§

impl<T> ExPath for Odd<T>

Source§

type Lift = ()

Source§

impl<T> ExPath for Odd<T, Even<T>>

Source§

type Lift = Not

Source§

impl<T> ExPath for Odd<T, Odd<T>>

Source§

type Lift = Id<bool>

Source§

impl<T, U> ExPath for False1<T, U>

Source§

type Lift = Not

Source§

impl<T: Clone> ExPath for Even<T, (Even<T>, Even<T>)>

Source§

type Lift = (<Even<T, Even<T>> as ExPath>::Lift, <Even<T, Even<T>> as ExPath>::Lift)

Source§

impl<T: Clone> ExPath for Even<T, (Even<T>, Odd<T>)>

Source§

type Lift = (<Even<T, Even<T>> as ExPath>::Lift, <Even<T, Odd<T>> as ExPath>::Lift)

Source§

impl<T: Clone> ExPath for Even<T, (Odd<T>, Even<T>)>

Source§

type Lift = (<Even<T, Odd<T>> as ExPath>::Lift, <Even<T, Even<T>> as ExPath>::Lift)

Source§

impl<T: Clone> ExPath for Even<T, (Odd<T>, Odd<T>)>

Source§

type Lift = (<Even<T, Odd<T>> as ExPath>::Lift, <Even<T, Odd<T>> as ExPath>::Lift)

Source§

impl<T: Clone, C: Clone, A: ExPath, B: ExPath> ExPath for IfK<T, C, A, B>

Source§

type Lift = IfK<T, C, <A as ExPath>::Lift, <B as ExPath>::Lift>