所有程序包的分层结构

程序包分层结构:

• org.aya.concrete,
• org.aya.concrete.desugar,
• org.aya.concrete.error,
• org.aya.concrete.remark,
• org.aya.concrete.stmt,
• org.aya.concrete.visitor,
• org.aya.core,
• org.aya.core.def,
• org.aya.core.ops,
• org.aya.core.pat,
• org.aya.core.serde,
• org.aya.core.term,
• org.aya.core.visitor,
• org.aya.distill,
• org.aya.generic,
• org.aya.generic.ref,
• org.aya.generic.util,
• org.aya.prelude,
• org.aya.ref,
• org.aya.resolve,
• org.aya.resolve.context,
• org.aya.resolve.error,
• org.aya.resolve.module,
• org.aya.resolve.visitor,
• org.aya.terck,
• org.aya.terck.error,
• org.aya.tyck,
• org.aya.tyck.env,
• org.aya.tyck.error,
• org.aya.tyck.order,
• org.aya.tyck.pat,
• org.aya.tyck.trace,
• org.aya.tyck.unify

类分层结构

• java.lang.Object
  • org.aya.generic.util.AyaHome
  • org.aya.distill.BaseDistiller<Term>
    • org.aya.distill.ConcreteDistiller
    • org.aya.distill.CoreDistiller
  • org.aya.util.binop.BinOpParser<OpSet,Expr,Arg>
    • org.aya.concrete.desugar.BinExprParser
    • org.aya.concrete.desugar.BinPatternParser
  • org.aya.util.binop.BinOpSet
    • org.aya.concrete.desugar.AyaBinOpSet
  • org.aya.resolve.module.CachedModuleLoader<ML> (implements org.aya.resolve.module.ModuleLoader)
  • org.aya.concrete.remark.CodeAttrProcessor (implements org.commonmark.parser.delimiter.DelimiterProcessor)
  • org.aya.tyck.unify.DefEq
  • org.aya.ref.DefVar<Core,Concrete> (implements org.aya.ref.Var)
  • org.aya.resolve.module.EmptyModuleLoader (implements org.aya.resolve.module.ModuleLoader)
  • org.aya.concrete.stmt.Generalize (implements org.aya.concrete.stmt.Stmt)
  • org.aya.generic.ref.GeneralizedVar (implements org.aya.ref.Var)
  • org.aya.prelude.GeneratedVersion
  • org.aya.concrete.remark.Literate.Code (implements org.aya.concrete.remark.Literate)
  • org.aya.tyck.trace.MdUnicodeTrace (implements org.aya.tyck.trace.Trace.Visitor<P,R>)
  • org.aya.core.Meta (implements org.aya.ref.Var)
  • org.commonmark.node.Node
    • org.commonmark.node.CustomNode
      • org.aya.concrete.remark.CodeAttrProcessor.Attr (implements org.commonmark.node.Delimited)
  • org.aya.concrete.error.OperatorProblem
  • org.aya.concrete.Pattern.Clause
  • org.aya.core.pat.PatToTerm
  • org.aya.tyck.pat.PatTycker
  • org.aya.resolve.context.PhysicalModuleContext (implements org.aya.resolve.context.ModuleContext)
  • org.aya.core.def.PrimDef.Factory
  • java.lang.Record
    • org.aya.resolve.error.AmbiguousNameError (implements org.aya.resolve.error.ResolveProblem)
    • org.aya.resolve.error.AmbiguousNameWarn (implements org.aya.resolve.error.ResolveProblem)
    • org.aya.generic.Arg<T> (implements org.aya.util.distill.AyaDocile)
    • org.aya.tyck.order.AyaOrgaTycker (implements org.aya.util.tyck.OrgaTycker<T,E>)
    • org.aya.tyck.order.AyaSccTycker (implements org.aya.util.tyck.SCCTycker<T,E>)
    • org.aya.concrete.error.BadCounterexampleWarn (implements org.aya.util.reporter.Problem)
    • org.aya.concrete.error.BadModifierWarn (implements org.aya.util.reporter.Problem)
    • org.aya.tyck.error.BadTypeError (implements org.aya.generic.ExprProblem)
    • org.aya.terck.Behavior<T,P>
    • org.aya.terck.Behavior.Diag<T,P> (implements org.aya.pretty.doc.Docile)
    • org.aya.concrete.stmt.BindBlock
    • org.aya.resolve.context.BindContext (implements org.aya.resolve.context.Context)
    • org.aya.terck.CallGraph<T,P>
    • org.aya.terck.CallMatrix<Def,Param> (implements org.aya.pretty.doc.Docile)
    • org.aya.terck.CallResolver (implements org.aya.core.visitor.DefConsumer<P>)
    • org.aya.core.term.CallTerm.Access (implements org.aya.core.term.CallTerm)
    • org.aya.core.term.CallTerm.Con (implements org.aya.core.term.CallTerm)
    • org.aya.core.term.CallTerm.ConHead
    • org.aya.core.term.CallTerm.Data (implements org.aya.core.term.CallTerm)
    • org.aya.core.term.CallTerm.Fn (implements org.aya.core.term.CallTerm)
    • org.aya.core.term.CallTerm.Hole (implements org.aya.core.term.CallTerm)
    • org.aya.core.term.CallTerm.Prim (implements org.aya.core.term.CallTerm)
    • org.aya.core.term.CallTerm.Struct (implements org.aya.core.term.CallTerm)
    • org.aya.tyck.error.CircularSignatureError (implements org.aya.util.reporter.Problem)
    • org.aya.tyck.pat.ClausesProblem.Conditions (implements org.aya.tyck.pat.ClausesProblem)
    • org.aya.tyck.pat.ClausesProblem.Confluence (implements org.aya.tyck.pat.ClausesProblem)
    • org.aya.tyck.pat.ClausesProblem.Domination (implements org.aya.tyck.pat.ClausesProblem)
    • org.aya.tyck.pat.ClausesProblem.FMDomination (implements org.aya.tyck.pat.ClausesProblem)
    • org.aya.tyck.pat.ClausesProblem.MissingBindCase (implements org.aya.tyck.pat.ClausesProblem)
    • org.aya.tyck.pat.ClausesProblem.MissingCase (implements org.aya.tyck.pat.ClausesProblem)
    • org.aya.tyck.pat.ClausesProblem.SplitInterval (implements org.aya.tyck.pat.ClausesProblem)
    • org.aya.tyck.pat.ClausesProblem.UnsureCase (implements org.aya.tyck.pat.ClausesProblem)
    • org.aya.concrete.remark.CodeOptions
    • org.aya.concrete.stmt.Command.Import (implements org.aya.concrete.stmt.Command)
    • org.aya.concrete.stmt.Command.Module (implements org.aya.concrete.stmt.Command)
    • org.aya.concrete.stmt.Command.Open (implements org.aya.concrete.stmt.Command)
    • org.aya.concrete.stmt.Command.Open.UseHide
    • org.aya.concrete.stmt.Command.Open.UseHideName
    • org.aya.core.serde.CompiledAya (implements java.io.Serializable)
    • org.aya.tyck.pat.Conquer
    • org.aya.tyck.error.CounterexampleError (implements org.aya.util.reporter.Problem)
    • org.aya.core.def.DataDef.CtorTelescopes
    • org.aya.core.def.Def.Signature (implements org.aya.util.distill.AyaDocile)
    • org.aya.tyck.unify.DefEq.FailureData
    • org.aya.tyck.unify.DefEq.Sub (implements java.lang.Cloneable)
    • org.aya.concrete.desugar.Desugarer (implements org.aya.concrete.visitor.StmtOps<P>)
    • org.aya.concrete.desugar.Desugarer.ForExpr (implements org.aya.concrete.visitor.ExprOps)
    • org.aya.resolve.error.DuplicateExportError (implements org.aya.resolve.error.ResolveProblem)
    • org.aya.resolve.error.DuplicateModNameError (implements org.aya.resolve.error.ResolveProblem)
    • org.aya.resolve.error.DuplicateNameError (implements org.aya.resolve.error.ResolveProblem)
    • org.aya.core.term.ElimTerm.App (implements org.aya.core.term.ElimTerm)
    • org.aya.core.term.ElimTerm.Proj (implements org.aya.core.term.ElimTerm)
    • org.aya.resolve.context.EmptyContext (implements org.aya.resolve.context.Context)
    • org.aya.core.term.ErrorTerm (implements org.aya.core.term.Term)
    • org.aya.core.ops.Eta
    • org.aya.concrete.Expr.AppExpr (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.BinOpSeq (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.ErrorExpr (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.Field
    • org.aya.concrete.Expr.HoleExpr (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.LamExpr (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.LiftExpr (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.LitIntExpr (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.LitStringExpr (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.MetaPat (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.NamedArg (implements org.aya.util.distill.AyaDocile, org.aya.util.binop.BinOpParser.Elem<Expr>, org.aya.util.error.SourceNode)
    • org.aya.concrete.Expr.NewExpr (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.Param (implements org.aya.generic.ParamLike<Expr>)
    • org.aya.concrete.Expr.PiExpr (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.ProjExpr (implements org.aya.concrete.Expr, org.aya.concrete.Expr.WithTerm)
    • org.aya.concrete.Expr.RawUnivExpr (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.RefExpr (implements org.aya.concrete.Expr, org.aya.concrete.Expr.WithTerm)
    • org.aya.concrete.Expr.SigmaExpr (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.TupExpr (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.UnivExpr (implements org.aya.concrete.Expr)
    • org.aya.concrete.Expr.UnresolvedExpr (implements org.aya.concrete.Expr)
    • org.aya.resolve.visitor.ExprResolver (implements org.aya.concrete.Expr.Visitor<P,R>)
    • org.aya.resolve.visitor.ExprResolver.Options
    • org.aya.tyck.ExprTycker.Result
    • org.aya.tyck.error.FieldProblem.ArgMismatchError (implements org.aya.tyck.error.FieldProblem)
    • org.aya.tyck.error.FieldProblem.MissingFieldError (implements org.aya.tyck.error.FieldProblem)
    • org.aya.tyck.error.FieldProblem.NoSuchFieldError (implements org.aya.tyck.error.FieldProblem)
    • org.aya.tyck.error.FieldProblem.UnknownField (implements org.aya.generic.ExprProblem, org.aya.tyck.error.FieldProblem)
    • org.aya.resolve.module.FileModuleLoader (implements org.aya.resolve.module.ModuleLoader)
    • org.aya.core.term.FormTerm.Pi (implements org.aya.core.term.FormTerm)
    • org.aya.core.term.FormTerm.Sigma (implements org.aya.core.term.FormTerm)
    • org.aya.core.term.FormTerm.Univ (implements org.aya.core.term.FormTerm)
    • org.aya.resolve.error.GeneralizedNotAvailableError (implements org.aya.resolve.error.ResolveProblem)
    • 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.core.term.IntroTerm.Lambda (implements org.aya.core.term.IntroTerm)
    • org.aya.core.term.IntroTerm.New (implements org.aya.core.term.IntroTerm)
    • org.aya.core.term.IntroTerm.Tuple (implements org.aya.core.term.IntroTerm)
    • org.aya.tyck.error.LevelError (implements org.aya.util.reporter.Problem)
    • org.aya.concrete.error.LevelProblem.BadLevelExpr (implements org.aya.concrete.error.LevelProblem)
    • org.aya.concrete.error.LevelProblem.BadTypeExpr (implements org.aya.concrete.error.LevelProblem)
    • org.aya.tyck.error.LicitProblem.LicitMismatchError (implements org.aya.generic.ExprProblem, org.aya.tyck.error.LicitProblem)
    • org.aya.tyck.error.LicitProblem.UnexpectedImplicitArgError (implements org.aya.tyck.error.LicitProblem)
    • org.aya.concrete.remark.Literate.Err (implements org.aya.concrete.remark.Literate)
    • org.aya.concrete.remark.Literate.Many (implements org.aya.concrete.remark.Literate)
    • org.aya.concrete.remark.Literate.Raw (implements org.aya.concrete.remark.Literate)
    • org.aya.tyck.LittleTyper (implements org.aya.core.term.Term.Visitor<P,R>)
    • org.aya.ref.LocalVar (implements org.aya.ref.Var)
    • org.aya.tyck.env.MapLocalCtx (implements org.aya.tyck.env.LocalCtx)
    • org.aya.core.Matching (implements org.aya.util.distill.AyaDocile)
    • org.aya.resolve.error.ModNameNotFoundError (implements org.aya.resolve.error.ResolveProblem)
    • org.aya.resolve.error.ModNotFoundError (implements org.aya.resolve.error.ResolveProblem)
    • org.aya.resolve.error.ModShadowingWarn (implements org.aya.resolve.error.ResolveProblem)
    • org.aya.resolve.module.ModuleListLoader (implements org.aya.resolve.module.ModuleLoader)
    • org.aya.resolve.context.NoExportContext (implements org.aya.resolve.context.ModuleContext)
    • org.aya.terck.error.NonTerminating (implements org.aya.util.reporter.Problem)
    • org.aya.core.visitor.Normalizer (implements org.aya.core.visitor.Unfolder<P>)
    • org.aya.tyck.error.NotYetTyckedError (implements org.aya.util.reporter.Problem)
    • org.aya.concrete.error.OperatorProblem.AmbiguousPredError (implements org.aya.util.reporter.Problem)
    • org.aya.concrete.error.OperatorProblem.BindSelfError (implements org.aya.util.reporter.Problem)
    • org.aya.concrete.error.OperatorProblem.Circular (implements org.aya.util.reporter.Problem)
    • org.aya.concrete.error.OperatorProblem.FixityError (implements org.aya.util.reporter.Problem)
    • org.aya.concrete.error.OperatorProblem.NotOperator (implements org.aya.util.reporter.Problem)
    • org.aya.concrete.error.ParseError (implements org.aya.util.reporter.Problem)
    • org.aya.core.pat.Pat.Absurd (implements org.aya.core.pat.Pat)
    • org.aya.core.pat.Pat.Bind (implements org.aya.core.pat.Pat)
    • org.aya.core.pat.Pat.Ctor (implements org.aya.core.pat.Pat)
    • org.aya.core.pat.Pat.Meta (implements org.aya.core.pat.Pat)
    • org.aya.core.pat.Pat.Preclause<T> (implements org.aya.util.distill.AyaDocile)
    • org.aya.core.pat.Pat.Prim (implements org.aya.core.pat.Pat)
    • org.aya.core.pat.Pat.Tuple (implements org.aya.core.pat.Pat)
    • org.aya.tyck.pat.PatClassifier
    • org.aya.tyck.pat.PatClassifier.PatErr
    • org.aya.core.pat.PatMatcher
    • org.aya.concrete.Pattern.Absurd (implements org.aya.concrete.Pattern)
    • org.aya.concrete.Pattern.Bind (implements org.aya.concrete.Pattern)
    • org.aya.concrete.Pattern.BinOpSeq (implements org.aya.concrete.Pattern)
    • org.aya.concrete.Pattern.CalmFace (implements org.aya.concrete.Pattern)
    • org.aya.concrete.Pattern.Ctor (implements org.aya.concrete.Pattern)
    • org.aya.concrete.Pattern.Number (implements org.aya.concrete.Pattern)
    • org.aya.concrete.Pattern.Tuple (implements org.aya.concrete.Pattern)
    • org.aya.tyck.pat.PatternProblem.BlockedEval (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternProblem.InsufficientPattern (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternProblem.PossiblePat (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternProblem.SplittingOnNonData (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternProblem.TooManyImplicitPattern (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternProblem.TooManyPattern (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternProblem.TupleNonSig (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternProblem.UnavailableCtor (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatternProblem.UnknownCtor (implements org.aya.tyck.pat.PatternProblem)
    • org.aya.tyck.pat.PatTree (implements org.aya.util.TreeBuilder.Tree<T>)
    • org.aya.tyck.pat.PatTycker.LhsResult
    • org.aya.tyck.pat.PatTycker.PatResult
    • org.aya.core.pat.PatUnify
    • org.aya.resolve.error.PrimDependencyError (implements org.aya.resolve.error.ResolveProblem)
    • org.aya.tyck.error.PrimProblem.NoResultTypeError (implements org.aya.tyck.error.PrimProblem)
    • org.aya.tyck.error.ProjIxError (implements org.aya.generic.ExprProblem)
    • org.aya.concrete.stmt.QualifiedID (implements org.aya.util.error.SourceNode)
    • org.aya.resolve.error.QualifiedNameNotFoundError (implements org.aya.resolve.error.ResolveProblem)
    • org.aya.resolve.error.RedefinitionPrimError (implements org.aya.util.reporter.Problem)
    • org.aya.core.visitor.RefFinder (implements org.aya.core.def.Def.Visitor<P,R>, org.aya.core.visitor.VarConsumer<P>)
    • org.aya.core.term.RefTerm (implements org.aya.core.term.Term)
    • org.aya.core.term.RefTerm.Field (implements org.aya.core.term.Term)
    • org.aya.core.term.RefTerm.MetaPat (implements org.aya.core.term.Term)
    • org.aya.resolve.ResolveInfo
    • org.aya.tyck.env.SeqLocalCtx (implements org.aya.tyck.env.LocalCtx)
    • org.aya.tyck.env.SeqLocalCtx.P
    • org.aya.core.serde.SerDef.Ctor (implements org.aya.core.serde.SerDef)
    • org.aya.core.serde.SerDef.Data (implements org.aya.core.serde.SerDef)
    • org.aya.core.serde.SerDef.Field (implements org.aya.core.serde.SerDef)
    • org.aya.core.serde.SerDef.Fn (implements org.aya.core.serde.SerDef)
    • org.aya.core.serde.SerDef.Prim (implements org.aya.core.serde.SerDef)
    • org.aya.core.serde.SerDef.QName (implements java.io.Serializable)
    • org.aya.core.serde.SerDef.SerBind (implements java.io.Serializable)
    • org.aya.core.serde.SerDef.SerOp (implements java.io.Serializable)
    • org.aya.core.serde.SerDef.SerOpDecl (implements org.aya.util.binop.OpDecl)
    • org.aya.core.serde.SerDef.Struct (implements org.aya.core.serde.SerDef)
    • org.aya.core.serde.Serializer (implements org.aya.core.def.Def.Visitor<P,R>, org.aya.core.term.Term.Visitor<P,R>)
    • org.aya.core.serde.Serializer.State
    • org.aya.core.serde.SerPat.Absurd (implements org.aya.core.serde.SerPat)
    • org.aya.core.serde.SerPat.Bind (implements org.aya.core.serde.SerPat)
    • org.aya.core.serde.SerPat.Ctor (implements org.aya.core.serde.SerPat)
    • org.aya.core.serde.SerPat.Matchy (implements java.io.Serializable)
    • org.aya.core.serde.SerPat.Prim (implements org.aya.core.serde.SerPat)
    • org.aya.core.serde.SerPat.Tuple (implements org.aya.core.serde.SerPat)
    • org.aya.core.serde.SerTerm.Access (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.App (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.CallData (implements java.io.Serializable)
    • org.aya.core.serde.SerTerm.ConCall (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.DataCall (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.DeState
    • org.aya.core.serde.SerTerm.FieldRef (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.FnCall (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.Lam (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.New (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.Pi (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.PrimCall (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.Proj (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.Ref (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.SerArg (implements java.io.Serializable)
    • org.aya.core.serde.SerTerm.SerParam (implements java.io.Serializable)
    • org.aya.core.serde.SerTerm.Sigma (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.SimpVar (implements java.io.Serializable)
    • org.aya.core.serde.SerTerm.StructCall (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.Tup (implements org.aya.core.serde.SerTerm)
    • org.aya.core.serde.SerTerm.Univ (implements org.aya.core.serde.SerTerm)
    • org.aya.resolve.error.ShadowingWarn (implements org.aya.resolve.error.ResolveProblem)
    • org.aya.resolve.visitor.StmtShallowResolver
    • org.aya.tyck.StmtTycker
    • org.aya.core.visitor.Subst (implements org.aya.util.distill.AyaDocile)
    • org.aya.concrete.TacNode.ExprTac (implements org.aya.concrete.TacNode)
    • org.aya.concrete.TacNode.ListExprTac (implements org.aya.concrete.TacNode)
    • org.aya.core.term.Term.Param (implements org.aya.ref.Bind, org.aya.generic.ParamLike<Expr>)
    • org.aya.core.visitor.TermOps.Elevator (implements org.aya.core.visitor.TermOps)
    • org.aya.core.visitor.TermOps.Mapper (implements org.aya.core.visitor.TermOps)
    • org.aya.core.visitor.TermOps.Normalizer (implements org.aya.core.visitor.TermOps)
    • org.aya.core.visitor.TermOps.Renamer (implements org.aya.core.visitor.TermOps)
    • org.aya.core.visitor.TermOps.Subster (implements org.aya.core.visitor.TermOps)
    • org.aya.tyck.trace.Trace.DeclT (implements org.aya.tyck.trace.Trace)
    • org.aya.tyck.trace.Trace.ExprT (implements org.aya.tyck.trace.Trace)
    • org.aya.tyck.trace.Trace.LabelT (implements org.aya.tyck.trace.Trace)
    • org.aya.tyck.trace.Trace.PatT (implements org.aya.tyck.trace.Trace)
    • org.aya.tyck.trace.Trace.TyckT (implements org.aya.tyck.trace.Trace)
    • org.aya.tyck.trace.Trace.UnifyT (implements org.aya.tyck.trace.Trace)
    • org.aya.tyck.error.TupleProblem.ElemMismatchError (implements org.aya.tyck.error.TupleProblem)
    • org.aya.tyck.order.TyckOrder.Body (implements org.aya.tyck.order.TyckOrder)
    • org.aya.tyck.order.TyckOrder.Head (implements org.aya.tyck.order.TyckOrder)
    • org.aya.tyck.TyckState
    • org.aya.tyck.TyckState.Eqn (implements org.aya.util.distill.AyaDocile)
    • org.aya.core.visitor.Unfolder.Tracked (implements org.aya.core.visitor.Unfolder<P>)
    • org.aya.tyck.error.UnifyError (implements org.aya.generic.ExprProblem)
    • org.aya.resolve.error.UnknownOperatorError (implements org.aya.resolve.error.ResolveProblem)
    • org.aya.resolve.error.UnknownPrimError (implements org.aya.util.reporter.Problem)
    • org.aya.resolve.error.UnqualifiedNameNotFoundError (implements org.aya.resolve.error.ResolveProblem)
    • org.aya.concrete.remark.UnsupportedMarkdown (implements org.aya.util.reporter.Problem)
    • org.aya.core.visitor.Zonker (implements org.aya.core.visitor.TermOps)
    • org.aya.core.visitor.Zonker.UnsolvedMeta (implements org.aya.util.reporter.Problem)
  • org.aya.concrete.remark.Remark (implements org.aya.concrete.stmt.Stmt)
  • org.aya.concrete.stmt.Signatured (implements org.aya.util.binop.OpDecl, org.aya.util.error.SourceNode, org.aya.tyck.order.TyckUnit)
    • org.aya.concrete.stmt.Decl (implements org.aya.concrete.stmt.Stmt)
      • org.aya.concrete.stmt.Decl.DataDecl
      • org.aya.concrete.stmt.Decl.FnDecl
      • org.aya.concrete.stmt.Decl.PrimDecl
      • org.aya.concrete.stmt.Decl.StructDecl
    • org.aya.concrete.stmt.Decl.DataCtor
    • org.aya.concrete.stmt.Decl.StructField
  • org.aya.core.def.SubLevelDef (implements org.aya.core.def.Def)
    • org.aya.core.def.CtorDef
    • org.aya.core.def.FieldDef
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • org.aya.concrete.desugar.Desugarer.DesugarInterruption
      • java.lang.RuntimeException
        • org.aya.generic.util.InternalException
          • org.aya.tyck.ExprTycker.TyckerException
          • org.aya.core.serde.SerDef.DeserializeException
        • org.aya.generic.util.InterruptException
          • org.aya.tyck.order.AyaSccTycker.SCCTyckingFailed
          • org.aya.resolve.context.Context.ResolvingInterruptedException
  • org.aya.core.def.TopLevelDef (implements org.aya.core.def.Def)
    • org.aya.core.def.PrimDef
    • org.aya.core.def.UserDef
      • org.aya.core.def.FnDef
      • org.aya.core.def.UserDef.Type
        • org.aya.core.def.DataDef
        • org.aya.core.def.StructDef
  • org.aya.util.TreeBuilder<T>
    • org.aya.tyck.pat.PatTree.Builder
    • org.aya.tyck.trace.Trace.Builder
  • org.aya.tyck.Tycker
    • org.aya.tyck.ExprTycker
  • org.aya.core.visitor.VarConsumer.ScopeChecker (implements org.aya.core.visitor.VarConsumer<P>)
  • org.aya.core.visitor.VarConsumer.UsageCounter (implements org.aya.core.visitor.VarConsumer<P>)

接口分层结构

• org.aya.util.distill.AyaDocile
  • org.aya.ref.Bind
  • org.aya.core.def.Def
  • org.aya.concrete.Expr (并 extends org.aya.util.error.SourceNode)
    • org.aya.concrete.Expr.WithTerm
  • org.aya.generic.ParamLike<Expr>
  • org.aya.core.pat.Pat
  • org.aya.concrete.Pattern (并 extends org.aya.util.binop.BinOpParser.Elem<Expr>, org.aya.util.error.SourceNode)
  • org.aya.concrete.stmt.Stmt (并 extends org.aya.tyck.order.TyckUnit)
    • org.aya.concrete.stmt.Command
  • org.aya.concrete.TacNode
  • org.aya.core.term.Term
    • org.aya.core.term.CallTerm
    • org.aya.core.term.ElimTerm
    • org.aya.core.term.FormTerm
    • org.aya.core.term.IntroTerm
• java.util.function.BiFunction<T,U,R>
  • org.aya.distill.BaseDistiller.Fmt<T>
• org.aya.core.term.CallTerm.Factory<D,S>
• org.aya.generic.Constants
• org.aya.resolve.context.Context
  • org.aya.resolve.context.ModuleContext
• org.aya.concrete.stmt.Decl.Visitor<P,R>
  • org.aya.concrete.stmt.Stmt.Visitor<P,R>
    • org.aya.concrete.visitor.StmtConsumer<P> (并 extends org.aya.concrete.visitor.ExprConsumer<P>)
    • org.aya.concrete.visitor.StmtOps<P>
• org.aya.core.def.Def.Visitor<P,R>
  • org.aya.core.visitor.DefConsumer<P> (并 extends org.aya.core.visitor.TermConsumer<P>)
• org.aya.pretty.doc.Docile
  • org.aya.concrete.remark.Literate
• org.aya.concrete.Expr.Visitor<P,R>
  • org.aya.concrete.visitor.ExprConsumer<P>
    • org.aya.concrete.visitor.StmtConsumer<P> (并 extends org.aya.concrete.stmt.Stmt.Visitor<P,R>)
• org.aya.concrete.visitor.ExprView
  • org.aya.concrete.visitor.ExprOps
• org.aya.concrete.GenericAyaParser
• org.aya.tyck.env.LocalCtx
• org.aya.resolve.ModuleCallback<E>
• org.aya.resolve.module.ModuleLoader
• org.aya.util.reporter.Problem
  • org.aya.tyck.pat.ClausesProblem
  • org.aya.generic.ExprProblem
    • org.aya.concrete.error.LevelProblem
  • org.aya.tyck.error.FieldProblem
  • org.aya.tyck.error.HoleProblem
  • org.aya.tyck.error.LicitProblem
  • org.aya.tyck.pat.PatternProblem
  • org.aya.tyck.error.PrimProblem
  • org.aya.resolve.error.ResolveProblem
  • org.aya.tyck.error.TupleProblem
• java.io.Serializable
  • org.aya.core.serde.SerDef
  • org.aya.core.serde.SerPat
  • org.aya.core.serde.SerTerm
• org.aya.util.error.SourceNode
  • org.aya.util.binop.BinOpParser.Elem<Expr>
    • org.aya.concrete.Pattern (并 extends org.aya.util.distill.AyaDocile, org.aya.util.error.SourceNode)
  • org.aya.concrete.Expr (并 extends org.aya.util.distill.AyaDocile)
    • org.aya.concrete.Expr.WithTerm
  • org.aya.concrete.Pattern (并 extends org.aya.util.distill.AyaDocile, org.aya.util.binop.BinOpParser.Elem<Expr>)
  • org.aya.tyck.order.TyckUnit
    • org.aya.concrete.stmt.Stmt (并 extends org.aya.util.distill.AyaDocile)
      • org.aya.concrete.stmt.Command
• org.aya.resolve.visitor.StmtResolver
• org.aya.core.term.Term.Visitor<P,R>
  • org.aya.core.visitor.TermConsumer<P>
    • org.aya.core.visitor.DefConsumer<P> (并 extends org.aya.core.def.Def.Visitor<P,R>)
    • org.aya.core.visitor.VarConsumer<P>
  • org.aya.core.visitor.TermFixpoint<P>
    • org.aya.core.visitor.Unfolder<P>
• org.aya.core.visitor.TermView
  • org.aya.core.visitor.TermOps
• org.aya.tyck.trace.Trace.Visitor<P,R>
• org.aya.util.TreeBuilder.Tree<T>
  • org.aya.tyck.trace.Trace
• org.aya.tyck.order.TyckOrder
• org.aya.ref.Var

Enum Class Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • org.aya.distill.BaseDistiller.Outer
    • org.aya.concrete.remark.CodeOptions.ShowCode
    • org.aya.concrete.stmt.Command.Open.UseHide.Strategy
    • org.aya.concrete.stmt.Decl.Personality
    • org.aya.generic.util.InterruptException.InterruptStage
    • org.aya.generic.Modifier
    • org.aya.generic.util.NormalizeMode
    • org.aya.core.def.PrimDef.ID
    • org.aya.terck.Relation (implements java.lang.Comparable<T>)
    • org.aya.concrete.stmt.Stmt.Accessibility