模块 aya.base

程序包 org.aya.core.visitor

接口 MonoidalVarFolder<R>

所有超级接口:

Function<Term,R>

所有已知实现类:

MonoidalVarFolder.RefFinder, MonoidalVarFolder.Usages

public interface MonoidalVarFolder<R>
extends Function<Term,R>

嵌套类概要

嵌套类

修饰符和类型	接口	说明
static final record	MonoidalVarFolder.RefFinder
static final record	MonoidalVarFolder.Usages

方法概要

修饰符和类型	方法	说明
default R	apply(@NotNull Term term)
R	merge(@NotNull kala.collection.SeqView<R> rs)
R	var(@NotNull AnyVar var)

从接口继承的方法 java.util.function.Function

andThen, compose

方法详细资料

var

@NotNull
R var(@NotNull
 @NotNull AnyVar var)

merge

@NotNull
R merge(@NotNull
 @NotNull kala.collection.SeqView<R> rs)

apply

@NotNull
default R apply(@NotNull
 @NotNull Term term)

指定者:

apply 在接口中 Function<Term,R>