模块 aya.base

程序包 org.aya.tyck.error

package org.aya.tyck.error

相关程序包

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

类	说明
BadTypeError
CounterexampleError
CubicalError
CubicalError.BoundaryDisagree
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
LiteralError
LiteralError.AmbiguousLit
LiteralError.BadLitPattern
NobodyError
NoRuleError
PrimError
PrimError.BadInterval
PrimError.NoResultType
SortPiError
TupleError
TupleError.ElemMismatchError
TupleError.ProjIxError
TyckError
TyckOrderError
TyckOrderError.CircularSignature
TyckOrderError.NotYetTyckedError
TyckOrderError.SelfReference
UnifyError
UnifyError.Type