[][src]Struct gluon_check::substitution::Level

pub struct Level(_);

Trait Implementations

impl Clone for Level[src]

impl Copy for Level[src]

impl Eq for Level[src]

impl Ord for Level[src]

impl PartialEq<Level> for Level[src]

impl PartialOrd<Level> for Level[src]

impl Debug for Level[src]

impl StructuralPartialEq for Level[src]

impl StructuralEq for Level[src]

impl UnifyValue for Level[src]

type Error = NoError

Defines the type to return when merging of two values fails. If merging is infallible, use the special struct NoError found in this crate, which unlocks various more convenient methods on the unification table. Read more

Auto Trait Implementations

impl Send for Level

impl Sync for Level

impl Unpin for Level

impl UnwindSafe for Level

impl RefUnwindSafe for Level

Blanket Implementations

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

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

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

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> Borrow<T> for T where
    T: ?Sized
[src]

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

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

impl<T> UnifyValue for T where
    T: EqUnifyValue
[src]

type Error = (T, T)

Defines the type to return when merging of two values fails. If merging is infallible, use the special struct NoError found in this crate, which unlocks various more convenient methods on the unification table. Read more