Module aya.base

Interface GenericDef

All Superinterfaces:
AyaDocile
All Known Subinterfaces:
Def
All Known Implementing Classes:
ClassDef, CtorDef, DataDef, FnDef, MemberDef, PrimDef, SubLevelDef, TopLevelDef, UserDef

public sealed interface GenericDef extends AyaDocile permits ClassDef, Def
  • Method Summary

    Modifier and Type
    Method
    Description
    void
    descentConsume(@NotNull Consumer<Term> f, @NotNull Consumer<Pat> g)
     
    @NotNull DefVar<?,?>
    ref()
     
    default @NotNull org.aya.pretty.doc.Doc
    toDoc(@NotNull org.aya.util.prettier.PrettierOptions options)
     

    Methods inherited from interface org.aya.generic.AyaDocile

    debuggerOnlyToDoc
  • Method Details

    • ref

      @NotNull @NotNull DefVar<?,?> ref()
    • descentConsume

      void descentConsume(@NotNull @NotNull Consumer<Term> f, @NotNull @NotNull Consumer<Pat> g)
    • toDoc

      @NotNull default @NotNull org.aya.pretty.doc.Doc toDoc(@NotNull @NotNull org.aya.util.prettier.PrettierOptions options)
      Specified by:
      toDoc in interface AyaDocile