Struct path_semantics_std::False1
[−]
[src]
pub struct False1<T, I = ()> { /* fields omitted */ }
Trait Implementations
impl<T, I, I2> Constrain<I2> for False1<T, I>
[src]
type Lift = False1<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<T, U> ExPath for False1<T, U>
[src]
impl<T, I: TrickDisplay + 'static> Display for False1<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 False1<T, I>
[src]
impl<T: Clone, I: Clone> Clone for False1<T, I>
[src]
fn clone(&self) -> False1<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