Enum gluon_check::substitution::Error

pub enum Error<T> {
    Occurs(T, T),
    Constraint(T, Arc<Vec<T>>),
}

Variants

Occurs(T, T)Constraint(T, Arc<Vec<T>>)

Trait Implementations

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

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

Formats the value using the given formatter.

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

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

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

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

This method tests for !=.

impl<T> Display for Error<T> where
    T: Display,
    T: for<'a> ToDoc<'a, Arena<'a>, ()>, 

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

Formats the value using the given formatter.