模块 aya.base
程序包 org.aya.generic

接口 Constants

public interface Constants

  • 字段详细资料

    • ANONYMOUS_PREFIX

      @NotNull @NonNls static final @NotNull @NonNls String ANONYMOUS_PREFIX
      另请参阅:

    • GENERATED_POSTFIX

      @NotNull @NonNls static final @NotNull @NonNls String GENERATED_POSTFIX
      另请参阅:

    • SCOPE_SEPARATOR

      @NotNull @NonNls static final @NotNull @NonNls String SCOPE_SEPARATOR
      另请参阅:

    • SCOPE_SEPARATOR_PATTERN

      @NotNull static final @NotNull Pattern SCOPE_SEPARATOR_PATTERN

    • AYA_POSTFIX

      @NotNull @NonNls static final @NotNull @NonNls String AYA_POSTFIX
      另请参阅:

    • AYA_LITERATE_POSTFIX

      @NotNull @NonNls static final @NotNull @NonNls String AYA_LITERATE_POSTFIX
      另请参阅:

    • AYA_POSTFIX_PATTERN

      @NotNull static final @NotNull Pattern AYA_POSTFIX_PATTERN

    • AYAC_POSTFIX

      @NotNull @NonNls static final @NotNull @NonNls String AYAC_POSTFIX
      另请参阅:

    • AYA_JSON

      @NotNull @NonNls static final @NotNull @NonNls String AYA_JSON
      另请参阅:

    • ALTERNATIVE_EMPTY

      @NotNull @NonNls static final @NotNull @NonNls String ALTERNATIVE_EMPTY
      另请参阅:

    • ALTERNATIVE_OR

      @NotNull @NonNls static final @NotNull @NonNls String ALTERNATIVE_OR
      另请参阅:

    • LIST_NIL

      @NotNull @NonNls static final @NotNull @NonNls String LIST_NIL
      另请参阅:

    • LIST_CONS

      @NotNull @NonNls static final @NotNull @NonNls String LIST_CONS
      另请参阅:

    • APPLICATIVE_APP

      @NotNull @NonNls static final @NotNull @NonNls String APPLICATIVE_APP
      另请参阅:

    • FUNCTOR_PURE

      @NotNull @NonNls static final @NotNull @NonNls String FUNCTOR_PURE
      另请参阅:

    • MONAD_BIND

      @NotNull @NonNls static final @NotNull @NonNls String MONAD_BIND
      另请参阅:

  • 方法详细资料

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