Enum syllogism::Distinction[−][src]

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

Expand description

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)`

Tuple Fields

0: S

`Generic(G)`

Tuple Fields

0: G

Auto Trait Implementations

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

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,

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

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

Blanket Implementations

[src]

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

[src]

pub fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

[src]

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

[src]

pub fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

[src]

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

[src]

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

Mutably borrows from an owned value. Read more

[src]

impl<T> From<T> for T

[src]

pub fn from(t: T) -> T

Performs the conversion.

[src]

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

[src]

pub fn into(self) -> U

Performs the conversion.

[src]

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

type Error = Infallible

The type returned in the event of a conversion error.

[src]

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

Performs the conversion.

[src]

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

type Error = >::Error

The type returned in the event of a conversion error.

[src]

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

Performs the conversion.

Enum syllogism::Distinction[−][src]

Variants

`Special(S)`

Tuple Fields

`Generic(G)`

Tuple Fields

Auto Trait Implementations

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

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,

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

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

Blanket Implementations

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

pub fn type_id(&self) -> TypeId

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

pub fn borrow(&self) -> &T

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

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

impl<T> From<T> for T

pub fn from(t: T) -> T

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

pub fn into(self) -> U

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

type Error = Infallible

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

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

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

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

Enum syllogism::Distinction[−][src]

Variants

Special(S)

Tuple Fields

Generic(G)

Tuple Fields

Auto Trait Implementations

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

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,

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

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

Blanket Implementations

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

pub fn type_id(&self) -> TypeId

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

pub fn borrow(&self) -> &T

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

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

impl<T> From<T> for T

pub fn from(t: T) -> T

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

pub fn into(self) -> U

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

type Error = Infallible

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

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

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

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

`Special(S)`

`Generic(G)`

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

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,

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

impl<S, G> UnwindSafe for Distinction<S, G> where
G: UnwindSafe,
S: 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,

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

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

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