Module aya.base

Package org.aya.concrete.visitor

Interface ExprFolder<R>

All Superinterfaces:

PatternFolder<R>

All Known Subinterfaces:

StmtFolder<R>

public interface ExprFolder<R>
extends PatternFolder<R>

Method Summary

Modifier and Type	Method	Description
default R	fold(R acc, @NotNull Expr expr)
default R	foldParamDecl(R acc, @NotNull Expr.Param param)
R	init()
default @NotNull kala.value.LazyValue<@Nullable Term>	withTermType(Expr.WithTerm term)

Methods inherited from interface org.aya.concrete.visitor.PatternFolder

apply, fold, foldVar, foldVarDecl, foldVarRef, lazyType, noType, varType

Method Details

init

@NotNull
R init()

Specified by:

init in interface PatternFolder<R>

withTermType

@NotNull
default @NotNull kala.value.LazyValue<@Nullable Term> withTermType(@NotNull
 Expr.WithTerm term)

foldParamDecl

@NotNull
default R foldParamDecl(@NotNull
 R acc,
 @NotNull Expr.Param param)

fold

@MustBeInvokedByOverriders
@NotNull
default R fold(@NotNull
 R acc,
 @NotNull
 @NotNull Expr expr)