模块 aya.base

程序包 org.aya.concrete

接口 Pattern

所有超级接口:

AyaDocile, org.aya.util.binop.BinOpParser.Elem<Pattern>, org.aya.util.error.SourceNode

所有已知实现类:

Pattern.Absurd, Pattern.Bind, Pattern.BinOpSeq, Pattern.CalmFace, Pattern.Ctor, Pattern.Number, Pattern.Tuple

public sealed interface Pattern
extends AyaDocile, org.aya.util.error.SourceNode, org.aya.util.binop.BinOpParser.Elem<Pattern>
permits Pattern.BinOpSeq, Pattern.Tuple, Pattern.Number, Pattern.Absurd, Pattern.CalmFace, Pattern.Bind, Pattern.Ctor

嵌套类概要

嵌套类

修饰符和类型	接口	说明
static final record	Pattern.Absurd
static final record	Pattern.Bind
static final record	Pattern.BinOpSeq
static final record	Pattern.CalmFace
static final class	Pattern.Clause
static final record	Pattern.Ctor
static final record	Pattern.Number
static final record	Pattern.Tuple

方法概要

修饰符和类型	方法	说明
default @NotNull Pattern	expr()
default @NotNull org.aya.pretty.doc.Doc	toDoc(@NotNull org.aya.util.distill.DistillerOptions options)

从接口继承的方法 org.aya.generic.AyaDocile

debuggerOnlyToDoc

从接口继承的方法 org.aya.util.binop.BinOpParser.Elem

explicit, sourcePos

方法详细资料

toDoc

@NotNull
default @NotNull org.aya.pretty.doc.Doc toDoc(@NotNull
 @NotNull org.aya.util.distill.DistillerOptions options)

指定者:

toDoc 在接口中 AyaDocile

expr

@NotNull
default @NotNull Pattern expr()

指定者:

expr 在接口中 org.aya.util.binop.BinOpParser.Elem<Pattern>