Module aya.base
Package org.aya.normalize

Interface Finalizer

All Known Implementing Classes:
Finalizer.Freeze, Finalizer.Zonk
public interface Finalizer

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Interface
    Description
    static final record 
    Finalizer.Freeze
     
    static final record 
    Finalizer.Zonk<T extends Problematic & Stateful>
     

  • Method Summary

    Modifier and Type
    Method
    Description
    default @NotNull org.aya.syntax.core.term.Term
    doZonk(@NotNull org.aya.syntax.core.term.Term term)
     
    @NotNull TyckState
    state()
     
    @NotNull org.aya.syntax.core.term.Term
    zonk(@NotNull org.aya.syntax.core.term.Term term)
     

  • Method Details

    • state

      @NotNull @NotNull TyckState state()

    • doZonk

      @NotNull default @NotNull org.aya.syntax.core.term.Term doZonk(@NotNull @NotNull org.aya.syntax.core.term.Term term)

    • zonk

      @NotNull @NotNull org.aya.syntax.core.term.Term zonk(@NotNull @NotNull org.aya.syntax.core.term.Term term)