Module aya.base
Package org.aya.core.visitor

Interface TermFolder<R>

All Superinterfaces:
Function<Term,R>
All Known Implementing Classes:
TermFolder.RefFinder, TermFolder.Usages
public interface TermFolder<R> extends Function<Term,R>

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Interface
    Description
    static final record 
    TermFolder.RefFinder
     
    static final record 
    TermFolder.Usages
     

  • Method Summary

    Modifier and Type
    Method
    Description
    default R
    apply(@NotNull Term term)
     
    default R
    fold(R acc, @NotNull Pat pat)
     
    default R
    fold(R acc, @NotNull Term term)
     
    default R
    fold(R acc, @NotNull AnyVar var)
     
    R
    init()
     

    Methods inherited from interface java.util.function.Function

    andThen, compose

  • Method Details

    • init

      @NotNull R init()

    • fold

      @NotNull default R fold(@NotNull R acc, @NotNull @NotNull AnyVar var)

    • fold

      @NotNull default R fold(@NotNull R acc, @NotNull @NotNull Pat pat)

    • fold

      @NotNull default R fold(@NotNull R acc, @NotNull @NotNull Term term)

    • apply

      @NotNull default R apply(@NotNull @NotNull Term term)
      Specified by:
      apply in interface Function<Term,R>