Struct Not

pub struct Not<I = ()> { /* private fields */ }

Trait Implementations

impl<I: Clone> Clone for Not<I>

fn clone(&self) -> Not<I>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<I, I2> Constrain<I2> for Not<I>

type Lift = Not<I2>

fn i_force(&self, i: I2) -> Self::Lift

Override input constraint even when existential path does not exist.

fn i(&self, i: I) -> Self::Lift

where Self::Lift: ExPath,

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

impl<I: Debug> Debug for Not<I>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<I: Default> Default for Not<I>

fn default() -> Not<I>

Returns the “default value” for a type.

impl<I: TrickDisplay + 'static> Display for Not<I>

fn fmt(&self, fmt: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl ExPath for Not

type Lift = ()

fn ex_path(&self)

impl ExPath for Not<((), ())>

type Lift = (<Not as ExPath>::Lift, <Not as ExPath>::Lift)

fn ex_path(&self) -> Self::Lift

impl ExPath for Not<((), Not)>

type Lift = (<Not as ExPath>::Lift, <Not<Not> as ExPath>::Lift)

fn ex_path(&self) -> Self::Lift

impl ExPath for Not<(Id<bool>, Id<bool>)>

type Lift = (<Not<Id<bool>> as ExPath>::Lift, <Not<Id<bool>> as ExPath>::Lift)

fn ex_path(&self) -> Self::Lift

impl ExPath for Not<(Id<bool>, Not)>

type Lift = (<Not<Id<bool>> as ExPath>::Lift, <Not<Not> as ExPath>::Lift)

fn ex_path(&self) -> Self::Lift

impl ExPath for Not<(Not, ())>

type Lift = (<Not<Not> as ExPath>::Lift, <Not as ExPath>::Lift)

fn ex_path(&self) -> Self::Lift

impl ExPath for Not<(Not, Id<bool>)>

type Lift = (<Not<Not> as ExPath>::Lift, <Not<Id<bool>> as ExPath>::Lift)

fn ex_path(&self) -> Self::Lift

impl ExPath for Not<(Not, Not)>

type Lift = (<Not<Not> as ExPath>::Lift, <Not<Not> as ExPath>::Lift)

fn ex_path(&self) -> Self::Lift

impl ExPath for Not<Id<bool>>

type Lift = Not

fn ex_path(&self) -> Not

impl ExPath for Not<Not>

type Lift = Id<bool>

fn ex_path(&self) -> Id<bool>

impl<I: PartialEq> PartialEq for Not<I>

fn eq(&self, other: &Not<I>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T: Clone> Path<Not> for And<T>

where Not<T>: ExPath,

type Lift = Or<<<Not as Constrain<T>>::Lift as ExPath>::Lift>

fn path_force(&self, arg: Not) -> Self::Lift

fn path(&self, arg: T) -> <Self as Path<T>>::Lift

where <Self as Path<T>>::Lift: ExPath<Lift = <<T as Constrain<<Self as ExPath>::Lift>>::Lift as ExPath>::Lift>, T: Constrain<<Self as ExPath>::Lift>, <T as Constrain<<Self as ExPath>::Lift>>::Lift: ExPath, Self: ExPath,

Can call method if the existential paths of constrained input matches.

impl<T: Clone> Path<Not> for Eq<bool, T>

where Not<T>: ExPath,

type Lift = Xor<<<Not as Constrain<T>>::Lift as ExPath>::Lift>

fn path_force(&self, arg: Not) -> Self::Lift

fn path(&self, arg: T) -> <Self as Path<T>>::Lift

where <Self as Path<T>>::Lift: ExPath<Lift = <<T as Constrain<<Self as ExPath>::Lift>>::Lift as ExPath>::Lift>, T: Constrain<<Self as ExPath>::Lift>, <T as Constrain<<Self as ExPath>::Lift>>::Lift: ExPath, Self: ExPath,

Can call method if the existential paths of constrained input matches.

impl<T: Clone> Path<Not> for Exc<T>

where Not<T>: ExPath,

type Lift = Nrexc<<<Not as Constrain<T>>::Lift as ExPath>::Lift>

fn path_force(&self, arg: Not) -> Self::Lift

fn path(&self, arg: T) -> <Self as Path<T>>::Lift

where <Self as Path<T>>::Lift: ExPath<Lift = <<T as Constrain<<Self as ExPath>::Lift>>::Lift as ExPath>::Lift>, T: Constrain<<Self as ExPath>::Lift>, <T as Constrain<<Self as ExPath>::Lift>>::Lift: ExPath, Self: ExPath,

Can call method if the existential paths of constrained input matches.

impl<T: Clone> Path<Not> for Nand<T>

where Not<T>: ExPath,

type Lift = Nor<<<Not as Constrain<T>>::Lift as ExPath>::Lift>

fn path_force(&self, arg: Not) -> Self::Lift

fn path(&self, arg: T) -> <Self as Path<T>>::Lift

where <Self as Path<T>>::Lift: ExPath<Lift = <<T as Constrain<<Self as ExPath>::Lift>>::Lift as ExPath>::Lift>, T: Constrain<<Self as ExPath>::Lift>, <T as Constrain<<Self as ExPath>::Lift>>::Lift: ExPath, Self: ExPath,

Can call method if the existential paths of constrained input matches.

impl<T: Clone> Path<Not> for Nexc<T>

where Not<T>: ExPath,

type Lift = Rexc<<<Not as Constrain<T>>::Lift as ExPath>::Lift>

fn path_force(&self, arg: Not) -> Self::Lift

fn path(&self, arg: T) -> <Self as Path<T>>::Lift

where <Self as Path<T>>::Lift: ExPath<Lift = <<T as Constrain<<Self as ExPath>::Lift>>::Lift as ExPath>::Lift>, T: Constrain<<Self as ExPath>::Lift>, <T as Constrain<<Self as ExPath>::Lift>>::Lift: ExPath, Self: ExPath,

Can call method if the existential paths of constrained input matches.

impl<T: Clone> Path<Not> for Nor<T>

where Not<T>: ExPath,

type Lift = Nand<<<Not as Constrain<T>>::Lift as ExPath>::Lift>

fn path_force(&self, arg: Not) -> Self::Lift

fn path(&self, arg: T) -> <Self as Path<T>>::Lift

where <Self as Path<T>>::Lift: ExPath<Lift = <<T as Constrain<<Self as ExPath>::Lift>>::Lift as ExPath>::Lift>, T: Constrain<<Self as ExPath>::Lift>, <T as Constrain<<Self as ExPath>::Lift>>::Lift: ExPath, Self: ExPath,

Can call method if the existential paths of constrained input matches.

impl<T: Clone> Path<Not> for Nrexc<T>

where Not<T>: ExPath,

type Lift = Exc<<<Not as Constrain<T>>::Lift as ExPath>::Lift>

fn path_force(&self, arg: Not) -> Self::Lift

fn path(&self, arg: T) -> <Self as Path<T>>::Lift

where <Self as Path<T>>::Lift: ExPath<Lift = <<T as Constrain<<Self as ExPath>::Lift>>::Lift as ExPath>::Lift>, T: Constrain<<Self as ExPath>::Lift>, <T as Constrain<<Self as ExPath>::Lift>>::Lift: ExPath, Self: ExPath,

Can call method if the existential paths of constrained input matches.

impl<T: Clone> Path<Not> for Or<T>

where Not<T>: ExPath,

type Lift = And<<<Not as Constrain<T>>::Lift as ExPath>::Lift>

fn path_force(&self, arg: Not) -> Self::Lift

fn path(&self, arg: T) -> <Self as Path<T>>::Lift

where <Self as Path<T>>::Lift: ExPath<Lift = <<T as Constrain<<Self as ExPath>::Lift>>::Lift as ExPath>::Lift>, T: Constrain<<Self as ExPath>::Lift>, <T as Constrain<<Self as ExPath>::Lift>>::Lift: ExPath, Self: ExPath,

Can call method if the existential paths of constrained input matches.

impl<T: Clone> Path<Not> for Rexc<T>

where Not<T>: ExPath,

type Lift = Nexc<<<Not as Constrain<T>>::Lift as ExPath>::Lift>

fn path_force(&self, arg: Not) -> Self::Lift

fn path(&self, arg: T) -> <Self as Path<T>>::Lift

where <Self as Path<T>>::Lift: ExPath<Lift = <<T as Constrain<<Self as ExPath>::Lift>>::Lift as ExPath>::Lift>, T: Constrain<<Self as ExPath>::Lift>, <T as Constrain<<Self as ExPath>::Lift>>::Lift: ExPath, Self: ExPath,

Can call method if the existential paths of constrained input matches.

impl<T: Clone> Path<Not> for Xor<T>

where Not<T>: ExPath,

type Lift = Eq<bool, <<Not as Constrain<T>>::Lift as ExPath>::Lift>

fn path_force(&self, arg: Not) -> Self::Lift

fn path(&self, arg: T) -> <Self as Path<T>>::Lift

where <Self as Path<T>>::Lift: ExPath<Lift = <<T as Constrain<<Self as ExPath>::Lift>>::Lift as ExPath>::Lift>, T: Constrain<<Self as ExPath>::Lift>, <T as Constrain<<Self as ExPath>::Lift>>::Lift: ExPath, Self: ExPath,

Can call method if the existential paths of constrained input matches.

impl<I: Copy> Copy for Not<I>

impl<I> StructuralPartialEq for Not<I>