Literate (base 0.21 API)

所有超级接口:: org.aya.pretty.doc.Docile

所有已知实现类:: Literate.Code, Literate.Err, Literate.Many, Literate.Raw

public sealed interface Literate extends org.aya.pretty.doc.Docile permits Literate.Code, Literate.Raw, Literate.Many, Literate.Err

嵌套类概要

嵌套类

修饰符和类型

接口

说明

static final class

Literate.Code

static final record

Literate.Err

static final record

Literate.Many

static final record

Literate.Raw
方法概要

修饰符和类型

方法

说明

default <P> void

modify(@NotNull Function<Expr,Expr> fixpoint)

@NotNull kala.collection.immutable.ImmutableSeq<TyckOrder>

resolve(@NotNull ResolveInfo info, @NotNull Context context)

default void

tyck(@NotNull ExprTycker tycker)

default <P> void

visit(@NotNull ExprTraversal<P> consumer, P p)

从接口继承的方法 org.aya.pretty.doc.Docile
toDoc

方法详细资料
- modify
  
  default <P> void modify(@NotNull @NotNull Function<Expr,Expr> fixpoint)
- visit
  
  default <P> void visit(@NotNull @NotNull ExprTraversal<P> consumer, P p)
- tyck
  
  default void tyck(@NotNull @NotNull ExprTycker tycker)
- resolve
  
  @NotNull @NotNull kala.collection.immutable.ImmutableSeq<TyckOrder> resolve(@NotNull @NotNull ResolveInfo info, @NotNull @NotNull Context context)