Constant Field Values

Contents

• org.aya.*

org.aya.*

org.aya.generic.Constants

Modifier and Type	Constant Field	Value
public static final @NotNull @NonNls String	ALTERNATIVE_EMPTY	"empty"
public static final @NotNull @NonNls String	ALTERNATIVE_OR	"<|>"
public static final @NotNull @NonNls String	ANONYMOUS_PREFIX	"_"
public static final @NotNull @NonNls String	APPLICATIVE_APP	"<*>"
public static final @NotNull @NonNls String	AYA_JSON	"aya.json"
public static final @NotNull @NonNls String	AYA_LITERATE_POSTFIX	".aya.md"
public static final @NotNull @NonNls String	AYA_POSTFIX	".aya"
public static final @NotNull @NonNls String	AYAC_POSTFIX	".ayac"
public static final @NotNull @NonNls String	FUNCTOR_PURE	"pure"
public static final @NotNull @NonNls String	GENERATED_POSTFIX	"\'"
public static final @NotNull @NonNls String	LIST_CONS	":<"
public static final @NotNull @NonNls String	LIST_NIL	"nil"
public static final @NotNull @NonNls String	MONAD_BIND	">>="
public static final @NotNull @NonNls String	SCOPE_SEPARATOR	"::"

org.aya.prelude.GeneratedVersion

Modifier and Type	Constant Field	Value
public static final @NotNull @NonNls String	COMMIT_HASH	"723d709514b067719746c0a98f92c4dde1feb3fc"
public static final @NotNull @NonNls String	VERSION_STRING	"0.25"