模块 org.aya

程序包 org.aya.core.term

接口 CallTerm

所有超级接口:

org.aya.util.distill.AyaDocile, Term

所有已知实现类:

CallTerm.Access, CallTerm.Con, CallTerm.Data, CallTerm.Fn, CallTerm.Hole, CallTerm.Prim, CallTerm.Struct

public sealed interface CallTerm
extends Term
permits CallTerm.Data, CallTerm.Hole, CallTerm.Fn, CallTerm.Prim, CallTerm.Con, CallTerm.Struct, CallTerm.Access

另请参阅:

• make(Term, Arg)

嵌套类概要

嵌套类

修饰符和类型	接口	说明
static final record	CallTerm.Access
static final record	CallTerm.Con
static final record	CallTerm.ConHead
static final record	CallTerm.Data
static interface	CallTerm.Factory<D extends Def,S extends Signatured>
static final record	CallTerm.Fn
static final record	CallTerm.Hole
static final record	CallTerm.Prim
static final record	CallTerm.Struct

从接口继承的嵌套类/接口 org.aya.core.term.Term

Term.Param, Term.Visitor<P,R>

方法概要

修饰符和类型	方法	说明
@NotNull kala.collection.immutable.ImmutableSeq<@NotNull Arg<Term>>	args()
static @NotNull Term	make(@NotNull Term f, @NotNull Arg<Term> arg)
static @NotNull Term	make(IntroTerm.Lambda lam, @NotNull Arg<Term> arg)
@NotNull Var	ref()

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

debuggerOnlyToDoc

从接口继承的方法 org.aya.core.term.Term

accept, computeType, doAccept, findUsages, freezeHoles, lift, normalize, rename, scopeCheck, subst, subst, subst, subst, toDoc, view

方法详细资料

ref

@NotNull
@NotNull Var ref()

args

@NotNull
@NotNull kala.collection.immutable.ImmutableSeq<@NotNull Arg<Term>> args()

make

@Contract(pure=true)
@NotNull
static @NotNull Term make(@NotNull
 @NotNull Term f,
 @NotNull
 @NotNull Arg<Term> arg)

make

@NotNull
static @NotNull Term make(IntroTerm.Lambda lam,
 @NotNull
 @NotNull Arg<Term> arg)