[−][src]Enum syllogism::Distinction

pub enum Distinction<S, G> {
    Special(S),
    Generic(G),
}

An enum that allows to distinguish between the special case and the generic case.

To be used together with the Specialize trait. See the documentation of the Specialize trait for more information.

Variants

Special(S)Generic(G)

Auto Trait Implementations

impl<S, G> Send for Distinction<S, G> where
    G: Send,
    S: Send, 

impl<S, G> Sync for Distinction<S, G> where
    G: Sync,
    S: Sync, 

Blanket Implementations

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

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