Enum gluon_check::unify::Error

pub enum Error<T, E> {
    TypeMismatch(T, T),
    Occurs(T, T),
    Other(E),
}

Variants

TypeMismatch(T, T)Occurs(T, T)Other(E)

Trait Implementations

impl<T: Debug, E: Debug> Debug for Error<T, E>

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<T: PartialEq, E: PartialEq> PartialEq for Error<T, E>

fn eq(&self, __arg_0: &Error<T, E>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &Error<T, E>) -> bool

This method tests for !=.

impl<I, T, E> Display for Error<T, E> where
    I: AsRef<str>,
    T: Display + Deref<Target = Type<I, T>>,
    E: Display, 

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.