程序包org.aya.concrete的分层结构

程序包分层结构:

• 所有程序包

类分层结构

• java.lang.Object
  • org.aya.concrete.Pattern.Clause
  • java.lang.Record
    • 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.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.concrete.TacNode.ExprTac (implements org.aya.concrete.TacNode)
    • org.aya.concrete.TacNode.ListExprTac (implements org.aya.concrete.TacNode)

接口分层结构

• org.aya.util.distill.AyaDocile
  • org.aya.concrete.Expr (并 extends org.aya.util.error.SourceNode)
    • org.aya.concrete.Expr.WithTerm
  • org.aya.concrete.Pattern (并 extends org.aya.util.binop.BinOpParser.Elem<Expr>, org.aya.util.error.SourceNode)
  • org.aya.concrete.TacNode
• org.aya.concrete.Expr.Visitor<P,R>
• org.aya.concrete.GenericAyaParser
• 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>)