JavaScript is disabled on your browser.
Skip navigation links
Module
Package
Class
Tree
Deprecated
Index
Help
Package:
Description
Related Packages
Classes and Interfaces
Package:
Description |
Related Packages
|
Classes and Interfaces
SEARCH
Module
aya.base
Package org.aya.tyck.error
package
org.aya.tyck.error
Related Packages
Package
Description
org.aya.tyck
org.aya.tyck.env
org.aya.tyck.order
org.aya.tyck.pat
org.aya.tyck.trace
org.aya.tyck.unify
All Classes and Interfaces
Interfaces
Record Classes
Class
Description
BadTypeError
CounterexampleError
CubicalError
CubicalError.BoundaryDisagree
CubicalError.CoeVaryingType
CubicalError.FaceMismatch
FieldError
FieldError.ArgMismatch
FieldError.MissingField
FieldError.NoSuchField
FieldError.UnknownField
Goal
HoleProblem
HoleProblem.BadlyScopedError
HoleProblem.BadSpineError
HoleProblem.CannotFindGeneralSolution
HoleProblem.RecursionError
LevelError
LicitError
LicitError.LicitMismatch
LicitError.UnexpectedImplicitArg
NobodyError
NoRuleError
PrimError
PrimError.BadInterval
PrimError.NoResultType
SortPiError
TupleError
TupleError.ElemMismatchError
TupleError.ProjIxError
TyckError
TyckOrderError
TyckOrderError.CircularSignature
TyckOrderError.NotYetTyckedError
TyckOrderError.SelfReference
UnifyError
UnifyError.Type