Struct Even

pub struct Even<T, I = ()> { /* private fields */ }

Trait Implementations

impl<T: Clone, I: Clone> Clone for Even<T, I>

fn clone(&self) -> Even<T, I>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T, I, I2> Constrain<I2> for Even<T, I>

type Lift = Even<T, I2>

fn i_force(&self, i: I2) -> 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<T: Debug, I: Debug> Debug for Even<T, I>

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

Formats the value using the given formatter.

impl<T: Default, I: Default> Default for Even<T, I>

fn default() -> Even<T, I>

Returns the “default value” for a type.

impl<T, I: TrickDisplay + 'static> Display for Even<T, I>

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

Formats the value using the given formatter.

impl<T> ExPath for Even<T>

type Lift = ()

fn ex_path(&self)

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

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

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

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

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

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

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

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

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

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

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

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

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

type Lift = Id<bool>

fn ex_path(&self) -> Id<bool>

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

type Lift = Not

fn ex_path(&self) -> Not

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

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

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

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

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

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

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

type Lift = Id<bool>

fn ex_path(&self) -> Id<bool>

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

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

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

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

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

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

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

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

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

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

type Lift = Id<bool>

fn ex_path(&self) -> Id<bool>

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

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

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

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

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

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

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

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

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

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

type Lift = Id<bool>

fn ex_path(&self) -> Id<bool>

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

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

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

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

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

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

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

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

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

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

type Lift = Id<bool>

fn ex_path(&self) -> Id<bool>

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

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

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

impl<T: PartialEq, I: PartialEq> PartialEq for Even<T, I>

fn eq(&self, other: &Even<T, 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<T: Clone> Path<Even<u16>> for Add<u16, T>

where Even<u16, T>: ExPath,

type Lift = Eq<bool, <<Even<u16> as Constrain<T>>::Lift as ExPath>::Lift>

fn path_force(&self, arg: Even<u16>) -> Self::Lift

fn path(&self, arg: T) -> <Self as Path<T>>::Lift

where <Self as Path<T>>::Lift: ExPath<Lift = <<T as Constrain<<Self as ExPath>::Lift>>::Lift as ExPath>::Lift>, T: Constrain<<Self as ExPath>::Lift>, <T as Constrain<<Self as ExPath>::Lift>>::Lift: ExPath, Self: ExPath,

Can call method if the existential paths of constrained input matches.

impl<T: Clone> Path<Even<u32>> for Add<u32, T>

where Even<u32, T>: ExPath,

type Lift = Eq<bool, <<Even<u32> as Constrain<T>>::Lift as ExPath>::Lift>

fn path_force(&self, arg: Even<u32>) -> Self::Lift

fn path(&self, arg: T) -> <Self as Path<T>>::Lift

where <Self as Path<T>>::Lift: ExPath<Lift = <<T as Constrain<<Self as ExPath>::Lift>>::Lift as ExPath>::Lift>, T: Constrain<<Self as ExPath>::Lift>, <T as Constrain<<Self as ExPath>::Lift>>::Lift: ExPath, Self: ExPath,

Can call method if the existential paths of constrained input matches.

impl<T: Clone> Path<Even<u64>> for Add<u64, T>

where Even<u64, T>: ExPath,

type Lift = Eq<bool, <<Even<u64> as Constrain<T>>::Lift as ExPath>::Lift>

fn path_force(&self, arg: Even<u64>) -> Self::Lift

fn path(&self, arg: T) -> <Self as Path<T>>::Lift

where <Self as Path<T>>::Lift: ExPath<Lift = <<T as Constrain<<Self as ExPath>::Lift>>::Lift as ExPath>::Lift>, T: Constrain<<Self as ExPath>::Lift>, <T as Constrain<<Self as ExPath>::Lift>>::Lift: ExPath, Self: ExPath,

Can call method if the existential paths of constrained input matches.

impl<T: Clone> Path<Even<u8>> for Add<u8, T>

where Even<u8, T>: ExPath,

type Lift = Eq<bool, <<Even<u8> as Constrain<T>>::Lift as ExPath>::Lift>

fn path_force(&self, arg: Even<u8>) -> Self::Lift

fn path(&self, arg: T) -> <Self as Path<T>>::Lift

where <Self as Path<T>>::Lift: ExPath<Lift = <<T as Constrain<<Self as ExPath>::Lift>>::Lift as ExPath>::Lift>, T: Constrain<<Self as ExPath>::Lift>, <T as Constrain<<Self as ExPath>::Lift>>::Lift: ExPath, Self: ExPath,

Can call method if the existential paths of constrained input matches.

impl<T: Copy, I: Copy> Copy for Even<T, I>

impl<T, I> StructuralPartialEq for Even<T, I>