模块 aya.base
程序包 org.aya.distill

类 BaseDistiller<Term extends AyaDocile>

java.lang.Object
org.aya.distill.BaseDistiller<Term>
直接已知子类:
ConcreteDistiller, CoreDistiller
public abstract class BaseDistiller<Term extends AyaDocile> extends Object

  • 嵌套类概要

    嵌套类
    修饰符和类型
    类
    说明
    protected static interface 
    BaseDistiller.Fmt<T extends AyaDocile>
     
    static enum 
    BaseDistiller.Outer
    Expression: where am I?

  • 字段概要

    字段
    修饰符和类型
    字段
    说明
    static final @NotNull org.aya.pretty.doc.Style
    CON_CALL
     
    static final @NotNull org.aya.pretty.doc.Style
    DATA_CALL
     
    static final @NotNull org.aya.pretty.doc.Style
    FIELD_CALL
     
    static final @NotNull org.aya.pretty.doc.Style
    FN_CALL
     
    static final @NotNull org.aya.pretty.doc.Style
    GENERALIZED
     
    static final @NotNull org.aya.pretty.doc.Style
    KEYWORD
     
    final @NotNull org.aya.util.distill.DistillerOptions
    options
     
    static final @NotNull org.aya.pretty.doc.Style
    PRIM_CALL
     
    static final @NotNull org.aya.pretty.doc.Style
    STRUCT_CALL
     

  • 构造器概要

    构造器
    限定符
    构造器
    说明
    protected
    BaseDistiller(@NotNull org.aya.util.distill.DistillerOptions options)
     

  • 方法概要

    修饰符和类型
    方法
    说明
    static @NotNull org.aya.pretty.doc.Doc
    checkParen(@NotNull BaseDistiller.Outer outer, @NotNull org.aya.pretty.doc.Doc binApp, @NotNull BaseDistiller.Outer binOp)
     
    protected static @Nullable org.aya.pretty.doc.Style
    chooseStyle(Object concrete)
     
    static <T extends org.aya.guest0x0.cubical.Restr.TermLike<T> & AyaDocile>
    @NotNull org.aya.pretty.doc.Doc
    cofib(@NotNull org.aya.util.distill.DistillerOptions options, org.aya.guest0x0.cubical.Restr.Cofib<T> cofib)
     
    static @NotNull org.aya.pretty.doc.Doc
    cube(@NotNull org.aya.util.distill.DistillerOptions options, FormTerm.Cube cube)
     
    static @NotNull org.aya.pretty.doc.Doc
    defVar(DefVar<?,?> ref)
     
    @NotNull org.aya.pretty.doc.Doc
    formula(@NotNull BaseDistiller.Outer outer, @NotNull org.aya.guest0x0.cubical.Formula<Term> formula)
     
    static @NotNull org.aya.pretty.doc.Doc
    linkDef(@NotNull AnyVar ref)
     
    static @NotNull org.aya.pretty.doc.Doc
    linkDef(@NotNull AnyVar ref, @NotNull org.aya.pretty.doc.Style color)
     
    static @NotNull org.aya.pretty.doc.Doc
    linkLit(int literal, @NotNull AnyVar ref, @NotNull org.aya.pretty.doc.Style color)
     
    static @NotNull org.aya.pretty.doc.Doc
    linkRef(@NotNull AnyVar ref, @NotNull org.aya.pretty.doc.Style color)
     
    static <T extends org.aya.guest0x0.cubical.Restr.TermLike<T> & AyaDocile>
    @NotNull org.aya.pretty.doc.Doc
    partial(@NotNull org.aya.util.distill.DistillerOptions options, @NotNull org.aya.guest0x0.cubical.Partial<T> partial)
     
    static <T extends org.aya.guest0x0.cubical.Restr.TermLike<T> & AyaDocile>
    @NotNull org.aya.pretty.doc.Doc
    restr(@NotNull org.aya.util.distill.DistillerOptions options, @NotNull org.aya.guest0x0.cubical.Restr<T> restr)
     
    static <T extends org.aya.guest0x0.cubical.Restr.TermLike<T> & AyaDocile>
    @NotNull org.aya.pretty.doc.Doc
    side(@NotNull org.aya.util.distill.DistillerOptions options, org.aya.guest0x0.cubical.Restr.Side<T> side)
     
    protected abstract @NotNull org.aya.pretty.doc.Doc
    term(@NotNull BaseDistiller.Outer outer, Term term)
     
    static @NotNull org.aya.pretty.doc.Doc
    varDoc(@NotNull AnyVar ref)
     
    @NotNull org.aya.pretty.doc.Doc
    visitArgsCalls(@NotNull DefVar<?,?> var, @NotNull org.aya.pretty.doc.Style style, @NotNull kala.collection.SeqLike<@NotNull Arg<Term>> args, @NotNull BaseDistiller.Outer outer)
     
    @NotNull org.aya.pretty.doc.Doc
    visitCalls(boolean infix, @NotNull org.aya.pretty.doc.Doc fn, @NotNull kala.collection.SeqView<@NotNull Arg<Term>> args, @NotNull BaseDistiller.Outer outer, boolean showImplicits)
     
    @NotNull org.aya.pretty.doc.Doc
    visitCalls(@NotNull DefVar<?,?> var, @NotNull org.aya.pretty.doc.Style style, @NotNull kala.collection.SeqLike<@NotNull Arg<Term>> args, @NotNull BaseDistiller.Outer outer, boolean showImplicits)
     
    @NotNull org.aya.pretty.doc.Doc
    visitTele(@NotNull kala.collection.Seq<? extends ParamLike<Term>> telescope)
    Pretty-print a telescope in a dumb (but conservative) way.
    @NotNull org.aya.pretty.doc.Doc
    visitTele(@NotNull kala.collection.Seq<? extends ParamLike<Term>> telescope, Term body, @NotNull ToIntBiFunction<Term,AnyVar> altF7)
    Pretty-print a telescope in a smart way.

    从类继承的方法 java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • 字段详细资料

    • KEYWORD

      @NotNull public static final @NotNull org.aya.pretty.doc.Style KEYWORD

    • PRIM_CALL

      @NotNull public static final @NotNull org.aya.pretty.doc.Style PRIM_CALL

    • FN_CALL

      @NotNull public static final @NotNull org.aya.pretty.doc.Style FN_CALL

    • DATA_CALL

      @NotNull public static final @NotNull org.aya.pretty.doc.Style DATA_CALL

    • STRUCT_CALL

      @NotNull public static final @NotNull org.aya.pretty.doc.Style STRUCT_CALL

    • CON_CALL

      @NotNull public static final @NotNull org.aya.pretty.doc.Style CON_CALL

    • FIELD_CALL

      @NotNull public static final @NotNull org.aya.pretty.doc.Style FIELD_CALL

    • GENERALIZED

      @NotNull public static final @NotNull org.aya.pretty.doc.Style GENERALIZED

    • options

      @NotNull public final @NotNull org.aya.util.distill.DistillerOptions options

  • 构造器详细资料

    • BaseDistiller

      protected BaseDistiller(@NotNull @NotNull org.aya.util.distill.DistillerOptions options)

  • 方法详细资料

    • term

      @NotNull protected abstract @NotNull org.aya.pretty.doc.Doc term(@NotNull @NotNull BaseDistiller.Outer outer, @NotNull Term term)

    • visitCalls

      @NotNull public @NotNull org.aya.pretty.doc.Doc visitCalls(boolean infix, @NotNull @NotNull org.aya.pretty.doc.Doc fn, @NotNull @NotNull kala.collection.SeqView<@NotNull Arg<Term>> args, @NotNull @NotNull BaseDistiller.Outer outer, boolean showImplicits)

    • visitCalls

      @NotNull public @NotNull org.aya.pretty.doc.Doc visitCalls(@NotNull @NotNull DefVar<?,?> var, @NotNull @NotNull org.aya.pretty.doc.Style style, @NotNull @NotNull kala.collection.SeqLike<@NotNull Arg<Term>> args, @NotNull @NotNull BaseDistiller.Outer outer, boolean showImplicits)

    • visitArgsCalls

      @NotNull public @NotNull org.aya.pretty.doc.Doc visitArgsCalls(@NotNull @NotNull DefVar<?,?> var, @NotNull @NotNull org.aya.pretty.doc.Style style, @NotNull @NotNull kala.collection.SeqLike<@NotNull Arg<Term>> args, @NotNull @NotNull BaseDistiller.Outer outer)

    • checkParen

      @NotNull public static @NotNull org.aya.pretty.doc.Doc checkParen(@NotNull @NotNull BaseDistiller.Outer outer, @NotNull @NotNull org.aya.pretty.doc.Doc binApp, @NotNull @NotNull BaseDistiller.Outer binOp)

    • visitTele

      @NotNull public @NotNull org.aya.pretty.doc.Doc visitTele(@NotNull @NotNull kala.collection.Seq<? extends ParamLike<Term>> telescope)
      Pretty-print a telescope in a dumb (but conservative) way.
      另请参阅:

    • visitTele

      @NotNull public @NotNull org.aya.pretty.doc.Doc visitTele(@NotNull @NotNull kala.collection.Seq<? extends ParamLike<Term>> telescope, @Nullable Term body, @NotNull @NotNull ToIntBiFunction<Term,AnyVar> altF7)
      Pretty-print a telescope in a smart way. The bindings that are not used in the telescope/body are omitted. Bindings of the same type (by 'same' I mean Objects.equals returns true) are merged together.
      参数:
      body - the body of the telescope (like the return type in a pi type), only used for finding usages (of the variables in the telescope).
      altF7 - a function for finding usages.
      另请参阅:

    • varDoc

      @NotNull public static @NotNull org.aya.pretty.doc.Doc varDoc(@NotNull @NotNull AnyVar ref)

    • linkDef

      @NotNull public static @NotNull org.aya.pretty.doc.Doc linkDef(@NotNull @NotNull AnyVar ref, @NotNull @NotNull org.aya.pretty.doc.Style color)

    • linkRef

      @NotNull public static @NotNull org.aya.pretty.doc.Doc linkRef(@NotNull @NotNull AnyVar ref, @NotNull @NotNull org.aya.pretty.doc.Style color)

    • linkLit

      @NotNull public static @NotNull org.aya.pretty.doc.Doc linkLit(int literal, @NotNull @NotNull AnyVar ref, @NotNull @NotNull org.aya.pretty.doc.Style color)

    • linkDef

      @NotNull public static @NotNull org.aya.pretty.doc.Doc linkDef(@NotNull @NotNull AnyVar ref)

    • defVar

      @NotNull public static @NotNull org.aya.pretty.doc.Doc defVar(DefVar<?,?> ref)

    • cube

      @NotNull public static @NotNull org.aya.pretty.doc.Doc cube(@NotNull @NotNull org.aya.util.distill.DistillerOptions options, @NotNull FormTerm.Cube cube)

    • formula

      @NotNull public @NotNull org.aya.pretty.doc.Doc formula(@NotNull @NotNull BaseDistiller.Outer outer, @NotNull @NotNull org.aya.guest0x0.cubical.Formula<Term> formula)

    • partial

      @NotNull public static <T extends org.aya.guest0x0.cubical.Restr.TermLike<T> & AyaDocile> @NotNull org.aya.pretty.doc.Doc partial(@NotNull @NotNull org.aya.util.distill.DistillerOptions options, @NotNull @NotNull org.aya.guest0x0.cubical.Partial<T> partial)

    • restr

      @NotNull public static <T extends org.aya.guest0x0.cubical.Restr.TermLike<T> & AyaDocile> @NotNull org.aya.pretty.doc.Doc restr(@NotNull @NotNull org.aya.util.distill.DistillerOptions options, @NotNull @NotNull org.aya.guest0x0.cubical.Restr<T> restr)

    • side

      @NotNull public static <T extends org.aya.guest0x0.cubical.Restr.TermLike<T> & AyaDocile> @NotNull org.aya.pretty.doc.Doc side(@NotNull @NotNull org.aya.util.distill.DistillerOptions options, @NotNull org.aya.guest0x0.cubical.Restr.Side<T> side)

    • cofib

      @NotNull public static <T extends org.aya.guest0x0.cubical.Restr.TermLike<T> & AyaDocile> @NotNull org.aya.pretty.doc.Doc cofib(@NotNull @NotNull org.aya.util.distill.DistillerOptions options, @NotNull org.aya.guest0x0.cubical.Restr.Cofib<T> cofib)

    • chooseStyle

      @Nullable protected static @Nullable org.aya.pretty.doc.Style chooseStyle(Object concrete)