模块 aya.base

程序包 org.aya.core.visitor

接口 DeltaExpander

所有超级接口:

EndoFunctor, Function<Term,Term>

所有已知子接口:

Expander

所有已知实现类:

Expander.Normalizer, Expander.Tracked, Expander.WHNFer

public interface DeltaExpander
extends EndoFunctor

另请参阅:

• BetaExpander

嵌套类概要

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

EndoFunctor.Elevator, EndoFunctor.Renamer, EndoFunctor.Substituter

方法概要

修饰符和类型	方法	说明
static @NotNull Subst	buildSubst(@NotNull kala.collection.SeqLike<Term.Param> self, @NotNull kala.collection.SeqLike<Arg<Term>> args)
default @NotNull Term	post(@NotNull Term term)
@NotNull TyckState	state()
default @NotNull kala.control.Option<org.aya.util.error.WithPos<Term>>	tryUnfoldClauses(boolean orderIndependent, @NotNull kala.collection.SeqLike<Arg<Term>> args, int ulift, @NotNull kala.collection.immutable.ImmutableSeq<Matching> clauses)
default @NotNull kala.control.Option<org.aya.util.error.WithPos<Term>>	tryUnfoldClauses(boolean orderIndependent, @NotNull kala.collection.SeqLike<Arg<Term>> args, @NotNull Subst subst, int ulift, @NotNull kala.collection.immutable.ImmutableSeq<Matching> clauses)

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

apply, pre

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

andThen, compose

方法详细资料

state

@NotNull
@NotNull TyckState state()

buildSubst

@NotNull
static @NotNull Subst buildSubst(@NotNull
 @NotNull kala.collection.SeqLike<Term.Param> self,
 @NotNull
 @NotNull kala.collection.SeqLike<Arg<Term>> args)

post

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

指定者:

post 在接口中 EndoFunctor

tryUnfoldClauses

@NotNull
default @NotNull kala.control.Option<org.aya.util.error.WithPos<Term>> tryUnfoldClauses(boolean orderIndependent,
 @NotNull
 @NotNull kala.collection.SeqLike<Arg<Term>> args,
 @NotNull
 @NotNull Subst subst,
 int ulift,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Matching> clauses)

tryUnfoldClauses

@NotNull
default @NotNull kala.control.Option<org.aya.util.error.WithPos<Term>> tryUnfoldClauses(boolean orderIndependent,
 @NotNull
 @NotNull kala.collection.SeqLike<Arg<Term>> args,
 int ulift,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Matching> clauses)