Hierarchy For All Packages

Package Hierarchies:

• org.aya.normalize,
• org.aya.normalize.error,
• org.aya.prelude,
• org.aya.primitive,
• org.aya.resolve,
• org.aya.resolve.context,
• org.aya.resolve.error,
• org.aya.resolve.module,
• org.aya.resolve.salt,
• org.aya.resolve.visitor,
• org.aya.terck,
• org.aya.tyck,
• org.aya.tyck.ctx,
• org.aya.tyck.error,
• org.aya.tyck.order,
• org.aya.tyck.pat,
• org.aya.tyck.tycker,
• org.aya.unify

Class Hierarchy

• java.lang.Object
  • org.aya.tyck.tycker.AbstractTycker (implements org.aya.tyck.tycker.Contextful, org.aya.tyck.tycker.Problematic, org.aya.tyck.tycker.Stateful)
    • org.aya.tyck.ExprTycker (implements org.aya.tyck.tycker.Unifiable)
    • org.aya.unify.TermComparator
      • org.aya.unify.Unifier
  • org.aya.util.binop.BinOpParser<OpSet,Expr,Elm>
    • org.aya.resolve.salt.ExprBinParser
    • org.aya.resolve.salt.PatternBinParser (implements org.aya.tyck.tycker.Problematic)
  • org.aya.util.binop.BinOpSet
    • org.aya.resolve.salt.AyaBinOpSet (implements org.aya.tyck.tycker.Problematic)
  • org.aya.resolve.module.CachedModuleLoader<ML> (implements org.aya.resolve.module.ModuleLoader)
  • org.aya.resolve.module.DumbModuleLoader (implements org.aya.resolve.module.ModuleLoader)
  • org.aya.prelude.GeneratedVersion
  • org.aya.normalize.Normalizer (implements java.util.function.UnaryOperator<T>)
  • org.aya.resolve.visitor.PatternResolver (implements org.aya.util.error.PosedUnaryOperator<T>)
  • org.aya.tyck.pat.PatternTycker (implements org.aya.tyck.tycker.Problematic, org.aya.tyck.tycker.Stateful)
  • org.aya.resolve.context.PhysicalModuleContext (implements org.aya.resolve.context.ModuleContext)
  • org.aya.primitive.PrimFactory
  • org.aya.primitive.ShapeFactory
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • org.aya.tyck.ExprTycker.NotPi
      • java.lang.RuntimeException
        • org.aya.generic.InterruptException
          • org.aya.tyck.order.AyaSccTycker.SCCTyckingFailed
          • org.aya.resolve.context.Context.ResolvingInterruptedException
    • org.aya.normalize.PatMatcher.Failure

Interface Hierarchy

• org.aya.tyck.tycker.AppTycker
• java.util.function.BiFunction<T,U,R>
  • kala.function.CheckedBiFunction<T,U,R,Ex>
    • org.aya.tyck.tycker.AppTycker.Factory<Ex>
  • org.aya.primitive.PrimFactory.Unfolder
• org.aya.tyck.tycker.Contextful
  • org.aya.tyck.tycker.TeleTycker
    • org.aya.tyck.tycker.TeleTycker.Impl
• org.aya.normalize.Finalizer
• org.aya.tyck.Jdg
• org.aya.resolve.module.ModuleCallback<E>
• org.aya.util.reporter.Problem
  • org.aya.tyck.error.ClausesProblem
  • org.aya.tyck.error.HoleProblem
  • org.aya.resolve.error.NameProblem
    • org.aya.resolve.error.NameProblem.Error
    • org.aya.resolve.error.NameProblem.Warn
  • org.aya.resolve.error.OperatorError
  • org.aya.tyck.error.PatternProblem
  • org.aya.resolve.error.PrimResolveError
  • 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
• org.aya.tyck.tycker.Problematic
  • org.aya.resolve.context.Context
    • org.aya.resolve.context.ModuleContext
  • org.aya.resolve.module.ModuleLoader
  • org.aya.tyck.tycker.Unifiable (also extends org.aya.tyck.tycker.Stateful)
• org.aya.resolve.ResolvingStmt
  • org.aya.resolve.ResolvingStmt.ResolvingDecl
• org.aya.tyck.tycker.Stateful
  • org.aya.tyck.tycker.Unifiable (also extends org.aya.tyck.tycker.Problematic)
• org.aya.resolve.visitor.StmtResolver

Enum Class Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • org.aya.resolve.visitor.ExprResolver.Where
    • org.aya.resolve.context.ModuleSymbol.Error
    • org.aya.normalize.PatMatcher.State
    • org.aya.primitive.ShapeMatcher.MatchMode

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • org.aya.tyck.order.AyaOrgaTycker (implements org.aya.util.tyck.OrgaTycker<T,E>)
    • org.aya.tyck.order.AyaSccTycker (implements org.aya.tyck.tycker.Problematic, org.aya.util.tyck.SCCTycker<T,E>)
    • org.aya.tyck.error.BadExprError (implements org.aya.tyck.error.TyckError)
    • org.aya.terck.BadRecursion (implements org.aya.util.reporter.Problem)
    • org.aya.tyck.error.BadTypeError (implements org.aya.tyck.error.SourceNodeProblem, org.aya.tyck.tycker.Stateful, org.aya.tyck.error.TyckError)
    • org.aya.resolve.context.BindContext (implements org.aya.resolve.context.Context)
    • org.aya.tyck.pat.BindEater (implements java.util.function.UnaryOperator<T>)
    • org.aya.terck.CallResolver (implements java.util.function.Consumer<T>, org.aya.tyck.tycker.Stateful)
    • 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.pat.ClauseTycker (implements org.aya.tyck.tycker.Problematic, org.aya.tyck.tycker.Stateful)
    • org.aya.tyck.pat.ClauseTycker.LhsResult
    • org.aya.tyck.pat.ClauseTycker.TyckResult
    • org.aya.tyck.pat.ClauseTycker.Worker
    • 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.resolve.salt.Desalt (implements org.aya.util.error.PosedUnaryOperator<T>)
    • org.aya.unify.DoubleChecker (implements org.aya.tyck.tycker.Contextful, org.aya.tyck.tycker.Problematic, org.aya.tyck.tycker.Stateful)
    • org.aya.resolve.context.EmptyContext (implements org.aya.resolve.context.Context)
    • org.aya.resolve.visitor.ExprResolver (implements org.aya.util.error.PosedUnaryOperator<T>)
    • org.aya.resolve.visitor.ExprResolver.Options
    • org.aya.resolve.module.FileModuleLoader (implements org.aya.resolve.module.ModuleLoader)
    • org.aya.normalize.Finalizer.Freeze (implements org.aya.normalize.Finalizer)
    • org.aya.normalize.Finalizer.Zonk<T> (implements org.aya.normalize.Finalizer, org.aya.tyck.tycker.Problematic, org.aya.tyck.tycker.Stateful)
    • org.aya.resolve.error.GeneralizedNotAvailableError (implements org.aya.util.reporter.Problem)
    • 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.pat.IApplyConfl
    • org.aya.tyck.Jdg.Default (implements org.aya.tyck.Jdg)
    • org.aya.tyck.Jdg.Lazy (implements org.aya.tyck.Jdg)
    • org.aya.tyck.Jdg.Sort (implements org.aya.tyck.Jdg)
    • 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.ctx.LocalLet (implements org.aya.util.Scoped<K,V,This>)
    • org.aya.resolve.context.ModuleExport
    • org.aya.resolve.module.ModuleListLoader (implements org.aya.resolve.module.ModuleLoader)
    • org.aya.resolve.context.ModuleSymbol<T>
    • org.aya.resolve.context.ModuleSymbol.UnqualifiedResolve<T>
    • org.aya.resolve.error.NameProblem.AmbiguousNameError (implements org.aya.resolve.error.NameProblem.Error)
    • org.aya.resolve.error.NameProblem.AmbiguousNameWarn (implements org.aya.resolve.error.NameProblem.Warn)
    • org.aya.resolve.error.NameProblem.ClashModNameError (implements org.aya.resolve.error.NameProblem.Error)
    • org.aya.resolve.error.NameProblem.DuplicateExportError (implements org.aya.resolve.error.NameProblem)
    • org.aya.resolve.error.NameProblem.DuplicateModNameError (implements org.aya.resolve.error.NameProblem.Error)
    • org.aya.resolve.error.NameProblem.DuplicateNameError (implements org.aya.resolve.error.NameProblem.Error)
    • org.aya.resolve.error.NameProblem.ModNameNotFoundError (implements org.aya.resolve.error.NameProblem.Error)
    • org.aya.resolve.error.NameProblem.ModNotFoundError (implements org.aya.resolve.error.NameProblem.Error)
    • org.aya.resolve.error.NameProblem.ModShadowingWarn (implements org.aya.resolve.error.NameProblem.Warn)
    • org.aya.resolve.error.NameProblem.OperatorNameNotFound (implements org.aya.resolve.error.NameProblem.Error)
    • org.aya.resolve.error.NameProblem.QualifiedNameNotFoundError (implements org.aya.resolve.error.NameProblem.Error)
    • org.aya.resolve.error.NameProblem.ShadowingWarn (implements org.aya.resolve.error.NameProblem.Warn)
    • org.aya.resolve.error.NameProblem.UnqualifiedNameNotFoundError (implements org.aya.resolve.error.NameProblem.Error)
    • org.aya.tyck.error.NobodyError (implements org.aya.tyck.error.TyckError)
    • org.aya.resolve.context.NoExportContext (implements org.aya.resolve.context.ModuleContext)
    • org.aya.tyck.error.NoRuleError (implements org.aya.tyck.error.TyckError)
    • org.aya.resolve.error.OperatorError.Circular (implements org.aya.resolve.error.OperatorError)
    • org.aya.resolve.error.OperatorError.Fixity (implements org.aya.resolve.error.OperatorError)
    • org.aya.resolve.error.OperatorError.MissingOperand (implements org.aya.resolve.error.OperatorError)
    • org.aya.resolve.error.OperatorError.Precedence (implements org.aya.resolve.error.OperatorError)
    • org.aya.resolve.error.OperatorError.SelfBind (implements org.aya.resolve.error.OperatorError)
    • org.aya.tyck.pat.PatClassifier (implements org.aya.util.tyck.pat.ClassifierUtil<Subst,Term,Param,Pat>, org.aya.tyck.tycker.Problematic, org.aya.tyck.tycker.Stateful)
    • org.aya.normalize.PatMatcher
    • 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.pat.PatternTycker.TyckResult
    • 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.primitive.PrimFactory.PrimSeed
    • org.aya.resolve.error.PrimResolveError.Dependency (implements org.aya.resolve.error.PrimResolveError)
    • org.aya.resolve.error.PrimResolveError.Redefinition (implements org.aya.resolve.error.PrimResolveError)
    • org.aya.resolve.error.PrimResolveError.UnknownPrim (implements org.aya.resolve.error.PrimResolveError)
    • org.aya.resolve.ResolveInfo
    • org.aya.resolve.ResolveInfo.ImportInfo
    • org.aya.resolve.ResolveInfo.OpRenameInfo
    • org.aya.resolve.ResolveInfo.RenamedOpDecl (implements org.aya.util.binop.OpDecl)
    • org.aya.resolve.ResolvingStmt.GenStmt (implements org.aya.resolve.ResolvingStmt)
    • org.aya.resolve.ResolvingStmt.MiscDecl (implements org.aya.resolve.ResolvingStmt.ResolvingDecl)
    • org.aya.resolve.ResolvingStmt.ModStmt (implements org.aya.resolve.ResolvingStmt)
    • org.aya.resolve.ResolvingStmt.TopDecl (implements org.aya.resolve.ResolvingStmt.ResolvingDecl)
    • org.aya.primitive.ShapeMatcher
    • org.aya.primitive.ShapeMatcher.Captures (implements org.aya.util.RepoLike<T>)
    • org.aya.resolve.visitor.StmtBinder
    • org.aya.resolve.visitor.StmtPreResolver
    • org.aya.resolve.StmtResolvers
    • org.aya.tyck.StmtTycker (implements org.aya.tyck.tycker.Problematic)
    • org.aya.unify.Synthesizer (implements org.aya.tyck.tycker.Contextful, org.aya.tyck.tycker.Stateful)
    • org.aya.tyck.tycker.TeleTycker.Con (implements org.aya.tyck.tycker.TeleTycker.Impl)
    • org.aya.tyck.tycker.TeleTycker.Default (implements org.aya.tyck.tycker.TeleTycker.Impl)
    • org.aya.unify.TermComparator.FailureData
    • 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.TyckState
    • org.aya.tyck.TyckState.Eqn (implements org.aya.generic.AyaDocile)
    • 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
    • org.aya.normalize.error.UnsolvedLit (implements org.aya.util.reporter.Problem)
    • org.aya.normalize.error.UnsolvedMeta (implements org.aya.util.reporter.Problem)
    • org.aya.tyck.pat.YouTrack