| DecodingError |
An error that occurred during decoding of a term
|
| Error_ |
An error of any kind, with kernel errors particularly differentiated
|
| Error_.Checking |
A type checking error
|
| Error_.Decoding |
An error that occurred during decoding of a term
|
| Error_.DuplicateBinding |
A duplicate binding name error
|
| Error_.DuplicateField |
A duplicate field name error
|
| Error_.Other |
Any other error
|
| Error_.UndefinedField |
A reference to an undefined field
|
| Error_.UndefinedTermVariable |
A reference to an undefined term variable
|
| Error_.UnexpectedTermVariant |
An unexpected term variant
|
| Error_.UnexpectedTypeVariant |
An unexpected type variant
|
| Error_.Unification |
A type unification error
|
| Error_.UntypedTermVariable |
A term variable whose type is not known
|
| OtherError |
Any other error
|
| UnificationError |
An error that occurred during type unification
|