模块 org.aya

程序包 org.aya.concrete

接口 Expr.WithTerm

所有超级接口:

org.aya.util.distill.AyaDocile, Expr, org.aya.util.error.SourceNode

所有已知实现类:

Expr.ProjExpr, Expr.RefExpr

封闭接口:

Expr

public static sealed interface Expr.WithTerm
extends Expr
permits Expr.RefExpr, Expr.ProjExpr

嵌套类概要

从接口继承的嵌套类/接口 org.aya.concrete.Expr

Expr.AppExpr, Expr.BinOpSeq, Expr.ErrorExpr, Expr.Field, Expr.HoleExpr, Expr.LamExpr, Expr.LiftExpr, Expr.LitIntExpr, Expr.LitStringExpr, Expr.MetaPat, Expr.NamedArg, Expr.NewExpr, Expr.Param, Expr.PiExpr, Expr.ProjExpr, Expr.RawUnivExpr, Expr.RefExpr, Expr.SigmaExpr, Expr.TupExpr, Expr.UnivExpr, Expr.UnresolvedExpr, Expr.Visitor<P,R>, Expr.WithTerm

方法概要

修饰符和类型	方法	说明
default ExprTycker.Result	core()
@NotNull kala.value.Ref<ExprTycker.Result>	theCore()

从接口继承的方法 org.aya.util.distill.AyaDocile

debuggerOnlyToDoc

从接口继承的方法 org.aya.concrete.Expr

accept, doAccept, resolve, toDoc, view

从接口继承的方法 org.aya.util.error.SourceNode

sourcePos

方法详细资料

theCore

@NotNull
@NotNull kala.value.Ref<ExprTycker.Result> theCore()

core

@Nullable
default ExprTycker.Result core()