content: -- | A module for tier-0 constants.
  
  module Hydra.Constants where
  
  import qualified Hydra.Core as Core
  import Prelude hiding  (Enum, Ordering, fail, map, pure, sum)
  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
  
  ignoredVariable :: String
  ignoredVariable = "_"
  
  key_classes :: Core.Name
  key_classes = (Core.Name "classes")
  
  key_debugId :: Core.Name
  key_debugId = (Core.Name "debugId")
  
  key_deprecated :: Core.Name
  key_deprecated = (Core.Name "deprecated")
  
  key_description :: Core.Name
  key_description = (Core.Name "description")
  
  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")
  
  key_maxLength :: Core.Name
  key_maxLength = (Core.Name "maxLength")
  
  key_minLength :: Core.Name
  key_minLength = (Core.Name "minLength")
  
  key_preserveFieldName :: Core.Name
  key_preserveFieldName = (Core.Name "preserveFieldName")
  
  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 = 9223372036854775807
  
  -- | 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 = 4000
  
  warningAutoGeneratedFile :: String
  warningAutoGeneratedFile = "Note: this is an automatically generated file. Do not edit."
  