Module aya.base
Package org.aya.generic

Interface ParamLike<Expr extends AyaDocile>

Type Parameters:
Expr - the type of the expression contained, either Term or Expr.
All Superinterfaces:
AyaDocile
All Known Implementing Classes:
Expr.Param, Term.Param
public interface ParamLike<Expr extends AyaDocile> extends AyaDocile

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    explicit()
     
    default @NotNull org.aya.pretty.doc.Doc
    nameDoc()
     
    @NotNull LocalVar
    ref()
     
    default @NotNull org.aya.pretty.doc.Doc
    toDoc(@NotNull org.aya.pretty.doc.Doc names, @NotNull org.aya.util.distill.DistillerOptions options)
     
    default @NotNull org.aya.pretty.doc.Doc
    toDoc(@NotNull org.aya.util.distill.DistillerOptions options)
     
    Expr
    type()
     

    Methods inherited from interface org.aya.generic.AyaDocile

    debuggerOnlyToDoc

  • Method Details

    • explicit

      boolean explicit()

    • ref

      @NotNull @NotNull LocalVar ref()

    • type

      @NotNull Expr type()

    • toDoc

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

    • nameDoc

      @NotNull default @NotNull org.aya.pretty.doc.Doc nameDoc()

    • toDoc

      @NotNull default @NotNull org.aya.pretty.doc.Doc toDoc(@NotNull @NotNull org.aya.pretty.doc.Doc names, @NotNull @NotNull org.aya.util.distill.DistillerOptions options)