Constants.hs

-- Note: this is an automatically generated file. Do not edit.
-- | A module for tier-0 constants.

module Hydra.Constants where
import qualified Hydra.Core as Core
import Prelude hiding  (Enum, Ordering, decodeFloat, encodeFloat, fail, map, pure, sum)
import qualified Data.Scientific as Sci
-- | Disable type checking by default, for better performance
debugInference :: Bool
debugInference = True
-- | The name used for ignored variables
ignoredVariable :: String
ignoredVariable = "_"
-- | Annotation key for type classes
key_classes :: Core.Name
key_classes = Core.Name "classes"
-- | Annotation key for debug identifiers
key_debugId :: Core.Name
key_debugId = Core.Name "debugId"
-- | Annotation key for deprecated markers
key_deprecated :: Core.Name
key_deprecated = Core.Name "deprecated"
-- | Annotation key for descriptions
key_description :: Core.Name
key_description = Core.Name "description"
-- | Annotation key for exclusions
key_exclude :: Core.Name
key_exclude = Core.Name "exclude"
-- | A flag which tells the language coders to encode a given encoded type as a term rather than a native type
key_firstClassType :: Core.Name
key_firstClassType = Core.Name "firstClassType"
-- | A counter for generating fresh type variable names
key_freshTypeVariableCount :: Core.Name
key_freshTypeVariableCount = Core.Name "freshTypeVariableCount"
-- | Annotation key for maximum length constraints
key_maxLength :: Core.Name
key_maxLength = Core.Name "maxLength"
-- | Annotation key for minimum length constraints
key_minLength :: Core.Name
key_minLength = Core.Name "minLength"
-- | Annotation key for preserving field names during code generation
key_preserveFieldName :: Core.Name
key_preserveFieldName = Core.Name "preserveFieldName"
-- | Annotation key for type information
key_type :: Core.Name
key_type = Core.Name "type"
-- | The maximum value of a 32-bit integer
maxInt32 :: Int
maxInt32 = 2147483647
-- | A maximum depth for nested computations. Currently, this is set very high because deep recursion is common in type inference over the Hydra kernel.
maxTraceDepth :: Int
maxTraceDepth = 5000
-- | A standard warning message for auto-generated files
warningAutoGeneratedFile :: String
warningAutoGeneratedFile = "Note: this is an automatically generated file. Do not edit."