模块 aya.base

程序包 org.aya.tyck.error

package org.aya.tyck.error

Related Packages

程序包	说明
org.aya.tyck
org.aya.tyck.env
org.aya.tyck.order
org.aya.tyck.pat
org.aya.tyck.trace
org.aya.tyck.unify

类	说明
AmbiguousLitError
BadLiteralPatternError
BadTypeError
CounterexampleError
CubicalProblem
CubicalProblem.BoundaryDisagree
CubicalProblem.DimensionMismatch
CubicalProblem.FaceMismatch
FieldProblem
FieldProblem.ArgMismatchError
FieldProblem.MissingFieldError
FieldProblem.NoSuchFieldError
FieldProblem.UnknownField
Goal
HoleProblem
HoleProblem.BadlyScopedError
HoleProblem.BadSpineError
HoleProblem.CannotFindGeneralSolution
HoleProblem.RecursionError
LevelError
LicitProblem
LicitProblem.LicitMismatchError
LicitProblem.UnexpectedImplicitArgError
NobodyError
NoRuleError
NotAnIntervalError
NotYetTyckedError
PrimProblem
PrimProblem.NoResultTypeError
ProjIxError
TupleProblem
TupleProblem.ElemMismatchError
TyckOrderProblem
TyckOrderProblem.CircularSignatureError
TyckOrderProblem.SelfReferenceError
UnifyError
UnifyError.Type