Struct prop::avatar_extensions::Inv

source [−]

pub struct Inv<T>(_);

Expand description

Imaginary inverse.

This is prevented from leaking by not having access to the inner object.

Implementations

source

impl<T> Inv<Inv<T>>

source

pub fn rev_double(self) -> T

--a => a.

source

pub fn double(a: T) -> Self

a => --a.

source

impl<T, U> Inv<AntiMul<Inv<Inv<T>>, Inv<Inv>>>

source

pub fn rev_double(self) -> Inv<AntiMul<T, U>>

-(--a * --b) => -(a * b).

Trait Implementations

source

impl<T> Avatar<Inv<T>> for Inv<T>

type Out = T

The output avatar.

source

fn inv(self) -> T

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

fn inv(self) -> Inv<T>

Involve the avatar.

source

impl<T: Clone> Clone for Inv<T>

source

fn clone(&self) -> Inv<T>

Returns a copy of the value. Read more

1.0.0 · source

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

Performs copy-assignment from source. Read more

source

impl<T: Prop, U: Prop> Contravariant<Inv<T>, Inv> for Imply<Inv<T>, Inv>

type Out = Inv<Imply<Inv<Inv>, Inv<Inv<T>>>>

The contravariant product type.

source

fn contra(self) -> Self::Out

Gets the contravariant product.

source

impl<T, U> Contravariant<Inv<T>, Inv> for AntiMul<Inv<T>, Inv>

type Out = Inv<AntiMul<Inv<Inv>, Inv<Inv<T>>>>

The contravariant product type.

source

fn contra(self) -> Self::Out

Gets the contravariant product.

source

impl<T: Prop, U: Prop> Contravariant<T, U> for Inv<Imply<T, U>>

type Out = Imply<Inv, Inv<T>>

The contravariant product type.

source

fn contra(self) -> Self::Out

Gets the contravariant product.

source

impl<T, U> Contravariant<T, U> for Inv<AntiMul<T, U>>

type Out = AntiMul<Inv, Inv<T>>

The contravariant product type.

source

fn contra(self) -> Self::Out

Gets the contravariant product.

source

impl<T: Product<U, V>, U, V> Product<U, V> for Inv<T>

source

fn mul(a: U, b: V) -> Self

Creates a product out of two propositions.

Auto Trait Implementations

impl<T> RefUnwindSafe for Inv<T> where
T: RefUnwindSafe,

impl<T> Send for Inv<T> where
T: Send,

impl<T> Sync for Inv<T> where
T: Sync,

impl<T> Unpin for Inv<T> where
T: Unpin,

impl<T> UnwindSafe for Inv<T> where
T: UnwindSafe,

Blanket Implementations

source

impl<T> Any for T where
T: 'static + ?Sized,

source

pub fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

The output avatar.

source

pub fn inv(Self) -> Inv<T>

Involve the avatar.

source

impl<T> Borrow<T> for T where
T: ?Sized,

source

pub fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

impl<T> BorrowMut<T> for T where
T: ?Sized,

source

pub fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

source

impl<T> From<T> for T

source

pub fn from(t: T) -> T

Performs the conversion.

source

impl<T, U> Into for T where
U: From<T>,

source

pub fn into(self) -> U

Performs the conversion.

source

impl<T> Prop for T where
T: 'static + Clone,

source

fn double_neg(self) -> Dneg<Self>

Get double negation rule from proof.

source

fn map_any<T>(self) -> Imply<T, Self>

Maps anything into itself.

source

impl<T> ToOwned for T where
T: Clone,

type Owned = T

The resulting type after obtaining ownership.

source

pub fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

source

pub fn clone_into(&self, target: &mut T)

🔬 This is a nightly-only experimental API. (toowned_clone_into)

Uses borrowed data to replace owned data, usually by cloning. Read more

source

impl<T, U> TryFrom for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

source

pub fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source

impl<T, U> TryInto for T where
U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

source

pub fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

source

impl<T, U> Lt<S> for T where
T: Lt,

source

impl<U, T> NonUniform for T where
T: Avatar<U, Out = U>,

source

Struct prop::avatar_extensions::Inv

Implementations

impl<T> Inv<Inv<T>>

pub fn rev_double(self) -> T

pub fn double(a: T) -> Self

impl<T, U> Inv<AntiMul<Inv<Inv<T>>, Inv<Inv<U>>>>

pub fn rev_double(self) -> Inv<AntiMul<T, U>>

Trait Implementations

impl<T> Avatar<Inv<T>> for Inv<T>

type Out = T

fn inv(self) -> T

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

fn inv(self) -> Inv<T>

impl<T: Clone> Clone for Inv<T>

fn clone(&self) -> Inv<T>

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

impl<T: Prop, U: Prop> Contravariant<Inv<T>, Inv<U>> for Imply<Inv<T>, Inv<U>>

type Out = Inv<Imply<Inv<Inv<U>>, Inv<Inv<T>>>>

fn contra(self) -> Self::Out

impl<T, U> Contravariant<Inv<T>, Inv<U>> for AntiMul<Inv<T>, Inv<U>>

type Out = Inv<AntiMul<Inv<Inv<U>>, Inv<Inv<T>>>>

fn contra(self) -> Self::Out

impl<T: Prop, U: Prop> Contravariant<T, U> for Inv<Imply<T, U>>

type Out = Imply<Inv<U>, Inv<T>>

fn contra(self) -> Self::Out

impl<T, U> Contravariant<T, U> for Inv<AntiMul<T, U>>

type Out = AntiMul<Inv<U>, Inv<T>>

fn contra(self) -> Self::Out

impl<T: Product<U, V>, U, V> Product<U, V> for Inv<T>

fn mul(a: U, b: V) -> Self

Auto Trait Implementations

impl<T> RefUnwindSafe for Inv<T> where T: RefUnwindSafe,

impl<T> Send for Inv<T> where T: Send,

impl<T> Sync for Inv<T> where T: Sync,

impl<T> Unpin for Inv<T> where T: Unpin,

impl<T> UnwindSafe for Inv<T> where T: UnwindSafe,

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized,

pub fn type_id(&self) -> TypeId

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

pub fn inv(Self) -> Inv<T>

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

pub fn inv(Self) -> Inv<T>

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

pub fn inv(Self) -> Inv<T>

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

pub fn inv(Self) -> Inv<T>

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

pub fn inv(Self) -> Inv<T>

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

pub fn inv(Self) -> Inv<T>

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

pub fn inv(Self) -> Inv<T>

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

pub fn inv(Self) -> Inv<T>

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

pub fn inv(Self) -> Inv<T>

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

pub fn inv(Self) -> Inv<T>

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

pub fn inv(Self) -> Inv<T>

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

pub fn inv(Self) -> Inv<T>

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

pub fn inv(Self) -> Inv<T>

impl<T> Avatar<Inv<T>> for T

impl<T> RefUnwindSafe for Inv<T> where
T: RefUnwindSafe,

impl<T> Send for Inv<T> where
T: Send,

impl<T> Sync for Inv<T> where
T: Sync,

impl<T> Unpin for Inv<T> where
T: Unpin,

impl<T> UnwindSafe for Inv<T> where
T: UnwindSafe,

impl<T> Any for T where
T: 'static + ?Sized,

impl<T> Borrow<T> for T where
T: ?Sized,

impl<T> BorrowMut<T> for T where
T: ?Sized,