Module aya.base

Package org.aya.concrete

Interface Pattern

All Superinterfaces:

AyaDocile, org.aya.util.error.SourceNode

All Known Implementing Classes:

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

public sealed interface Pattern
extends AyaDocile, org.aya.util.error.SourceNode
permits Pattern.Tuple, Pattern.Number, Pattern.Absurd, Pattern.CalmFace, Pattern.Bind, Pattern.Ctor, Pattern.BinOpSeq, Pattern.As, Pattern.List

Patterns in the concrete syntax.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	Pattern.Absurd
static final record	Pattern.As	Represent a (Pattern) as bind pattern
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.FakeShapedList
static final record	Pattern.List	Sugared List Pattern
static final record	Pattern.Number
static final record	Pattern.Tuple

Method Summary

Modifier and Type	Method	Description
default @NotNull Pattern	descent(@NotNull UnaryOperator<@NotNull Pattern> f)
default @NotNull org.aya.pretty.doc.Doc	toDoc(@NotNull org.aya.util.distill.DistillerOptions options)

Methods inherited from interface org.aya.generic.AyaDocile

debuggerOnlyToDoc

Methods inherited from interface org.aya.util.error.SourceNode

sourcePos

Method Details

toDoc

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

Specified by:

toDoc in interface AyaDocile

descent

@NotNull
default @NotNull Pattern descent(@NotNull
 @NotNull UnaryOperator<@NotNull Pattern> f)