Enum gluon_check::unify_type::TypeError

pub enum TypeError<I> {
    UndefinedType(I),
    FieldMismatch(I, I),
    SelfRecursive(I),
    UnableToGeneralize(I),
    MissingFields(ArcType<I>, Vec<I>),
}

Variants

UndefinedType(I)FieldMismatch(I, I)SelfRecursive(I)UnableToGeneralize(I)MissingFields(ArcType<I>, Vec<I>)

Trait Implementations

impl<I: Debug> Debug for TypeError<I>

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

Formats the value using the given formatter.

impl<I: PartialEq> PartialEq for TypeError<I>

fn eq(&self, __arg_0: &TypeError<I>) -> bool

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

fn ne(&self, __arg_0: &TypeError<I>) -> bool

This method tests for !=.

impl From<ResolveError> for TypeError<Symbol>

fn from(error: ResolveError) -> TypeError<Symbol>

Performs the conversion.

impl<I> Display for TypeError<I> where
    I: Display + AsRef<str>, 

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

Formats the value using the given formatter.