Module aya.base

Package org.aya.core.visitor

Interface EndoTerm.NoMeta

All Superinterfaces:

EndoTerm, Function<Term,Term>, UnaryOperator<Term>

All Known Implementing Classes:

EndoTerm.MetaBind

Enclosing interface:

EndoTerm

public static interface EndoTerm.NoMeta
extends EndoTerm

A traversal that disallow Pat.Meta

Nested Class Summary

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

EndoTerm.Elevator, EndoTerm.MetaBind, EndoTerm.NoMeta, EndoTerm.Renamer, EndoTerm.Substituter

Method Summary

Modifier and Type	Method	Description
default @NotNull Pat	pre(@NotNull Pat pat)

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

apply, apply, post, post, pre

Methods inherited from interface java.util.function.Function

andThen, compose

Method Details

pre

@NotNull
default @NotNull Pat pre(@NotNull
 @NotNull Pat pat)

Specified by:

pre in interface EndoTerm