Struct path_semantics_std::If
[−]
[src]
pub struct If<Co, Tr, Fa, I = ()> { /* fields omitted */ }
\(x) = if co(x) {tr(x)} else {fa(x)}
Trait Implementations
impl<Co: Clone, Tr: Clone, Fa: Clone, I, I2> Constrain<I> for If<Co, Tr, Fa, I2>
[src]
type Lift = If<Co, Tr, Fa, I>
fn i_force(&self, i: I) -> 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 If<GeK<u8>, Even<u8>, Odd<u8>>
[src]
impl ExPath for If<GeK<u8>, Odd<u8>, Even<u8>>
[src]
impl ExPath for If<LtK<u8>, Even<u8>, Odd<u8>>
[src]
impl ExPath for If<LtK<u8>, Odd<u8>, Even<u8>>
[src]
impl ExPath for If<GeK<u8>, IfK<u8, Odd<u8>, Even<u8>, Odd<u8>>, False1<u8>>
[src]
impl ExPath for If<LtK<u8>, False1<u8>, Even<u8>>
[src]
impl ExPath for If<GeK<u8>, IfK<u8, Even<u8>, Even<u8>, Odd<u8>>, False1<u8>>
[src]
impl ExPath for If<LtK<u8>, Odd<u8>, Even<u8>, EqK<u8>>
[src]
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
[src]
impl ExPath for If<LtK<u8>, Even<u8>, Odd<u8>, EqK<u8>>
[src]
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
[src]
impl ExPath for If<GeK<u8>, Odd<u8>, Even<u8>, EqK<u8>>
[src]
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
[src]
impl ExPath for If<GeK<u8>, Even<u8>, Odd<u8>, EqK<u8>>
[src]
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
[src]
impl ExPath for If<LtK<u8>, Odd<u8>, Even<u8>, GeK<u8>>
[src]
impl ExPath for If<LtK<u8>, Even<u8>, Odd<u8>, GeK<u8>>
[src]
impl ExPath for If<GeK<u8>, Odd<u8>, Even<u8>, GeK<u8>>
[src]
impl ExPath for If<GeK<u8>, Even<u8>, Odd<u8>, GeK<u8>>
[src]
impl ExPath for If<LtK<u8>, Odd<u8>, Even<u8>, LtK<u8>>
[src]
type Lift = IfK<u8, LtK<u8>, IfK<u8, EqK<u8>, False1<bool>, <GeK<u8> as ExPath>::Lift>, ()>
fn ex_path(&self) -> Self::Lift
[src]
impl ExPath for If<LtK<u8>, Even<u8>, Odd<u8>, LtK<u8>>
[src]
type Lift = IfK<u8, LtK<u8>, IfK<u8, EqK<u8>, False1<bool>, <LtK<u8> as ExPath>::Lift>, ()>
fn ex_path(&self) -> Self::Lift
[src]
impl ExPath for If<GeK<u8>, Odd<u8>, Even<u8>, LtK<u8>>
[src]
type Lift = IfK<u8, LtK<u8>, IfK<u8, EqK<u8>, False1<bool>, <LtK<u8> as ExPath>::Lift>, ()>
fn ex_path(&self) -> Self::Lift
[src]
impl ExPath for If<GeK<u8>, Even<u8>, Odd<u8>, LtK<u8>>
[src]
type Lift = IfK<u8, LtK<u8>, IfK<u8, EqK<u8>, False1<bool>, <GeK<u8> as ExPath>::Lift>, ()>
fn ex_path(&self) -> Self::Lift
[src]
impl ExPath for If<GeK<u8>, Even<u8>, Odd<u8>, Even<u8>>
[src]
impl ExPath for If<GeK<u8>, Even<u8>, Odd<u8>, Odd<u8>>
[src]
impl ExPath for If<GeK<u8>, Odd<u8>, Even<u8>, Even<u8>>
[src]
impl ExPath for If<GeK<u8>, Odd<u8>, Even<u8>, Odd<u8>>
[src]
impl ExPath for If<LtK<u8>, Even<u8>, Odd<u8>, Even<u8>>
[src]
impl ExPath for If<LtK<u8>, Even<u8>, Odd<u8>, Odd<u8>>
[src]
impl ExPath for If<LtK<u8>, Odd<u8>, Even<u8>, Even<u8>>
[src]
impl ExPath for If<LtK<u8>, Odd<u8>, Even<u8>, Odd<u8>>
[src]
impl ExPath for If<GeK<u16>, Even<u16>, Odd<u16>>
[src]
impl ExPath for If<GeK<u16>, Odd<u16>, Even<u16>>
[src]
impl ExPath for If<LtK<u16>, Even<u16>, Odd<u16>>
[src]
impl ExPath for If<LtK<u16>, Odd<u16>, Even<u16>>
[src]
impl ExPath for If<GeK<u16>, IfK<u16, Odd<u16>, Even<u16>, Odd<u16>>, False1<u16>>
[src]
impl ExPath for If<LtK<u16>, False1<u16>, Even<u16>>
[src]
impl ExPath for If<GeK<u16>, IfK<u16, Even<u16>, Even<u16>, Odd<u16>>, False1<u16>>
[src]
impl ExPath for If<LtK<u16>, Odd<u16>, Even<u16>, EqK<u16>>
[src]
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
[src]
impl ExPath for If<LtK<u16>, Even<u16>, Odd<u16>, EqK<u16>>
[src]
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
[src]
impl ExPath for If<GeK<u16>, Odd<u16>, Even<u16>, EqK<u16>>
[src]
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
[src]
impl ExPath for If<GeK<u16>, Even<u16>, Odd<u16>, EqK<u16>>
[src]
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
[src]
impl ExPath for If<LtK<u16>, Odd<u16>, Even<u16>, GeK<u16>>
[src]
impl ExPath for If<LtK<u16>, Even<u16>, Odd<u16>, GeK<u16>>
[src]
impl ExPath for If<GeK<u16>, Odd<u16>, Even<u16>, GeK<u16>>
[src]
impl ExPath for If<GeK<u16>, Even<u16>, Odd<u16>, GeK<u16>>
[src]
impl ExPath for If<LtK<u16>, Odd<u16>, Even<u16>, LtK<u16>>
[src]
type Lift = IfK<u16, LtK<u16>, IfK<u16, EqK<u16>, False1<bool>, <GeK<u16> as ExPath>::Lift>, ()>
fn ex_path(&self) -> Self::Lift
[src]
impl ExPath for If<LtK<u16>, Even<u16>, Odd<u16>, LtK<u16>>
[src]
type Lift = IfK<u16, LtK<u16>, IfK<u16, EqK<u16>, False1<bool>, <LtK<u16> as ExPath>::Lift>, ()>
fn ex_path(&self) -> Self::Lift
[src]
impl ExPath for If<GeK<u16>, Odd<u16>, Even<u16>, LtK<u16>>
[src]
type Lift = IfK<u16, LtK<u16>, IfK<u16, EqK<u16>, False1<bool>, <LtK<u16> as ExPath>::Lift>, ()>
fn ex_path(&self) -> Self::Lift
[src]
impl ExPath for If<GeK<u16>, Even<u16>, Odd<u16>, LtK<u16>>
[src]
type Lift = IfK<u16, LtK<u16>, IfK<u16, EqK<u16>, False1<bool>, <GeK<u16> as ExPath>::Lift>, ()>
fn ex_path(&self) -> Self::Lift
[src]
impl ExPath for If<GeK<u16>, Even<u16>, Odd<u16>, Even<u16>>
[src]
impl ExPath for If<GeK<u16>, Even<u16>, Odd<u16>, Odd<u16>>
[src]
impl ExPath for If<GeK<u16>, Odd<u16>, Even<u16>, Even<u16>>
[src]
impl ExPath for If<GeK<u16>, Odd<u16>, Even<u16>, Odd<u16>>
[src]
impl ExPath for If<LtK<u16>, Even<u16>, Odd<u16>, Even<u16>>
[src]
impl ExPath for If<LtK<u16>, Even<u16>, Odd<u16>, Odd<u16>>
[src]
impl ExPath for If<LtK<u16>, Odd<u16>, Even<u16>, Even<u16>>
[src]
impl ExPath for If<LtK<u16>, Odd<u16>, Even<u16>, Odd<u16>>
[src]
impl ExPath for If<GeK<u32>, Even<u32>, Odd<u32>>
[src]
impl ExPath for If<GeK<u32>, Odd<u32>, Even<u32>>
[src]
impl ExPath for If<LtK<u32>, Even<u32>, Odd<u32>>
[src]
impl ExPath for If<LtK<u32>, Odd<u32>, Even<u32>>
[src]
impl ExPath for If<GeK<u32>, IfK<u32, Odd<u32>, Even<u32>, Odd<u32>>, False1<u32>>
[src]
impl ExPath for If<LtK<u32>, False1<u32>, Even<u32>>
[src]
impl ExPath for If<GeK<u32>, IfK<u32, Even<u32>, Even<u32>, Odd<u32>>, False1<u32>>
[src]
impl ExPath for If<LtK<u32>, Odd<u32>, Even<u32>, EqK<u32>>
[src]
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
[src]
impl ExPath for If<LtK<u32>, Even<u32>, Odd<u32>, EqK<u32>>
[src]
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
[src]
impl ExPath for If<GeK<u32>, Odd<u32>, Even<u32>, EqK<u32>>
[src]
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
[src]
impl ExPath for If<GeK<u32>, Even<u32>, Odd<u32>, EqK<u32>>
[src]
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
[src]
impl ExPath for If<LtK<u32>, Odd<u32>, Even<u32>, GeK<u32>>
[src]
impl ExPath for If<LtK<u32>, Even<u32>, Odd<u32>, GeK<u32>>
[src]
impl ExPath for If<GeK<u32>, Odd<u32>, Even<u32>, GeK<u32>>
[src]
impl ExPath for If<GeK<u32>, Even<u32>, Odd<u32>, GeK<u32>>
[src]
impl ExPath for If<LtK<u32>, Odd<u32>, Even<u32>, LtK<u32>>
[src]
type Lift = IfK<u32, LtK<u32>, IfK<u32, EqK<u32>, False1<bool>, <GeK<u32> as ExPath>::Lift>, ()>
fn ex_path(&self) -> Self::Lift
[src]
impl ExPath for If<LtK<u32>, Even<u32>, Odd<u32>, LtK<u32>>
[src]
type Lift = IfK<u32, LtK<u32>, IfK<u32, EqK<u32>, False1<bool>, <LtK<u32> as ExPath>::Lift>, ()>
fn ex_path(&self) -> Self::Lift
[src]
impl ExPath for If<GeK<u32>, Odd<u32>, Even<u32>, LtK<u32>>
[src]
type Lift = IfK<u32, LtK<u32>, IfK<u32, EqK<u32>, False1<bool>, <LtK<u32> as ExPath>::Lift>, ()>
fn ex_path(&self) -> Self::Lift
[src]
impl ExPath for If<GeK<u32>, Even<u32>, Odd<u32>, LtK<u32>>
[src]
type Lift = IfK<u32, LtK<u32>, IfK<u32, EqK<u32>, False1<bool>, <GeK<u32> as ExPath>::Lift>, ()>
fn ex_path(&self) -> Self::Lift
[src]
impl ExPath for If<GeK<u32>, Even<u32>, Odd<u32>, Even<u32>>
[src]
impl ExPath for If<GeK<u32>, Even<u32>, Odd<u32>, Odd<u32>>
[src]
impl ExPath for If<GeK<u32>, Odd<u32>, Even<u32>, Even<u32>>
[src]
impl ExPath for If<GeK<u32>, Odd<u32>, Even<u32>, Odd<u32>>
[src]
impl ExPath for If<LtK<u32>, Even<u32>, Odd<u32>, Even<u32>>
[src]
impl ExPath for If<LtK<u32>, Even<u32>, Odd<u32>, Odd<u32>>
[src]
impl ExPath for If<LtK<u32>, Odd<u32>, Even<u32>, Even<u32>>
[src]
impl ExPath for If<LtK<u32>, Odd<u32>, Even<u32>, Odd<u32>>
[src]
impl ExPath for If<GeK<u64>, Even<u64>, Odd<u64>>
[src]
impl ExPath for If<GeK<u64>, Odd<u64>, Even<u64>>
[src]
impl ExPath for If<LtK<u64>, Even<u64>, Odd<u64>>
[src]
impl ExPath for If<LtK<u64>, Odd<u64>, Even<u64>>
[src]
impl ExPath for If<GeK<u64>, IfK<u64, Odd<u64>, Even<u64>, Odd<u64>>, False1<u64>>
[src]
impl ExPath for If<LtK<u64>, False1<u64>, Even<u64>>
[src]
impl ExPath for If<GeK<u64>, IfK<u64, Even<u64>, Even<u64>, Odd<u64>>, False1<u64>>
[src]
impl ExPath for If<LtK<u64>, Odd<u64>, Even<u64>, EqK<u64>>
[src]
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
[src]
impl ExPath for If<LtK<u64>, Even<u64>, Odd<u64>, EqK<u64>>
[src]
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
[src]
impl ExPath for If<GeK<u64>, Odd<u64>, Even<u64>, EqK<u64>>
[src]
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
[src]
impl ExPath for If<GeK<u64>, Even<u64>, Odd<u64>, EqK<u64>>
[src]
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
[src]
impl ExPath for If<LtK<u64>, Odd<u64>, Even<u64>, GeK<u64>>
[src]
impl ExPath for If<LtK<u64>, Even<u64>, Odd<u64>, GeK<u64>>
[src]
impl ExPath for If<GeK<u64>, Odd<u64>, Even<u64>, GeK<u64>>
[src]
impl ExPath for If<GeK<u64>, Even<u64>, Odd<u64>, GeK<u64>>
[src]
impl ExPath for If<LtK<u64>, Odd<u64>, Even<u64>, LtK<u64>>
[src]
type Lift = IfK<u64, LtK<u64>, IfK<u64, EqK<u64>, False1<bool>, <GeK<u64> as ExPath>::Lift>, ()>
fn ex_path(&self) -> Self::Lift
[src]
impl ExPath for If<LtK<u64>, Even<u64>, Odd<u64>, LtK<u64>>
[src]
type Lift = IfK<u64, LtK<u64>, IfK<u64, EqK<u64>, False1<bool>, <LtK<u64> as ExPath>::Lift>, ()>
fn ex_path(&self) -> Self::Lift
[src]
impl ExPath for If<GeK<u64>, Odd<u64>, Even<u64>, LtK<u64>>
[src]
type Lift = IfK<u64, LtK<u64>, IfK<u64, EqK<u64>, False1<bool>, <LtK<u64> as ExPath>::Lift>, ()>
fn ex_path(&self) -> Self::Lift
[src]
impl ExPath for If<GeK<u64>, Even<u64>, Odd<u64>, LtK<u64>>
[src]
type Lift = IfK<u64, LtK<u64>, IfK<u64, EqK<u64>, False1<bool>, <GeK<u64> as ExPath>::Lift>, ()>
fn ex_path(&self) -> Self::Lift
[src]
impl ExPath for If<GeK<u64>, Even<u64>, Odd<u64>, Even<u64>>
[src]
impl ExPath for If<GeK<u64>, Even<u64>, Odd<u64>, Odd<u64>>
[src]
impl ExPath for If<GeK<u64>, Odd<u64>, Even<u64>, Even<u64>>
[src]
impl ExPath for If<GeK<u64>, Odd<u64>, Even<u64>, Odd<u64>>
[src]
impl ExPath for If<LtK<u64>, Even<u64>, Odd<u64>, Even<u64>>
[src]
impl ExPath for If<LtK<u64>, Even<u64>, Odd<u64>, Odd<u64>>
[src]
impl ExPath for If<LtK<u64>, Odd<u64>, Even<u64>, Even<u64>>
[src]
impl ExPath for If<LtK<u64>, Odd<u64>, Even<u64>, Odd<u64>>
[src]
impl<C, T, I: Clone> ExPath for If<C, T, T, I> where
T: Constrain<I>,
T::Lift: ExPath,
[src]
T: Constrain<I>,
T::Lift: ExPath,
impl<Co: TrickDisplay, Tr: TrickDisplay, Fa: TrickDisplay, I: 'static + TrickDisplay> Display for If<Co, Tr, Fa, I>
[src]
fn fmt(&self, fmt: &mut Formatter) -> Result
[src]
Formats the value using the given formatter. Read more
impl<Co: Copy, Tr: Copy, Fa: Copy, I: Copy> Copy for If<Co, Tr, Fa, I>
[src]
impl<Co: Clone, Tr: Clone, Fa: Clone, I: Clone> Clone for If<Co, Tr, Fa, I>
[src]
fn clone(&self) -> If<Co, Tr, Fa, 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