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.ByteString as B
import qualified Data.Int as I
import qualified Data.List as L
import qualified Data.Map as M
import qualified Data.Set as S

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

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

-- | A counter for generating fresh type variable names
key_freshTypeVariableCount :: Core.Name
key_freshTypeVariableCount = (Core.Name "freshTypeVariableCount")

-- | The maximum value of a 32-bit integer
maxInt32 :: Int
maxInt32 = 2147483647

-- | A placeholder name for row types as they are being constructed
placeholderName :: Core.Name
placeholderName = (Core.Name "Placeholder")

-- | A maximum depth for nested flows. Currently, this is set very high because deep flows are 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."