Module aya.base

Package org.aya.core.visitor

Interface Expander

All Superinterfaces:

BetaExpander, DeltaExpander, EndoTerm, Function<Term,Term>, UnaryOperator<Term>

All Known Implementing Classes:

Expander.Normalizer, Expander.Tracked, Expander.WHNFer

public interface Expander
extends DeltaExpander, BetaExpander

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	Expander.Normalizer
static final record	Expander.Tracked
static final record	Expander.WHNFer

Nested classes/interfaces inherited from interface org.aya.core.visitor.EndoTerm

EndoTerm.Elevator, EndoTerm.Renamer, EndoTerm.Substituter

Method Summary

Modifier and Type	Method	Description
default @NotNull Term	post(@NotNull Term term)

Methods inherited from interface org.aya.core.visitor.DeltaExpander

state, tryUnfoldClauses

Methods inherited from interface org.aya.core.visitor.EndoTerm

apply, pre

Methods inherited from interface java.util.function.Function

andThen, compose

Method Details

post

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

Specified by:

post in interface BetaExpander

Specified by:

post in interface DeltaExpander

Specified by:

post in interface EndoTerm