Constants.hs

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

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

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