Struct prop::path_semantics::POrdProof [−][src]
pub struct POrdProof<T, U>(_);
Proof of path semantical order.
Implementations
impl<T, U> POrdProof<T, U>
[src]
impl<T, U> POrdProof<T, U>
[src]pub fn transitivity<V>(self, _: POrdProof<U, V>) -> POrdProof<T, V>
[src]
pub fn transitivity<V>(self, _: POrdProof<U, V>) -> POrdProof<T, V>
[src]Transivity of path semantical order.
pub fn by_eq_left<V>(self, eq: Eq<T, V>) -> POrdProof<V, U>
[src]
pub fn by_eq_left<V>(self, eq: Eq<T, V>) -> POrdProof<V, U>
[src]Transform left argument by equivalence.
pub fn by_eq_right<V>(self, eq: Eq<U, V>) -> POrdProof<T, V>
[src]
pub fn by_eq_right<V>(self, eq: Eq<U, V>) -> POrdProof<T, V>
[src]Transform right argument by equivalence.
pub fn by_imply_left<V>(self, _: Imply<V, T>) -> POrdProof<V, U>
[src]
pub fn by_imply_left<V>(self, _: Imply<V, T>) -> POrdProof<V, U>
[src]Transform left argument by implication.
pub fn by_imply_right<V>(self, _: Imply<U, V>) -> POrdProof<T, V>
[src]
pub fn by_imply_right<V>(self, _: Imply<U, V>) -> POrdProof<T, V>
[src]Transform right argument by implication.
Trait Implementations
impl<T: Copy, U: Copy> Copy for POrdProof<T, U>
[src]
Auto Trait Implementations
impl<T, U> RefUnwindSafe for POrdProof<T, U> where
T: RefUnwindSafe,
U: RefUnwindSafe,
T: RefUnwindSafe,
U: RefUnwindSafe,
impl<T, U> Send for POrdProof<T, U> where
T: Send,
U: Send,
T: Send,
U: Send,
impl<T, U> Sync for POrdProof<T, U> where
T: Sync,
U: Sync,
T: Sync,
U: Sync,
impl<T, U> Unpin for POrdProof<T, U> where
T: Unpin,
U: Unpin,
T: Unpin,
U: Unpin,
impl<T, U> UnwindSafe for POrdProof<T, U> where
T: UnwindSafe,
U: UnwindSafe,
T: UnwindSafe,
U: UnwindSafe,
Blanket Implementations
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]pub fn borrow_mut(&mut self) -> &mut T
[src]
pub fn borrow_mut(&mut self) -> &mut T
[src]Mutably borrows from an owned value. Read more
impl<T> ToOwned for T where
T: Clone,
[src]
impl<T> ToOwned for T where
T: Clone,
[src]type Owned = T
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn to_owned(&self) -> T
[src]Creates owned data from borrowed data, usually by cloning. Read more
pub fn clone_into(&self, target: &mut T)
[src]
pub fn clone_into(&self, target: &mut T)
[src]🔬 This is a nightly-only experimental API. (toowned_clone_into
)
recently added
Uses borrowed data to replace owned data, usually by cloning. Read more
impl<T> DProp for T where
T: Decidable,
[src]
T: Decidable,
impl<T, U> Lt<S<U>> for T where
T: Lt<U>,
[src]
T: Lt<U>,