Module aya.base

Package org.aya.prettier

Class ConcretePrettier

java.lang.Object

org.aya.prettier.BasePrettier<Expr>

org.aya.prettier.ConcretePrettier

public class ConcretePrettier
extends BasePrettier<Expr>

See Also:

• CorePrettier

Nested Class Summary

Nested classes/interfaces inherited from class org.aya.prettier.BasePrettier

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

Field Summary

Fields inherited from class org.aya.prettier.BasePrettier

CALL, CLAZZ, COMMENT, CON, DATA, ERROR, FN, GENERALIZED, GOAL, KEYWORD, LOCAL_VAR, MEMBER, options, PRIM, WARNING

Constructor Summary

Constructors

Constructor	Description
ConcretePrettier(@NotNull org.aya.util.prettier.PrettierOptions 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, BasePrettier.Outer outer)
@NotNull org.aya.pretty.doc.Doc	pattern(@NotNull org.aya.util.Arg<Pattern> pattern, BasePrettier.Outer outer)
@NotNull org.aya.pretty.doc.Doc	patterns(@NotNull kala.collection.immutable.ImmutableSeq<org.aya.util.Arg<Pattern>> patterns)
@NotNull org.aya.pretty.doc.Doc	stmt(@NotNull Stmt prestmt)
@NotNull org.aya.pretty.doc.Doc	term(@NotNull BasePrettier.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(DeclInfo.Personality personality)

Methods inherited from class org.aya.prettier.BasePrettier

arg, argDoc, argsDoc, checkParen, chooseStyle, cofib, defVar, formula, linkDef, linkDef, linkIdOf, linkIdOf, linkListLit, linkLit, linkRef, partial, restr, side, 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

ConcretePrettier

public ConcretePrettier(@NotNull
 @NotNull org.aya.util.prettier.PrettierOptions options)

Method Details

term

@NotNull
public @NotNull org.aya.pretty.doc.Doc term(@NotNull
 @NotNull BasePrettier.Outer outer,
 @NotNull
 @NotNull Expr prexpr)

Specified by:

term in class BasePrettier<Expr>

patterns

@NotNull
public @NotNull org.aya.pretty.doc.Doc patterns(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<org.aya.util.Arg<Pattern>> patterns)

pattern

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

pattern

@NotNull
public @NotNull org.aya.pretty.doc.Doc pattern(@NotNull
 @NotNull Pattern pattern,
 boolean licit,
 BasePrettier.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
 DeclInfo.Personality personality)

visitBindBlock

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