Struct path_semantics_std::Rexc
[−]
[src]
pub struct Rexc<I = ()> { /* fields omitted */ }
Trait Implementations
impl<I, I2> Constrain<I2> for Rexc<I>[src]
type Lift = Rexc<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 Rexc[src]
impl ExPath for Rexc<Not>[src]
impl ExPath for Rexc<((), ())>[src]
impl ExPath for Rexc<((), Not)>[src]
impl ExPath for Rexc<(Not, ())>[src]
impl ExPath for Rexc<Id<bool>>[src]
impl ExPath for Rexc<(Id<bool>, Id<bool>)>[src]
impl ExPath for Rexc<(Not, Not)>[src]
impl ExPath for Rexc<((), Id<bool>)>[src]
impl ExPath for Rexc<(Id<bool>, ())>[src]
impl ExPath for Rexc<(Not, Id<bool>)>[src]
impl ExPath for Rexc<(Id<bool>, Not)>[src]
impl<T: Clone> Path<Not> for Rexc<T> where
Not<T>: ExPath, [src]
Not<T>: ExPath,
type Lift = Nexc<<<Not as Constrain<T>>::Lift as ExPath>::Lift>
fn path_force(&self, arg: Not) -> Self::Lift[src]
fn path(&self, arg: T) -> Self::Lift where
Self::Lift: ExPath<Lift = <<T as Constrain<Self::Lift>>::Lift as ExPath>::Lift>,
T: Constrain<Self::Lift>,
<T as Constrain<Self::Lift>>::Lift: ExPath,
Self: ExPath, [src]
Self::Lift: ExPath<Lift = <<T as Constrain<Self::Lift>>::Lift as ExPath>::Lift>,
T: Constrain<Self::Lift>,
<T as Constrain<Self::Lift>>::Lift: ExPath,
Self: ExPath,
Can call method if the existential paths of constrained input matches.
impl<I: TrickDisplay + 'static> Display for Rexc<I>[src]
fn fmt(&self, fmt: &mut Formatter) -> Result[src]
Formats the value using the given formatter. Read more
impl<I: Copy> Copy for Rexc<I>[src]
impl<I: Clone> Clone for Rexc<I>[src]
fn clone(&self) -> Rexc<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