JavaScript is disabled on your browser.
Skip navigation links
Module
Package
Class
Tree
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.ctx
org.aya.tyck.order
org.aya.tyck.pat
org.aya.tyck.tycker
All Classes and Interfaces
Interfaces
Record Classes
Class
Description
BadExprError
BadTypeError
ClausesProblem
ClausesProblem.Conditions
ClausesProblem.Confluence
ClausesProblem.Domination
ClausesProblem.FMDomination
ClausesProblem.MissingCase
ClausesProblem.UnsureCase
CubicalError
CubicalError.BoundaryDisagree
CubicalError.PathConDominateError
Goal
HoleProblem
HoleProblem.BadlyScopedError
HoleProblem.BadSpineError
HoleProblem.CannotFindGeneralSolution
HoleProblem.IllTypedError
HoleProblem.RecursionError
LevelError
LicitError
LicitError.BadImplicitArg
LicitError.BadNamedArg
LicitError.ImplicitLam
NobodyError
NoRuleError
PatternProblem
PatternProblem.BadLitPattern
PatternProblem.BlockedEval
PatternProblem.InsufficientPattern
PatternProblem.InvalidEmptyBody
PatternProblem.PossiblePat
PatternProblem.SplittingOnNonData
PatternProblem.TooManyImplicitPattern
PatternProblem.TooManyPattern
PatternProblem.TupleNonSig
PatternProblem.UnavailableCon
PatternProblem.UnknownCon
PrimError
PrimError.BadInterval
PrimError.BadSignature
PrimError.NoResultType
SourceNodeProblem
TupleError
TupleError.ElemMismatchError
TupleError.ProjIxError
TyckError
TyckOrderError
TyckOrderError.CircularSignature
TyckOrderError.SelfReference
UnifyError
UnifyError.ConReturn
UnifyError.PiDom
UnifyError.Type
UnifyInfo
UnifyInfo.Comparison