Module aya.base
Package org.aya.generic

Interface Constants

public interface Constants

  • Field Details

  • Method Details

    • alternativeOr

      @NotNull static @NotNull Expr alternativeOr(@NotNull @NotNull org.aya.util.error.SourcePos pos)

    • alternativeEmpty

      @NotNull static @NotNull Expr alternativeEmpty(@NotNull @NotNull org.aya.util.error.SourcePos pos)

    • listNil

      @NotNull static @NotNull Expr listNil(@NotNull @NotNull org.aya.util.error.SourcePos pos)

    • listCons

      @NotNull static @NotNull Expr listCons(@NotNull @NotNull org.aya.util.error.SourcePos pos)

    • applicativeApp

      @NotNull static @NotNull Expr applicativeApp(@NotNull @NotNull org.aya.util.error.SourcePos pos)

    • functorPure

      @NotNull static @NotNull Expr functorPure(@NotNull @NotNull org.aya.util.error.SourcePos pos)

    • monadBind

      @NotNull static @NotNull Expr monadBind(@NotNull @NotNull org.aya.util.error.SourcePos pos)

    • anonymous

      @NotNull static @NotNull LocalVar anonymous()

    • randomlyNamed

      @NotNull static @NotNull LocalVar randomlyNamed(@NotNull @NotNull org.aya.util.error.SourcePos pos)

    • randomName

      @NotNull static @NotNull String randomName(@NotNull @NotNull Object pos)