Module aya.base
Package org.aya.concrete

Class Pattern.Clause

java.lang.Object
org.aya.concrete.Pattern.Clause
All Implemented Interfaces:
org.aya.util.error.SourceNode
Enclosing interface:
Pattern
public static final class Pattern.Clause extends Object implements org.aya.util.error.SourceNode

  • 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)

    • sourcePos

      @NotNull public @NotNull org.aya.util.error.SourcePos sourcePos()
      Specified by:
      sourcePos in interface org.aya.util.error.SourceNode