Hierarchy For Package org.aya.tyck.error

Package Hierarchies:

• All Packages

Interface Hierarchy

• org.aya.util.reporter.Problem
  • org.aya.generic.ExprProblem
    • org.aya.tyck.error.CubicalError (also extends org.aya.tyck.error.TyckError)
  • org.aya.tyck.error.HoleProblem
  • org.aya.tyck.error.LicitError
  • org.aya.tyck.error.TyckError
    • org.aya.tyck.error.CubicalError (also extends org.aya.generic.ExprProblem)
    • org.aya.tyck.error.FieldError
    • org.aya.tyck.error.PrimError
    • org.aya.tyck.error.TupleError
    • org.aya.tyck.error.TyckOrderError
    • org.aya.tyck.error.UnifyError

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • org.aya.tyck.error.BadTypeError (implements org.aya.generic.ExprProblem, org.aya.tyck.error.TyckError)
    • org.aya.tyck.error.CounterexampleError (implements org.aya.tyck.error.TyckError)
    • org.aya.tyck.error.CubicalError.BoundaryDisagree (implements org.aya.tyck.error.CubicalError, org.aya.tyck.error.UnifyError)
    • org.aya.tyck.error.CubicalError.CoeVaryingType (implements org.aya.tyck.error.CubicalError)
    • org.aya.tyck.error.CubicalError.FaceMismatch (implements org.aya.tyck.error.CubicalError)
    • org.aya.tyck.error.FieldError.ArgMismatch (implements org.aya.tyck.error.FieldError)
    • org.aya.tyck.error.FieldError.MissingField (implements org.aya.tyck.error.FieldError)
    • org.aya.tyck.error.FieldError.NoSuchField (implements org.aya.tyck.error.FieldError)
    • org.aya.tyck.error.FieldError.UnknownField (implements org.aya.tyck.error.FieldError)
    • org.aya.tyck.error.Goal (implements org.aya.util.reporter.Problem)
    • org.aya.tyck.error.HoleProblem.BadlyScopedError (implements org.aya.tyck.error.HoleProblem)
    • org.aya.tyck.error.HoleProblem.BadSpineError (implements org.aya.tyck.error.HoleProblem)
    • org.aya.tyck.error.HoleProblem.CannotFindGeneralSolution (implements org.aya.util.reporter.Problem)
    • org.aya.tyck.error.HoleProblem.RecursionError (implements org.aya.tyck.error.HoleProblem)
    • org.aya.tyck.error.LevelError (implements org.aya.tyck.error.TyckError)
    • org.aya.tyck.error.LicitError.LicitMismatch (implements org.aya.generic.ExprProblem, org.aya.tyck.error.LicitError)
    • org.aya.tyck.error.LicitError.UnexpectedImplicitArg (implements org.aya.tyck.error.LicitError)
    • org.aya.tyck.error.NobodyError (implements org.aya.tyck.error.TyckError)
    • org.aya.tyck.error.NoRuleError (implements org.aya.generic.ExprProblem, org.aya.tyck.error.TyckError)
    • org.aya.tyck.error.PrimError.BadInterval (implements org.aya.tyck.error.TyckError)
    • org.aya.tyck.error.PrimError.NoResultType (implements org.aya.tyck.error.PrimError)
    • org.aya.tyck.error.SortPiError (implements org.aya.util.reporter.Problem)
    • org.aya.tyck.error.TupleError.ElemMismatchError (implements org.aya.tyck.error.TupleError)
    • org.aya.tyck.error.TupleError.ProjIxError (implements org.aya.generic.ExprProblem, org.aya.tyck.error.TupleError)
    • org.aya.tyck.error.TyckOrderError.CircularSignature (implements org.aya.tyck.error.TyckOrderError)
    • org.aya.tyck.error.TyckOrderError.NotYetTyckedError (implements org.aya.tyck.error.TyckOrderError)
    • org.aya.tyck.error.TyckOrderError.SelfReference (implements org.aya.tyck.error.TyckOrderError)
    • org.aya.tyck.error.UnifyError.Type (implements org.aya.generic.ExprProblem, org.aya.tyck.error.UnifyError)