模块 aya.base

程序包 org.aya.core.visitor

接口 Expander

所有超级接口:

BetaExpander, DeltaExpander, EndoFunctor, Function<Term,Term>

所有已知实现类:

Expander.Normalizer, Expander.Tracked, Expander.WHNFer

public interface Expander
extends DeltaExpander, BetaExpander

嵌套类概要

嵌套类

修饰符和类型	接口	说明
static final record	Expander.Normalizer
static final record	Expander.Tracked
static final record	Expander.WHNFer

从接口继承的嵌套类/接口 org.aya.core.visitor.EndoFunctor

EndoFunctor.Elevator, EndoFunctor.Renamer, EndoFunctor.Substituter

方法概要

修饰符和类型	方法	说明
default @NotNull Term	post(@NotNull Term term)

从接口继承的方法 org.aya.core.visitor.DeltaExpander

state, tryUnfoldClauses, tryUnfoldClauses

从接口继承的方法 org.aya.core.visitor.EndoFunctor

apply, pre

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

andThen, compose

方法详细资料

post

@NotNull
default @NotNull Term post(@NotNull
 @NotNull Term term)

指定者:

post 在接口中 BetaExpander

指定者:

post 在接口中 DeltaExpander

指定者:

post 在接口中 EndoFunctor