Hierarchy For Package org.aya.tyck.error

Package Hierarchies:

• All Packages

Interface Hierarchy

• org.aya.util.reporter.Problem
  • org.aya.tyck.error.ClausesProblem
  • org.aya.tyck.error.HoleProblem
  • org.aya.tyck.error.PatternProblem
  • org.aya.tyck.error.SourceNodeProblem
    • org.aya.tyck.error.LicitError (also extends org.aya.tyck.error.TyckError)
  • org.aya.tyck.error.TyckError
    • org.aya.tyck.error.CubicalError
    • org.aya.tyck.error.LicitError (also extends org.aya.tyck.error.SourceNodeProblem)
    • 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.BadExprError (implements org.aya.tyck.error.TyckError)
    • org.aya.tyck.error.BadTypeError (implements org.aya.tyck.error.SourceNodeProblem, org.aya.tyck.tycker.Stateful, org.aya.tyck.error.TyckError)
    • org.aya.tyck.error.ClausesProblem.Conditions (implements org.aya.tyck.error.ClausesProblem)
    • org.aya.tyck.error.ClausesProblem.Confluence (implements org.aya.tyck.error.ClausesProblem)
    • org.aya.tyck.error.ClausesProblem.Domination (implements org.aya.tyck.error.ClausesProblem)
    • org.aya.tyck.error.ClausesProblem.FMDomination (implements org.aya.tyck.error.ClausesProblem)
    • org.aya.tyck.error.ClausesProblem.MissingCase (implements org.aya.tyck.error.ClausesProblem)
    • org.aya.tyck.error.ClausesProblem.UnsureCase (implements org.aya.tyck.error.ClausesProblem)
    • org.aya.tyck.error.CubicalError.BoundaryDisagree (implements org.aya.tyck.error.CubicalError, org.aya.tyck.error.SourceNodeProblem)
    • org.aya.tyck.error.CubicalError.PathConDominateError (implements org.aya.tyck.error.TyckError)
    • org.aya.tyck.error.Goal (implements org.aya.util.reporter.Problem, org.aya.tyck.tycker.Stateful)
    • 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.IllTypedError (implements org.aya.tyck.error.HoleProblem, org.aya.tyck.tycker.Stateful)
    • 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.BadImplicitArg (implements org.aya.tyck.error.LicitError)
    • org.aya.tyck.error.LicitError.BadNamedArg (implements org.aya.tyck.error.LicitError)
    • org.aya.tyck.error.LicitError.ImplicitLam (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.tyck.error.TyckError)
    • org.aya.tyck.error.PatternProblem.BadLitPattern (implements org.aya.tyck.error.PatternProblem)
    • org.aya.tyck.error.PatternProblem.BlockedEval (implements org.aya.tyck.error.PatternProblem)
    • org.aya.tyck.error.PatternProblem.InsufficientPattern (implements org.aya.tyck.error.PatternProblem)
    • org.aya.tyck.error.PatternProblem.InvalidEmptyBody (implements org.aya.util.reporter.Problem)
    • org.aya.tyck.error.PatternProblem.PossiblePat (implements org.aya.tyck.error.PatternProblem)
    • org.aya.tyck.error.PatternProblem.SplittingOnNonData (implements org.aya.tyck.error.PatternProblem)
    • org.aya.tyck.error.PatternProblem.TooManyImplicitPattern (implements org.aya.tyck.error.PatternProblem)
    • org.aya.tyck.error.PatternProblem.TooManyPattern (implements org.aya.tyck.error.PatternProblem)
    • org.aya.tyck.error.PatternProblem.TupleNonSig (implements org.aya.tyck.error.PatternProblem)
    • org.aya.tyck.error.PatternProblem.UnavailableCon (implements org.aya.tyck.error.PatternProblem)
    • org.aya.tyck.error.PatternProblem.UnknownCon (implements org.aya.tyck.error.PatternProblem)
    • org.aya.tyck.error.PrimError.BadInterval (implements org.aya.tyck.error.PrimError)
    • org.aya.tyck.error.PrimError.BadSignature (implements org.aya.tyck.error.PrimError)
    • org.aya.tyck.error.PrimError.NoResultType (implements org.aya.tyck.error.PrimError)
    • org.aya.tyck.error.TupleError.ElemMismatchError (implements org.aya.tyck.error.TupleError)
    • org.aya.tyck.error.TupleError.ProjIxError (implements org.aya.tyck.error.TupleError)
    • org.aya.tyck.error.TyckOrderError.CircularSignature (implements org.aya.tyck.error.TyckOrderError)
    • org.aya.tyck.error.TyckOrderError.SelfReference (implements org.aya.tyck.error.TyckOrderError)
    • org.aya.tyck.error.UnifyError.ConReturn (implements org.aya.tyck.error.UnifyError)
    • org.aya.tyck.error.UnifyError.PiDom (implements org.aya.tyck.error.UnifyError)
    • org.aya.tyck.error.UnifyError.Type (implements org.aya.tyck.error.UnifyError)
    • org.aya.tyck.error.UnifyInfo (implements org.aya.tyck.tycker.Stateful)
    • org.aya.tyck.error.UnifyInfo.Comparison