模块 org.aya

程序包 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

类	说明
BadTypeError
CircularSignatureError
CounterexampleError
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
NotYetTyckedError
PrimProblem
PrimProblem.NoResultTypeError
ProjIxError
TupleProblem
TupleProblem.ElemMismatchError
UnifyError