Struct If

pub struct If<Co, Tr, Fa, I = ()> { /* private fields */ }

\(x) = if co(x) {tr(x)} else {fa(x)}

Trait Implementations

impl<Co: Clone, Tr: Clone, Fa: Clone, I: Clone> Clone for If<Co, Tr, Fa, I>

fn clone(&self) -> If<Co, Tr, Fa, I>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<Co: Clone, Tr: Clone, Fa: Clone, I, I2> Constrain<I> for If<Co, Tr, Fa, I2>

type Lift = If<Co, Tr, Fa, I>

fn i_force(&self, i: I) -> Self::Lift

Override input constraint even when existential path does not exist.

fn i(&self, i: I) -> Self::Lift

where Self::Lift: ExPath,

Constrains input but only if an existential path is supported for the constraint.

impl<Co: Debug, Tr: Debug, Fa: Debug, I: Debug> Debug for If<Co, Tr, Fa, I>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<Co: Default, Tr: Default, Fa: Default, I: Default> Default for If<Co, Tr, Fa, I>

fn default() -> If<Co, Tr, Fa, I>

Returns the “default value” for a type.

impl<Co: TrickDisplay, Tr: TrickDisplay, Fa: TrickDisplay, I: 'static + TrickDisplay> Display for If<Co, Tr, Fa, I>

fn fmt(&self, fmt: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

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

where T: Constrain<I>, T::Lift: ExPath,

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

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

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

type Lift = ()

fn ex_path(&self)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

type Lift = ()

fn ex_path(&self)

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

type Lift = ()

fn ex_path(&self)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

type Lift = ()

fn ex_path(&self)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

type Lift = ()

fn ex_path(&self)

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

type Lift = ()

fn ex_path(&self)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

type Lift = ()

fn ex_path(&self)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

type Lift = ()

fn ex_path(&self)

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

type Lift = ()

fn ex_path(&self)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

type Lift = ()

fn ex_path(&self)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

type Lift = ()

fn ex_path(&self)

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

type Lift = ()

fn ex_path(&self)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

type Lift = ()

fn ex_path(&self)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

type Lift = ()

fn ex_path(&self)

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

type Lift = ()

fn ex_path(&self)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

type Lift = ()

fn ex_path(&self)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

type Lift = ()

fn ex_path(&self)

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

type Lift = ()

fn ex_path(&self)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

type Lift = ()

fn ex_path(&self)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

type Lift = ()

fn ex_path(&self)

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

type Lift = ()

fn ex_path(&self)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

type Lift = ()

fn ex_path(&self)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

type Lift = ()

fn ex_path(&self)

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

type Lift = ()

fn ex_path(&self)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<Co: PartialEq, Tr: PartialEq, Fa: PartialEq, I: PartialEq> PartialEq for If<Co, Tr, Fa, I>

fn eq(&self, other: &If<Co, Tr, Fa, I>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<Co: Copy, Tr: Copy, Fa: Copy, I: Copy> Copy for If<Co, Tr, Fa, I>

impl<Co, Tr, Fa, I> StructuralPartialEq for If<Co, Tr, Fa, I>