模块 aya.guest.base
程序包 org.aya.guest0x0.util

接口 Distiller

public interface Distiller

  • 嵌套类概要

    嵌套类
    修饰符和类型
    接口
    说明
    static interface 
    Distiller.PP<E>
     
    static enum 
    Distiller.Prec
     

  • 方法概要

    静态方法
    修饰符和类型
    方法
    说明
    static <T extends org.aya.guest0x0.cubical.Restr.TermLike<T> & org.aya.pretty.doc.Docile>
    kala.collection.SeqView<org.aya.pretty.doc.Doc>
    clauses(@NotNull kala.collection.Seq<org.aya.guest0x0.cubical.Restr.Side<T>> clauses)
     
    static @NotNull org.aya.pretty.doc.Doc
    expr(@NotNull Expr expr, Distiller.Prec envPrec)
     
    static @NotNull org.aya.pretty.doc.Doc
    term(@NotNull Term term, Distiller.Prec envPrec)
     

  • 方法详细资料

    • expr

      @NotNull static @NotNull org.aya.pretty.doc.Doc expr(@NotNull @NotNull Expr expr, Distiller.Prec envPrec)

    • term

      @NotNull static @NotNull org.aya.pretty.doc.Doc term(@NotNull @NotNull Term term, Distiller.Prec envPrec)

    • clauses

      static <T extends org.aya.guest0x0.cubical.Restr.TermLike<T> & org.aya.pretty.doc.Docile> kala.collection.SeqView<org.aya.pretty.doc.Doc> clauses(@NotNull @NotNull kala.collection.Seq<org.aya.guest0x0.cubical.Restr.Side<T>> clauses)