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]

[src]

Override input constraint even when existential path does not exist.

[src]

Constrains input but only if an existential path is supported for the constraint.

impl ExPath for If<GeK<u8>, Even<u8>, Odd<u8>>
[src]

[src]

impl ExPath for If<GeK<u8>, Odd<u8>, Even<u8>>
[src]

[src]

impl ExPath for If<LtK<u8>, Even<u8>, Odd<u8>>
[src]

[src]

impl ExPath for If<LtK<u8>, Odd<u8>, Even<u8>>
[src]

[src]

impl ExPath for If<GeK<u8>, IfK<u8, Odd<u8>, Even<u8>, Odd<u8>>, False1<u8>>
[src]

[src]

impl ExPath for If<LtK<u8>, False1<u8>, Even<u8>>
[src]

[src]

impl ExPath for If<GeK<u8>, IfK<u8, Even<u8>, Even<u8>, Odd<u8>>, False1<u8>>
[src]

[src]

impl ExPath for If<LtK<u8>, Odd<u8>, Even<u8>, EqK<u8>>
[src]

[src]

impl ExPath for If<LtK<u8>, Even<u8>, Odd<u8>, EqK<u8>>
[src]

[src]

impl ExPath for If<GeK<u8>, Odd<u8>, Even<u8>, EqK<u8>>
[src]

[src]

impl ExPath for If<GeK<u8>, Even<u8>, Odd<u8>, EqK<u8>>
[src]

[src]

impl ExPath for If<LtK<u8>, Odd<u8>, Even<u8>, GeK<u8>>
[src]

[src]

impl ExPath for If<LtK<u8>, Even<u8>, Odd<u8>, GeK<u8>>
[src]

[src]

impl ExPath for If<GeK<u8>, Odd<u8>, Even<u8>, GeK<u8>>
[src]

[src]

impl ExPath for If<GeK<u8>, Even<u8>, Odd<u8>, GeK<u8>>
[src]

[src]

impl ExPath for If<LtK<u8>, Odd<u8>, Even<u8>, LtK<u8>>
[src]

[src]

impl ExPath for If<LtK<u8>, Even<u8>, Odd<u8>, LtK<u8>>
[src]

[src]

impl ExPath for If<GeK<u8>, Odd<u8>, Even<u8>, LtK<u8>>
[src]

[src]

impl ExPath for If<GeK<u8>, Even<u8>, Odd<u8>, LtK<u8>>
[src]

[src]

impl ExPath for If<GeK<u8>, Even<u8>, Odd<u8>, Even<u8>>
[src]

[src]

impl ExPath for If<GeK<u8>, Even<u8>, Odd<u8>, Odd<u8>>
[src]

[src]

impl ExPath for If<GeK<u8>, Odd<u8>, Even<u8>, Even<u8>>
[src]

[src]

impl ExPath for If<GeK<u8>, Odd<u8>, Even<u8>, Odd<u8>>
[src]

[src]

impl ExPath for If<LtK<u8>, Even<u8>, Odd<u8>, Even<u8>>
[src]

[src]

impl ExPath for If<LtK<u8>, Even<u8>, Odd<u8>, Odd<u8>>
[src]

[src]

impl ExPath for If<LtK<u8>, Odd<u8>, Even<u8>, Even<u8>>
[src]

[src]

impl ExPath for If<LtK<u8>, Odd<u8>, Even<u8>, Odd<u8>>
[src]

[src]

impl ExPath for If<GeK<u16>, Even<u16>, Odd<u16>>
[src]

[src]

impl ExPath for If<GeK<u16>, Odd<u16>, Even<u16>>
[src]

[src]

impl ExPath for If<LtK<u16>, Even<u16>, Odd<u16>>
[src]

[src]

impl ExPath for If<LtK<u16>, Odd<u16>, Even<u16>>
[src]

[src]

impl ExPath for If<GeK<u16>, IfK<u16, Odd<u16>, Even<u16>, Odd<u16>>, False1<u16>>
[src]

[src]

impl ExPath for If<LtK<u16>, False1<u16>, Even<u16>>
[src]

[src]

impl ExPath for If<GeK<u16>, IfK<u16, Even<u16>, Even<u16>, Odd<u16>>, False1<u16>>
[src]

[src]

impl ExPath for If<LtK<u16>, Odd<u16>, Even<u16>, EqK<u16>>
[src]

[src]

impl ExPath for If<LtK<u16>, Even<u16>, Odd<u16>, EqK<u16>>
[src]

[src]

impl ExPath for If<GeK<u16>, Odd<u16>, Even<u16>, EqK<u16>>
[src]

[src]

impl ExPath for If<GeK<u16>, Even<u16>, Odd<u16>, EqK<u16>>
[src]

[src]

impl ExPath for If<LtK<u16>, Odd<u16>, Even<u16>, GeK<u16>>
[src]

[src]

impl ExPath for If<LtK<u16>, Even<u16>, Odd<u16>, GeK<u16>>
[src]

[src]

impl ExPath for If<GeK<u16>, Odd<u16>, Even<u16>, GeK<u16>>
[src]

[src]

impl ExPath for If<GeK<u16>, Even<u16>, Odd<u16>, GeK<u16>>
[src]

[src]

impl ExPath for If<LtK<u16>, Odd<u16>, Even<u16>, LtK<u16>>
[src]

[src]

impl ExPath for If<LtK<u16>, Even<u16>, Odd<u16>, LtK<u16>>
[src]

[src]

impl ExPath for If<GeK<u16>, Odd<u16>, Even<u16>, LtK<u16>>
[src]

[src]

impl ExPath for If<GeK<u16>, Even<u16>, Odd<u16>, LtK<u16>>
[src]

[src]

impl ExPath for If<GeK<u16>, Even<u16>, Odd<u16>, Even<u16>>
[src]

[src]

impl ExPath for If<GeK<u16>, Even<u16>, Odd<u16>, Odd<u16>>
[src]

[src]

impl ExPath for If<GeK<u16>, Odd<u16>, Even<u16>, Even<u16>>
[src]

[src]

impl ExPath for If<GeK<u16>, Odd<u16>, Even<u16>, Odd<u16>>
[src]

[src]

impl ExPath for If<LtK<u16>, Even<u16>, Odd<u16>, Even<u16>>
[src]

[src]

impl ExPath for If<LtK<u16>, Even<u16>, Odd<u16>, Odd<u16>>
[src]

[src]

impl ExPath for If<LtK<u16>, Odd<u16>, Even<u16>, Even<u16>>
[src]

[src]

impl ExPath for If<LtK<u16>, Odd<u16>, Even<u16>, Odd<u16>>
[src]

[src]

impl ExPath for If<GeK<u32>, Even<u32>, Odd<u32>>
[src]

[src]

impl ExPath for If<GeK<u32>, Odd<u32>, Even<u32>>
[src]

[src]

impl ExPath for If<LtK<u32>, Even<u32>, Odd<u32>>
[src]

[src]

impl ExPath for If<LtK<u32>, Odd<u32>, Even<u32>>
[src]

[src]

impl ExPath for If<GeK<u32>, IfK<u32, Odd<u32>, Even<u32>, Odd<u32>>, False1<u32>>
[src]

[src]

impl ExPath for If<LtK<u32>, False1<u32>, Even<u32>>
[src]

[src]

impl ExPath for If<GeK<u32>, IfK<u32, Even<u32>, Even<u32>, Odd<u32>>, False1<u32>>
[src]

[src]

impl ExPath for If<LtK<u32>, Odd<u32>, Even<u32>, EqK<u32>>
[src]

[src]

impl ExPath for If<LtK<u32>, Even<u32>, Odd<u32>, EqK<u32>>
[src]

[src]

impl ExPath for If<GeK<u32>, Odd<u32>, Even<u32>, EqK<u32>>
[src]

[src]

impl ExPath for If<GeK<u32>, Even<u32>, Odd<u32>, EqK<u32>>
[src]

[src]

impl ExPath for If<LtK<u32>, Odd<u32>, Even<u32>, GeK<u32>>
[src]

[src]

impl ExPath for If<LtK<u32>, Even<u32>, Odd<u32>, GeK<u32>>
[src]

[src]

impl ExPath for If<GeK<u32>, Odd<u32>, Even<u32>, GeK<u32>>
[src]

[src]

impl ExPath for If<GeK<u32>, Even<u32>, Odd<u32>, GeK<u32>>
[src]

[src]

impl ExPath for If<LtK<u32>, Odd<u32>, Even<u32>, LtK<u32>>
[src]

[src]

impl ExPath for If<LtK<u32>, Even<u32>, Odd<u32>, LtK<u32>>
[src]

[src]

impl ExPath for If<GeK<u32>, Odd<u32>, Even<u32>, LtK<u32>>
[src]

[src]

impl ExPath for If<GeK<u32>, Even<u32>, Odd<u32>, LtK<u32>>
[src]

[src]

impl ExPath for If<GeK<u32>, Even<u32>, Odd<u32>, Even<u32>>
[src]

[src]

impl ExPath for If<GeK<u32>, Even<u32>, Odd<u32>, Odd<u32>>
[src]

[src]

impl ExPath for If<GeK<u32>, Odd<u32>, Even<u32>, Even<u32>>
[src]

[src]

impl ExPath for If<GeK<u32>, Odd<u32>, Even<u32>, Odd<u32>>
[src]

[src]

impl ExPath for If<LtK<u32>, Even<u32>, Odd<u32>, Even<u32>>
[src]

[src]

impl ExPath for If<LtK<u32>, Even<u32>, Odd<u32>, Odd<u32>>
[src]

[src]

impl ExPath for If<LtK<u32>, Odd<u32>, Even<u32>, Even<u32>>
[src]

[src]

impl ExPath for If<LtK<u32>, Odd<u32>, Even<u32>, Odd<u32>>
[src]

[src]

impl ExPath for If<GeK<u64>, Even<u64>, Odd<u64>>
[src]

[src]

impl ExPath for If<GeK<u64>, Odd<u64>, Even<u64>>
[src]

[src]

impl ExPath for If<LtK<u64>, Even<u64>, Odd<u64>>
[src]

[src]

impl ExPath for If<LtK<u64>, Odd<u64>, Even<u64>>
[src]

[src]

impl ExPath for If<GeK<u64>, IfK<u64, Odd<u64>, Even<u64>, Odd<u64>>, False1<u64>>
[src]

[src]

impl ExPath for If<LtK<u64>, False1<u64>, Even<u64>>
[src]

[src]

impl ExPath for If<GeK<u64>, IfK<u64, Even<u64>, Even<u64>, Odd<u64>>, False1<u64>>
[src]

[src]

impl ExPath for If<LtK<u64>, Odd<u64>, Even<u64>, EqK<u64>>
[src]

[src]

impl ExPath for If<LtK<u64>, Even<u64>, Odd<u64>, EqK<u64>>
[src]

[src]

impl ExPath for If<GeK<u64>, Odd<u64>, Even<u64>, EqK<u64>>
[src]

[src]

impl ExPath for If<GeK<u64>, Even<u64>, Odd<u64>, EqK<u64>>
[src]

[src]

impl ExPath for If<LtK<u64>, Odd<u64>, Even<u64>, GeK<u64>>
[src]

[src]

impl ExPath for If<LtK<u64>, Even<u64>, Odd<u64>, GeK<u64>>
[src]

[src]

impl ExPath for If<GeK<u64>, Odd<u64>, Even<u64>, GeK<u64>>
[src]

[src]

impl ExPath for If<GeK<u64>, Even<u64>, Odd<u64>, GeK<u64>>
[src]

[src]

impl ExPath for If<LtK<u64>, Odd<u64>, Even<u64>, LtK<u64>>
[src]

[src]

impl ExPath for If<LtK<u64>, Even<u64>, Odd<u64>, LtK<u64>>
[src]

[src]

impl ExPath for If<GeK<u64>, Odd<u64>, Even<u64>, LtK<u64>>
[src]

[src]

impl ExPath for If<GeK<u64>, Even<u64>, Odd<u64>, LtK<u64>>
[src]

[src]

impl ExPath for If<GeK<u64>, Even<u64>, Odd<u64>, Even<u64>>
[src]

[src]

impl ExPath for If<GeK<u64>, Even<u64>, Odd<u64>, Odd<u64>>
[src]

[src]

impl ExPath for If<GeK<u64>, Odd<u64>, Even<u64>, Even<u64>>
[src]

[src]

impl ExPath for If<GeK<u64>, Odd<u64>, Even<u64>, Odd<u64>>
[src]

[src]

impl ExPath for If<LtK<u64>, Even<u64>, Odd<u64>, Even<u64>>
[src]

[src]

impl ExPath for If<LtK<u64>, Even<u64>, Odd<u64>, Odd<u64>>
[src]

[src]

impl ExPath for If<LtK<u64>, Odd<u64>, Even<u64>, Even<u64>>
[src]

[src]

impl ExPath for If<LtK<u64>, Odd<u64>, Even<u64>, Odd<u64>>
[src]

[src]

impl<C, T, I: Clone> ExPath for If<C, T, T, I> where
    T: Constrain<I>,
    T::Lift: ExPath
[src]

[src]

impl<Co: TrickDisplay, Tr: TrickDisplay, Fa: TrickDisplay, I: 'static + TrickDisplay> Display for If<Co, Tr, Fa, I>
[src]

[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]

[src]

Returns a copy of the value. Read more

1.0.0
[src]

Performs copy-assignment from source. Read more

impl<Co: Default, Tr: Default, Fa: Default, I: Default> Default for If<Co, Tr, Fa, I>
[src]

[src]

Returns the "default value" for a type. Read more

impl<Co: Debug, Tr: Debug, Fa: Debug, I: Debug> Debug for If<Co, Tr, Fa, I>
[src]

[src]

Formats the value using the given formatter.

impl<Co: PartialEq, Tr: PartialEq, Fa: PartialEq, I: PartialEq> PartialEq for If<Co, Tr, Fa, I>
[src]

[src]

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

[src]

This method tests for !=.