Enum polytype::UnificationError
[−]
[src]
pub enum UnificationError { Occurs(Variable), Failure(Type, Type), }
Errors during unification.
Variants
Occurs(Variable)
Occurs
happens when occurs checks fail (i.e. a type variable is
unified recursively). The id of the bad type variable is supplied.
Failure(Type, Type)
Failure
happens when symbols or type variants don't unify because of
structural differences.
Trait Implementations
impl Debug for UnificationError
[src]
fn fmt(&self, __arg_0: &mut Formatter) -> Result
[src]
Formats the value using the given formatter. Read more
impl Clone for UnificationError
[src]
fn clone(&self) -> UnificationError
[src]
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more
impl PartialEq for UnificationError
[src]
fn eq(&self, __arg_0: &UnificationError) -> bool
[src]
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, __arg_0: &UnificationError) -> bool
[src]
This method tests for !=
.
impl Display for UnificationError
[src]
fn fmt(&self, f: &mut Formatter) -> Result<(), Error>
[src]
Formats the value using the given formatter. Read more