Module aya.base

Package org.aya.distill

Class CoreDistiller

java.lang.Object

org.aya.distill.BaseDistiller<Term>

org.aya.distill.CoreDistiller

public class CoreDistiller
extends BaseDistiller<Term>

It's called distiller, and it serves as the pretty printer. Credit after Jon Sterling

See Also:

• ConcreteDistiller

Nested Class Summary

Nested classes/interfaces inherited from class org.aya.distill.BaseDistiller

BaseDistiller.Fmt<T extends AyaDocile>, BaseDistiller.Outer

Field Summary

Fields inherited from class org.aya.distill.BaseDistiller

CON_CALL, DATA_CALL, FIELD_CALL, FN_CALL, GENERALIZED, KEYWORD, options, PRIM_CALL, STRUCT_CALL

Constructor Summary

Constructors

Constructor	Description
CoreDistiller(@NotNull org.aya.util.distill.DistillerOptions options)

Method Summary

Modifier and Type	Method	Description
@NotNull org.aya.pretty.doc.Doc	def(@NotNull GenericDef predef)
@NotNull org.aya.pretty.doc.Doc	pat(@NotNull Pat pat, BaseDistiller.Outer outer)
@NotNull org.aya.pretty.doc.Doc	term(@NotNull BaseDistiller.Outer outer, @NotNull Term preterm)

Methods inherited from class org.aya.distill.BaseDistiller

arg, checkParen, chooseStyle, cofib, cube, defVar, formula, linkDef, linkDef, linkIdOf, linkListLit, linkLit, linkRef, partial, restr, side, toDoc, unnamedParam, varDoc, visitArgsCalls, visitCalls, visitCalls, visitTele, visitTele

Methods inherited from class java.lang.Object

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

Constructor Details

CoreDistiller

public CoreDistiller(@NotNull
 @NotNull org.aya.util.distill.DistillerOptions options)

Method Details

term

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

Specified by:

term in class BaseDistiller<Term>

pat

@NotNull
public @NotNull org.aya.pretty.doc.Doc pat(@NotNull
 @NotNull Pat pat,
 BaseDistiller.Outer outer)

def

@NotNull
public @NotNull org.aya.pretty.doc.Doc def(@NotNull
 @NotNull GenericDef predef)