| 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_.Extraction |
An error that occurred while extracting a value from a term
|
| Error_.Inference |
A type inference error
|
| Error_.InvalidLiteral |
A literal value validation error
|
| Error_.Other |
Any other error
|
| Error_.Resolution |
A name-resolution 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
|
| ExtractionError |
An error that occurred while extracting a typed value from a term
|
| ExtractionError.EmptyList |
An empty list was encountered where a non-empty list was required
|
| ExtractionError.MultipleBindings |
Multiple let bindings were found with the same name
|
| ExtractionError.MultipleFields |
Multiple record fields were found with the same field name
|
| ExtractionError.NoMatchingField |
No field with the expected name was found in a record
|
| ExtractionError.NoSuchBinding |
No let binding with the expected name was found
|
| ExtractionError.NotEnoughCases |
A case statement did not contain enough cases to match the target
|
| ExtractionError.UnexpectedShape |
A term, type, literal, or other value had an unexpected shape
|
| InferenceError |
An error that occurred during type inference
|
| InferenceError.Checking |
A type checking error encountered during inference
|
| InferenceError.Other |
A generic inference error carrying a message and a subterm path.
|
| InferenceError.Unification |
A unification failure encountered while inferring types
|
| MultipleBindingsError |
Multiple let bindings with the same name were found
|
| MultipleFieldsError |
Multiple fields with the same name were found in a record
|
| NoMatchingFieldError |
No field with the expected name was present
|
| NoSuchBindingError |
No let binding with the expected name was present
|
| NoSuchPrimitiveError |
No primitive function with the expected name was registered in the graph
|
| OtherError |
Any other error
|
| OtherInferenceError |
A generic inference error: message + subterm path
|
| OtherResolutionError |
A generic resolution error: message
|
| ResolutionError |
An error that occurred while resolving a name, primitive, or record/union shape in a graph
|
| ResolutionError.NoMatchingField |
No field with the expected name was present in a record or case statement
|
| ResolutionError.NoSuchBinding |
No binding with the expected name was found in the graph
|
| ResolutionError.NoSuchPrimitive |
No primitive function with the expected name was found in the graph
|
| ResolutionError.Other |
A generic resolution error carrying a message
|
| ResolutionError.UnexpectedShape |
A term had a shape other than the one expected (e.g.
|
| UnexpectedShapeError |
A term, type, literal, or related value had a shape other than the one expected
|
| UnificationError |
An error that occurred during type unification
|
| UnificationInferenceError |
A unification failure at a specific subterm locus during inference
|