Struct path_semantics_std::LtK
[−]
[src]
pub struct LtK<T, I = ()> { /* fields omitted */ }
(< k)
Trait Implementations
impl<T: Clone, I, I2> Constrain<I2> for LtK<T, I>
[src]
type Lift = LtK<T, I2>
fn i_force(&self, i: I2) -> Self::Lift
[src]
Override input constraint even when existential path does not exist.
fn i(&self, i: I) -> Self::Lift where
Self::Lift: ExPath,
[src]
Self::Lift: ExPath,
Constrains input but only if an existential path is supported for the constraint.
impl ExPath for LtK<u8>
[src]
impl ExPath for LtK<u8, Even<u8>>
[src]
impl ExPath for LtK<u8, Odd<u8>>
[src]
impl ExPath for LtK<u8, EqK<u8>>
[src]
impl ExPath for LtK<u8, GeK<u8>>
[src]
impl ExPath for LtK<u8, LtK<u8>>
[src]
type Lift = IfK<u8, EqK<u8>, False1<bool>, IfK<u8, EqK<u8>, Not, IfK<u8, GeK<u8>, Id<bool>, ()>>>
fn ex_path(&self) -> Self::Lift
[src]
impl ExPath for LtK<u16>
[src]
impl ExPath for LtK<u16, Even<u16>>
[src]
impl ExPath for LtK<u16, Odd<u16>>
[src]
impl ExPath for LtK<u16, EqK<u16>>
[src]
impl ExPath for LtK<u16, GeK<u16>>
[src]
type Lift = IfK<u16, GeK<u16>, Not, IfK<u16, EqK<u16>, Not, ()>>
fn ex_path(&self) -> Self::Lift
[src]
impl ExPath for LtK<u16, LtK<u16>>
[src]
type Lift = IfK<u16, EqK<u16>, False1<bool>, IfK<u16, EqK<u16>, Not, IfK<u16, GeK<u16>, Id<bool>, ()>>>
fn ex_path(&self) -> Self::Lift
[src]
impl ExPath for LtK<u32>
[src]
impl ExPath for LtK<u32, Even<u32>>
[src]
impl ExPath for LtK<u32, Odd<u32>>
[src]
impl ExPath for LtK<u32, EqK<u32>>
[src]
impl ExPath for LtK<u32, GeK<u32>>
[src]
type Lift = IfK<u32, GeK<u32>, Not, IfK<u32, EqK<u32>, Not, ()>>
fn ex_path(&self) -> Self::Lift
[src]
impl ExPath for LtK<u32, LtK<u32>>
[src]
type Lift = IfK<u32, EqK<u32>, False1<bool>, IfK<u32, EqK<u32>, Not, IfK<u32, GeK<u32>, Id<bool>, ()>>>
fn ex_path(&self) -> Self::Lift
[src]
impl ExPath for LtK<u64>
[src]
impl ExPath for LtK<u64, Even<u64>>
[src]
impl ExPath for LtK<u64, Odd<u64>>
[src]
impl ExPath for LtK<u64, EqK<u64>>
[src]
impl ExPath for LtK<u64, GeK<u64>>
[src]
type Lift = IfK<u64, GeK<u64>, Not, IfK<u64, EqK<u64>, Not, ()>>
fn ex_path(&self) -> Self::Lift
[src]
impl ExPath for LtK<u64, LtK<u64>>
[src]
type Lift = IfK<u64, EqK<u64>, False1<bool>, IfK<u64, EqK<u64>, Not, IfK<u64, GeK<u64>, Id<bool>, ()>>>
fn ex_path(&self) -> Self::Lift
[src]
impl<T: Display, I: TrickDisplay + 'static> Display for LtK<T, I>
[src]
fn fmt(&self, fmt: &mut Formatter) -> Result
[src]
Formats the value using the given formatter. Read more
impl<T: Copy, I: Copy> Copy for LtK<T, I>
[src]
impl<T: Clone, I: Clone> Clone for LtK<T, I>
[src]
fn clone(&self) -> LtK<T, I>
[src]
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more