Enum gluon_check::unify::Error

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

Variants

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

Trait Implementations

impl<T: Debug + Substitutable, E: Debug> Debug for Error<T, E> where T::Variable: Debug

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

Formats the value using the given formatter.

impl<T: PartialEq + Substitutable, E: PartialEq> PartialEq for Error<T, E> where T::Variable: PartialEq

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<T, E> Display for Error<T, E> where T: Substitutable + Display,
        T::Variable: Display,
        E: Display

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

Formats the value using the given formatter.