Struct path_semantics_std::Add

pub struct Add<T, I = ()> { /* fields omitted */ }

Trait Implementations

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

type Lift = Add<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> ExPath for Add<T>

type Lift = ()

fn ex_path(&self)

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

type Lift = Odd<u8>

fn ex_path(&self) -> Odd<u8>

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

type Lift = Odd<u8>

fn ex_path(&self) -> Odd<u8>

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

type Lift = Even<u8>

fn ex_path(&self) -> Even<u8>

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

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

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

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

type Lift = Odd<u16>

fn ex_path(&self) -> Odd<u16>

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

type Lift = Odd<u16>

fn ex_path(&self) -> Odd<u16>

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

type Lift = Even<u16>

fn ex_path(&self) -> Even<u16>

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

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

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

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

type Lift = Odd<u32>

fn ex_path(&self) -> Odd<u32>

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

type Lift = Odd<u32>

fn ex_path(&self) -> Odd<u32>

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

type Lift = Even<u32>

fn ex_path(&self) -> Even<u32>

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

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

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

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

type Lift = Odd<u64>

fn ex_path(&self) -> Odd<u64>

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

type Lift = Odd<u64>

fn ex_path(&self) -> Odd<u64>

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

type Lift = Even<u64>

fn ex_path(&self) -> Even<u64>

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

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

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

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::Lift where
    Self::Lift: ExPath<Lift = <<T as Constrain<Self::Lift>>::Lift as ExPath>::Lift>,
    T: Constrain<Self::Lift>,
    <T as Constrain<Self::Lift>>::Lift: ExPath,
    Self: ExPath, 

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

impl<T: Clone> Path<Odd<u8>> for Add<u8, T> where
    Odd<u8, T>: ExPath, 

type Lift = Xor<<<Odd<u8> as Constrain<T>>::Lift as ExPath>::Lift>

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

fn path(&self, arg: T) -> Self::Lift where
    Self::Lift: ExPath<Lift = <<T as Constrain<Self::Lift>>::Lift as ExPath>::Lift>,
    T: Constrain<Self::Lift>,
    <T as Constrain<Self::Lift>>::Lift: ExPath,
    Self: ExPath, 

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

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::Lift where
    Self::Lift: ExPath<Lift = <<T as Constrain<Self::Lift>>::Lift as ExPath>::Lift>,
    T: Constrain<Self::Lift>,
    <T as Constrain<Self::Lift>>::Lift: ExPath,
    Self: ExPath, 

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

impl<T: Clone> Path<Odd<u16>> for Add<u16, T> where
    Odd<u16, T>: ExPath, 

type Lift = Xor<<<Odd<u16> as Constrain<T>>::Lift as ExPath>::Lift>

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

fn path(&self, arg: T) -> Self::Lift where
    Self::Lift: ExPath<Lift = <<T as Constrain<Self::Lift>>::Lift as ExPath>::Lift>,
    T: Constrain<Self::Lift>,
    <T as Constrain<Self::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::Lift where
    Self::Lift: ExPath<Lift = <<T as Constrain<Self::Lift>>::Lift as ExPath>::Lift>,
    T: Constrain<Self::Lift>,
    <T as Constrain<Self::Lift>>::Lift: ExPath,
    Self: ExPath, 

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

impl<T: Clone> Path<Odd<u32>> for Add<u32, T> where
    Odd<u32, T>: ExPath, 

type Lift = Xor<<<Odd<u32> as Constrain<T>>::Lift as ExPath>::Lift>

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

fn path(&self, arg: T) -> Self::Lift where
    Self::Lift: ExPath<Lift = <<T as Constrain<Self::Lift>>::Lift as ExPath>::Lift>,
    T: Constrain<Self::Lift>,
    <T as Constrain<Self::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::Lift where
    Self::Lift: ExPath<Lift = <<T as Constrain<Self::Lift>>::Lift as ExPath>::Lift>,
    T: Constrain<Self::Lift>,
    <T as Constrain<Self::Lift>>::Lift: ExPath,
    Self: ExPath, 

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

impl<T: Clone> Path<Odd<u64>> for Add<u64, T> where
    Odd<u64, T>: ExPath, 

type Lift = Xor<<<Odd<u64> as Constrain<T>>::Lift as ExPath>::Lift>

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

fn path(&self, arg: T) -> Self::Lift where
    Self::Lift: ExPath<Lift = <<T as Constrain<Self::Lift>>::Lift as ExPath>::Lift>,
    T: Constrain<Self::Lift>,
    <T as Constrain<Self::Lift>>::Lift: ExPath,
    Self: ExPath, 

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

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

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

Formats the value using the given formatter.

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

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Returns the "default value" for a type.

impl<T: Debug, I: Debug> Debug for Add<T, I>

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

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

fn eq(&self, __arg_0: &Add<T, I>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &Add<T, I>) -> bool

This method tests for !=.