Module aya.base

Package org.aya.concrete

Class Pattern.Clause

java.lang.Object

org.aya.concrete.Pattern.Clause

Enclosing interface:

Pattern

public static final class Pattern.Clause
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
final @NotNull kala.control.Option<Expr>	expr
boolean	hasError
final @NotNull kala.collection.immutable.ImmutableSeq<org.aya.util.Arg<Pattern>>	patterns
final @NotNull org.aya.util.error.SourcePos	sourcePos

Constructor Summary

Constructors

Constructor	Description
Clause(@NotNull org.aya.util.error.SourcePos sourcePos, @NotNull kala.collection.immutable.ImmutableSeq<org.aya.util.Arg<Pattern>> patterns, @NotNull kala.control.Option<Expr> expr)

Method Summary

Modifier and Type	Method	Description
@NotNull Pattern.Clause	descent(@NotNull UnaryOperator<@NotNull Expr> f)
@NotNull Pattern.Clause	descent(@NotNull UnaryOperator<@NotNull Expr> f, @NotNull UnaryOperator<@NotNull Pattern> g)
@NotNull Pattern.Clause	update(@NotNull kala.collection.immutable.ImmutableSeq<org.aya.util.Arg<Pattern>> pats, @NotNull kala.control.Option<Expr> body)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

sourcePos

@NotNull
public final @NotNull org.aya.util.error.SourcePos sourcePos

patterns

@NotNull
public final @NotNull kala.collection.immutable.ImmutableSeq<org.aya.util.Arg<Pattern>> patterns

expr

@NotNull
public final @NotNull kala.control.Option<Expr> expr

hasError

public boolean hasError

Constructor Details

Clause

public Clause(@NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<org.aya.util.Arg<Pattern>> patterns,
 @NotNull
 @NotNull kala.control.Option<Expr> expr)

Method Details

update

@NotNull
public @NotNull Pattern.Clause update(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<org.aya.util.Arg<Pattern>> pats,
 @NotNull
 @NotNull kala.control.Option<Expr> body)

descent

@NotNull
public @NotNull Pattern.Clause descent(@NotNull
 @NotNull UnaryOperator<@NotNull Expr> f)

descent

@NotNull
public @NotNull Pattern.Clause descent(@NotNull
 @NotNull UnaryOperator<@NotNull Expr> f,
 @NotNull
 @NotNull UnaryOperator<@NotNull Pattern> g)