Struct path_semantics_std::GeK

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

(>= k)

Trait Implementations

impl<T: Clone, I, I2> Constrain<I2> for GeK<T, I>

type Lift = GeK<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 ExPath for GeK<u8>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl ExPath for GeK<u16>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl ExPath for GeK<u32>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl ExPath for GeK<u64>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Formats the value using the given formatter.

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

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

fn clone(&self) -> GeK<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 GeK<T, I>

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

Returns the "default value" for a type.

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

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

Formats the value using the given formatter.

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

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

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

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

This method tests for !=.