Module aya.base

Package org.aya.distill

Class ConcreteDistiller

java.lang.Object

org.aya.distill.BaseDistiller<Expr>

org.aya.distill.ConcreteDistiller

public class ConcreteDistiller
extends BaseDistiller<Expr>

See Also:

• CoreDistiller

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
ConcreteDistiller(@NotNull org.aya.util.distill.DistillerOptions options)

Method Summary

Modifier and Type	Method	Description
@NotNull org.aya.pretty.doc.Doc	decl(@NotNull Decl predecl)
org.aya.pretty.doc.Doc	matchy(@NotNull Pattern.Clause match)
@NotNull org.aya.pretty.doc.Doc	pattern(@NotNull Pattern pattern, boolean licit, BaseDistiller.Outer outer)
@NotNull org.aya.pretty.doc.Doc	pattern(@NotNull org.aya.util.Arg<Pattern> pattern, BaseDistiller.Outer outer)
@NotNull org.aya.pretty.doc.Doc	stmt(@NotNull Stmt prestmt)
@NotNull org.aya.pretty.doc.Doc	term(@NotNull BaseDistiller.Outer outer, @NotNull Expr prexpr)
org.aya.pretty.doc.Doc	visitBindBlock(@NotNull BindBlock bindBlock)
@NotNull org.aya.pretty.doc.Doc	visitDoBinding(Expr.DoBind doBind)	This function assumed that doBind.var() is not LocalVar.IGNORED
@NotNull org.aya.pretty.doc.Doc	visitPersonality(Decl.Personality personality)

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

ConcreteDistiller

public ConcreteDistiller(@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 Expr prexpr)

Specified by:

term in class BaseDistiller<Expr>

pattern

@NotNull
public @NotNull org.aya.pretty.doc.Doc pattern(@NotNull
 @NotNull org.aya.util.Arg<Pattern> pattern,
 BaseDistiller.Outer outer)

pattern

@NotNull
public @NotNull org.aya.pretty.doc.Doc pattern(@NotNull
 @NotNull Pattern pattern,
 boolean licit,
 BaseDistiller.Outer outer)

matchy

public org.aya.pretty.doc.Doc matchy(@NotNull Pattern.Clause match)

stmt

@NotNull
public @NotNull org.aya.pretty.doc.Doc stmt(@NotNull
 @NotNull Stmt prestmt)

decl

@NotNull
public @NotNull org.aya.pretty.doc.Doc decl(@NotNull
 @NotNull Decl predecl)

visitDoBinding

@NotNull
public @NotNull org.aya.pretty.doc.Doc visitDoBinding(@NotNull
 Expr.DoBind doBind)

This function assumed that doBind.var() is not LocalVar.IGNORED

visitPersonality

@NotNull
public @NotNull org.aya.pretty.doc.Doc visitPersonality(@NotNull
 Decl.Personality personality)

visitBindBlock

public org.aya.pretty.doc.Doc visitBindBlock(@NotNull
 @NotNull BindBlock bindBlock)