Helium.StaticAnalysis.StaticChecks.StaticChecks

Documentation

filterRemovedNames :: [(Name, Entity)] -> Error -> Bool

filterDerivedNames :: [Range] -> Error -> Bool

uniqueKeys :: Ord key => [(key, a)] -> ([(key, a)], [[key]])

type ScopeInfo = ([Names], [Name], [(Name, Name)])

changeOfScope :: Names -> Names -> Names -> (Names, Names, ScopeInfo)

uniqueAppearance :: Ord a => [a] -> ([a], [[a]])

nextUnique :: Num a => a -> (a, a)

checkType :: Map Name Int -> Names -> Type -> [Error]

walkSpine :: Type -> (Type, [Type])

checkKind :: Name -> Map Name Int -> Int -> Names -> [Error]

findSimilarFunctionBindings :: [(Name, TpScheme)] -> [(Name, Name)] -> [Warning]

xor :: Bool -> Bool -> Bool

simplifyContext :: OrderedTypeSynonyms -> Range -> [(Int, Name)] -> TpScheme -> Warnings

mode :: Ord a => [a] -> Maybe a

frequencies :: Ord a => [a] -> [(a, Int)]

patternConstructorErrors :: Maybe TpScheme -> Name -> Names -> Int -> Bool -> Names -> [Error]

simplePattern :: Pattern -> Bool

checkTypeSignatures :: Names -> Names -> [(Name, TpScheme)] -> Errors

isSimplePattern :: Pattern -> Bool

checkExport :: Entity -> Name -> [Name] -> [Error]

equalName :: Name -> Name -> Bool

topLevelScopeInfo :: ScopeInfo -> ScopeInfo

makeErrors :: [(ScopeInfo, Entity)] -> Errors

makeWarnings :: [(ScopeInfo, Entity)] -> Warnings

data Inh_Alternative

Constructors

Inh_Alternative

Fields

allTypeConstructors_Inh_Alternative :: Names

allValueConstructors_Inh_Alternative :: Names

classEnvironment_Inh_Alternative :: ClassEnvironment

collectScopeInfos_Inh_Alternative :: [(ScopeInfo, Entity)]

counter_Inh_Alternative :: Int

kindErrors_Inh_Alternative :: [Error]

miscerrors_Inh_Alternative :: [Error]

namesInScope_Inh_Alternative :: Names

options_Inh_Alternative :: [Option]

orderedTypeSynonyms_Inh_Alternative :: OrderedTypeSynonyms

typeConstructors_Inh_Alternative :: Map Name Int

valueConstructors_Inh_Alternative :: Map Name TpScheme

warnings_Inh_Alternative :: [Warning]

data Syn_Alternative

Constructors

Syn_Alternative

Fields

collectInstances_Syn_Alternative :: [(Name, Instance)]

collectScopeInfos_Syn_Alternative :: [(ScopeInfo, Entity)]

counter_Syn_Alternative :: Int

kindErrors_Syn_Alternative :: [Error]

miscerrors_Syn_Alternative :: [Error]

self_Syn_Alternative :: Alternative

unboundNames_Syn_Alternative :: Names

warnings_Syn_Alternative :: [Warning]

wrap_Alternative :: T_Alternative -> Inh_Alternative -> Syn_Alternative

sem_Alternative :: Alternative -> T_Alternative

newtype T_Alternative

Constructors

T_Alternative

Fields

attach_T_Alternative :: Identity T_Alternative_s2

newtype T_Alternative_s2

Constructors

C_Alternative_s2

Fields

inv_Alternative_s2 :: T_Alternative_v1

data T_Alternative_s3

Constructors

C_Alternative_s3

type T_Alternative_v1 = T_Alternative_vIn1 -> T_Alternative_vOut1

data T_Alternative_vIn1

Constructors

T_Alternative_vIn1 Names Names ClassEnvironment [(ScopeInfo, Entity)] Int [Error] [Error] Names [Option] OrderedTypeSynonyms (Map Name Int) (Map Name TpScheme) [Warning]

data T_Alternative_vOut1

Constructors

T_Alternative_vOut1 [(Name, Instance)] [(ScopeInfo, Entity)] Int [Error] [Error] Alternative Names [Warning]

sem_Alternative_Hole :: T_Range -> Integer -> T_Alternative

sem_Alternative_Feedback :: T_Range -> String -> T_Alternative -> T_Alternative

sem_Alternative_Alternative :: T_Range -> T_Pattern -> T_RightHandSide -> T_Alternative

sem_Alternative_Empty :: T_Range -> T_Alternative

data Inh_Alternatives

Constructors

Inh_Alternatives

Fields

allTypeConstructors_Inh_Alternatives :: Names

allValueConstructors_Inh_Alternatives :: Names

classEnvironment_Inh_Alternatives :: ClassEnvironment

collectScopeInfos_Inh_Alternatives :: [(ScopeInfo, Entity)]

counter_Inh_Alternatives :: Int

kindErrors_Inh_Alternatives :: [Error]

miscerrors_Inh_Alternatives :: [Error]

namesInScope_Inh_Alternatives :: Names

options_Inh_Alternatives :: [Option]

orderedTypeSynonyms_Inh_Alternatives :: OrderedTypeSynonyms

typeConstructors_Inh_Alternatives :: Map Name Int

valueConstructors_Inh_Alternatives :: Map Name TpScheme

warnings_Inh_Alternatives :: [Warning]

data Syn_Alternatives

Constructors

Syn_Alternatives

Fields

collectInstances_Syn_Alternatives :: [(Name, Instance)]

collectScopeInfos_Syn_Alternatives :: [(ScopeInfo, Entity)]

counter_Syn_Alternatives :: Int

kindErrors_Syn_Alternatives :: [Error]

miscerrors_Syn_Alternatives :: [Error]

self_Syn_Alternatives :: Alternatives

unboundNames_Syn_Alternatives :: Names

warnings_Syn_Alternatives :: [Warning]

wrap_Alternatives :: T_Alternatives -> Inh_Alternatives -> Syn_Alternatives

sem_Alternatives :: Alternatives -> T_Alternatives

newtype T_Alternatives

Constructors

T_Alternatives

Fields

attach_T_Alternatives :: Identity T_Alternatives_s5

newtype T_Alternatives_s5

Constructors

C_Alternatives_s5

Fields

inv_Alternatives_s5 :: T_Alternatives_v4

data T_Alternatives_s6

Constructors

C_Alternatives_s6

type T_Alternatives_v4 = T_Alternatives_vIn4 -> T_Alternatives_vOut4

data T_Alternatives_vIn4

Constructors

T_Alternatives_vIn4 Names Names ClassEnvironment [(ScopeInfo, Entity)] Int [Error] [Error] Names [Option] OrderedTypeSynonyms (Map Name Int) (Map Name TpScheme) [Warning]

data T_Alternatives_vOut4

Constructors

T_Alternatives_vOut4 [(Name, Instance)] [(ScopeInfo, Entity)] Int [Error] [Error] Alternatives Names [Warning]

sem_Alternatives_Cons :: T_Alternative -> T_Alternatives -> T_Alternatives

sem_Alternatives_Nil :: T_Alternatives

data Inh_AnnotatedType

Constructors

Inh_AnnotatedType

Fields

allTypeConstructors_Inh_AnnotatedType :: Names

allValueConstructors_Inh_AnnotatedType :: Names

counter_Inh_AnnotatedType :: Int

kindErrors_Inh_AnnotatedType :: [Error]

miscerrors_Inh_AnnotatedType :: [Error]

namesInScope_Inh_AnnotatedType :: Names

options_Inh_AnnotatedType :: [Option]

typeConstructors_Inh_AnnotatedType :: Map Name Int

valueConstructors_Inh_AnnotatedType :: Map Name TpScheme

warnings_Inh_AnnotatedType :: [Warning]

data Syn_AnnotatedType

Constructors

Syn_AnnotatedType

Fields

counter_Syn_AnnotatedType :: Int

kindErrors_Syn_AnnotatedType :: [Error]

miscerrors_Syn_AnnotatedType :: [Error]

self_Syn_AnnotatedType :: AnnotatedType

type_Syn_AnnotatedType :: Type

typevariables_Syn_AnnotatedType :: Names

unboundNames_Syn_AnnotatedType :: Names

warnings_Syn_AnnotatedType :: [Warning]

wrap_AnnotatedType :: T_AnnotatedType -> Inh_AnnotatedType -> Syn_AnnotatedType

sem_AnnotatedType :: AnnotatedType -> T_AnnotatedType

newtype T_AnnotatedType

Constructors

T_AnnotatedType

Fields

attach_T_AnnotatedType :: Identity T_AnnotatedType_s8

newtype T_AnnotatedType_s8

Constructors

C_AnnotatedType_s8

Fields

inv_AnnotatedType_s8 :: T_AnnotatedType_v7

data T_AnnotatedType_s9

Constructors

C_AnnotatedType_s9

type T_AnnotatedType_v7 = T_AnnotatedType_vIn7 -> T_AnnotatedType_vOut7

data T_AnnotatedType_vIn7

Constructors

T_AnnotatedType_vIn7 Names Names Int [Error] [Error] Names [Option] (Map Name Int) (Map Name TpScheme) [Warning]

data T_AnnotatedType_vOut7

Constructors

T_AnnotatedType_vOut7 Int [Error] [Error] AnnotatedType Type Names Names [Warning]

sem_AnnotatedType_AnnotatedType :: T_Range -> Bool -> T_Type -> T_AnnotatedType

data Inh_AnnotatedTypes

Constructors

Inh_AnnotatedTypes

Fields

allTypeConstructors_Inh_AnnotatedTypes :: Names

allValueConstructors_Inh_AnnotatedTypes :: Names

counter_Inh_AnnotatedTypes :: Int

kindErrors_Inh_AnnotatedTypes :: [Error]

miscerrors_Inh_AnnotatedTypes :: [Error]

namesInScope_Inh_AnnotatedTypes :: Names

options_Inh_AnnotatedTypes :: [Option]

typeConstructors_Inh_AnnotatedTypes :: Map Name Int

valueConstructors_Inh_AnnotatedTypes :: Map Name TpScheme

warnings_Inh_AnnotatedTypes :: [Warning]

data Syn_AnnotatedTypes

Constructors

Syn_AnnotatedTypes

Fields

counter_Syn_AnnotatedTypes :: Int

kindErrors_Syn_AnnotatedTypes :: [Error]

miscerrors_Syn_AnnotatedTypes :: [Error]

self_Syn_AnnotatedTypes :: AnnotatedTypes

types_Syn_AnnotatedTypes :: Types

typevariables_Syn_AnnotatedTypes :: Names

unboundNames_Syn_AnnotatedTypes :: Names

warnings_Syn_AnnotatedTypes :: [Warning]

wrap_AnnotatedTypes :: T_AnnotatedTypes -> Inh_AnnotatedTypes -> Syn_AnnotatedTypes

sem_AnnotatedTypes :: AnnotatedTypes -> T_AnnotatedTypes

newtype T_AnnotatedTypes

Constructors

T_AnnotatedTypes

Fields

attach_T_AnnotatedTypes :: Identity T_AnnotatedTypes_s11

newtype T_AnnotatedTypes_s11

Constructors

C_AnnotatedTypes_s11

Fields

inv_AnnotatedTypes_s11 :: T_AnnotatedTypes_v10

data T_AnnotatedTypes_s12

Constructors

C_AnnotatedTypes_s12

type T_AnnotatedTypes_v10 = T_AnnotatedTypes_vIn10 -> T_AnnotatedTypes_vOut10

data T_AnnotatedTypes_vIn10

Constructors

T_AnnotatedTypes_vIn10 Names Names Int [Error] [Error] Names [Option] (Map Name Int) (Map Name TpScheme) [Warning]

data T_AnnotatedTypes_vOut10

Constructors

T_AnnotatedTypes_vOut10 Int [Error] [Error] AnnotatedTypes Types Names Names [Warning]

sem_AnnotatedTypes_Cons :: T_AnnotatedType -> T_AnnotatedTypes -> T_AnnotatedTypes

sem_AnnotatedTypes_Nil :: T_AnnotatedTypes

data Inh_Body

Constructors

Inh_Body

Fields

allTypeConstructors_Inh_Body :: Names

allValueConstructors_Inh_Body :: Names

classEnvironment_Inh_Body :: ClassEnvironment

collectScopeInfos_Inh_Body :: [(ScopeInfo, Entity)]

collectTypeConstructors_Inh_Body :: [(Name, Int)]

collectTypeSynonyms_Inh_Body :: [(Name, (Int, Tps -> Tp))]

collectValueConstructors_Inh_Body :: [(Name, TpScheme)]

counter_Inh_Body :: Int

kindErrors_Inh_Body :: [Error]

miscerrors_Inh_Body :: [Error]

namesInScope_Inh_Body :: Names

operatorFixities_Inh_Body :: [(Name, (Int, Assoc))]

options_Inh_Body :: [Option]

orderedTypeSynonyms_Inh_Body :: OrderedTypeSynonyms

typeConstructors_Inh_Body :: Map Name Int

valueConstructors_Inh_Body :: Map Name TpScheme

warnings_Inh_Body :: [Warning]

data Syn_Body

Constructors

Syn_Body

Fields

collectInstances_Syn_Body :: [(Name, Instance)]

collectScopeInfos_Syn_Body :: [(ScopeInfo, Entity)]

collectTypeConstructors_Syn_Body :: [(Name, Int)]

collectTypeSynonyms_Syn_Body :: [(Name, (Int, Tps -> Tp))]

collectValueConstructors_Syn_Body :: [(Name, TpScheme)]

counter_Syn_Body :: Int

declVarNames_Syn_Body :: Names

importedModules_Syn_Body :: Names

kindErrors_Syn_Body :: [Error]

miscerrors_Syn_Body :: [Error]

operatorFixities_Syn_Body :: [(Name, (Int, Assoc))]

self_Syn_Body :: Body

typeSignatures_Syn_Body :: [(Name, TpScheme)]

unboundNames_Syn_Body :: Names

warnings_Syn_Body :: [Warning]

wrap_Body :: T_Body -> Inh_Body -> Syn_Body

sem_Body :: Body -> T_Body

newtype T_Body

Constructors

T_Body

Fields

attach_T_Body :: Identity T_Body_s14

newtype T_Body_s14

Constructors

C_Body_s14

Fields

inv_Body_s14 :: T_Body_v13

data T_Body_s15

Constructors

C_Body_s15

type T_Body_v13 = T_Body_vIn13 -> T_Body_vOut13

data T_Body_vIn13

Constructors

T_Body_vIn13 Names Names ClassEnvironment [(ScopeInfo, Entity)] [(Name, Int)] [(Name, (Int, Tps -> Tp))] [(Name, TpScheme)] Int [Error] [Error] Names [(Name, (Int, Assoc))] [Option] OrderedTypeSynonyms (Map Name Int) (Map Name TpScheme) [Warning]

data T_Body_vOut13

Constructors

T_Body_vOut13 [(Name, Instance)] [(ScopeInfo, Entity)] [(Name, Int)] [(Name, (Int, Tps -> Tp))] [(Name, TpScheme)] Int Names Names [Error] [Error] [(Name, (Int, Assoc))] Body [(Name, TpScheme)] Names [Warning]

sem_Body_Hole :: T_Range -> Integer -> T_Body

sem_Body_Body :: T_Range -> T_ImportDeclarations -> T_Declarations -> T_Body

data Inh_Constructor

Constructors

Inh_Constructor

Fields

allTypeConstructors_Inh_Constructor :: Names

allValueConstructors_Inh_Constructor :: Names

collectValueConstructors_Inh_Constructor :: [(Name, TpScheme)]

counter_Inh_Constructor :: Int

kindErrors_Inh_Constructor :: [Error]

miscerrors_Inh_Constructor :: [Error]

namesInScope_Inh_Constructor :: Names

options_Inh_Constructor :: [Option]

simpletype_Inh_Constructor :: SimpleType

typeConstructors_Inh_Constructor :: Map Name Int

valueConstructors_Inh_Constructor :: Map Name TpScheme

warnings_Inh_Constructor :: [Warning]

data Syn_Constructor

Constructors

Syn_Constructor

Fields

collectValueConstructors_Syn_Constructor :: [(Name, TpScheme)]

counter_Syn_Constructor :: Int

kindErrors_Syn_Constructor :: [Error]

miscerrors_Syn_Constructor :: [Error]

parameterTypes_Syn_Constructor :: Tps

self_Syn_Constructor :: Constructor

typevariables_Syn_Constructor :: Names

unboundNames_Syn_Constructor :: Names

warnings_Syn_Constructor :: [Warning]

wrap_Constructor :: T_Constructor -> Inh_Constructor -> Syn_Constructor

sem_Constructor :: Constructor -> T_Constructor

newtype T_Constructor

Constructors

T_Constructor

Fields

attach_T_Constructor :: Identity T_Constructor_s17

newtype T_Constructor_s17

Constructors

C_Constructor_s17

Fields

inv_Constructor_s17 :: T_Constructor_v16

data T_Constructor_s18

Constructors

C_Constructor_s18

type T_Constructor_v16 = T_Constructor_vIn16 -> T_Constructor_vOut16

data T_Constructor_vIn16

Constructors

T_Constructor_vIn16 Names Names [(Name, TpScheme)] Int [Error] [Error] Names [Option] SimpleType (Map Name Int) (Map Name TpScheme) [Warning]

data T_Constructor_vOut16

Constructors

T_Constructor_vOut16 [(Name, TpScheme)] Int [Error] [Error] Tps Constructor Names Names [Warning]

sem_Constructor_Constructor :: T_Range -> T_Name -> T_AnnotatedTypes -> T_Constructor

sem_Constructor_Infix :: T_Range -> T_AnnotatedType -> T_Name -> T_AnnotatedType -> T_Constructor

sem_Constructor_Record :: T_Range -> T_Name -> T_FieldDeclarations -> T_Constructor

data Inh_Constructors

Constructors

Inh_Constructors

Fields

allTypeConstructors_Inh_Constructors :: Names

allValueConstructors_Inh_Constructors :: Names

collectValueConstructors_Inh_Constructors :: [(Name, TpScheme)]

counter_Inh_Constructors :: Int

kindErrors_Inh_Constructors :: [Error]

miscerrors_Inh_Constructors :: [Error]

namesInScope_Inh_Constructors :: Names

options_Inh_Constructors :: [Option]

simpletype_Inh_Constructors :: SimpleType

typeConstructors_Inh_Constructors :: Map Name Int

valueConstructors_Inh_Constructors :: Map Name TpScheme

warnings_Inh_Constructors :: [Warning]

data Syn_Constructors

Constructors

Syn_Constructors

Fields

collectValueConstructors_Syn_Constructors :: [(Name, TpScheme)]

counter_Syn_Constructors :: Int

kindErrors_Syn_Constructors :: [Error]

miscerrors_Syn_Constructors :: [Error]

parameterTypes_Syn_Constructors :: Tps

self_Syn_Constructors :: Constructors

typevariables_Syn_Constructors :: Names

unboundNames_Syn_Constructors :: Names

warnings_Syn_Constructors :: [Warning]

wrap_Constructors :: T_Constructors -> Inh_Constructors -> Syn_Constructors

sem_Constructors :: Constructors -> T_Constructors

newtype T_Constructors

Constructors

T_Constructors

Fields

attach_T_Constructors :: Identity T_Constructors_s20

newtype T_Constructors_s20

Constructors

C_Constructors_s20

Fields

inv_Constructors_s20 :: T_Constructors_v19

data T_Constructors_s21

Constructors

C_Constructors_s21

type T_Constructors_v19 = T_Constructors_vIn19 -> T_Constructors_vOut19

data T_Constructors_vIn19

Constructors

T_Constructors_vIn19 Names Names [(Name, TpScheme)] Int [Error] [Error] Names [Option] SimpleType (Map Name Int) (Map Name TpScheme) [Warning]

data T_Constructors_vOut19

Constructors

T_Constructors_vOut19 [(Name, TpScheme)] Int [Error] [Error] Tps Constructors Names Names [Warning]

sem_Constructors_Cons :: T_Constructor -> T_Constructors -> T_Constructors

sem_Constructors_Nil :: T_Constructors

data Inh_ContextItem

Constructors

Inh_ContextItem

Fields

allTypeConstructors_Inh_ContextItem :: Names

miscerrors_Inh_ContextItem :: [Error]

options_Inh_ContextItem :: [Option]

typeConstructors_Inh_ContextItem :: Map Name Int

warnings_Inh_ContextItem :: [Warning]

data Syn_ContextItem

Constructors

Syn_ContextItem

Fields

contextRanges_Syn_ContextItem :: [Range]

contextVars_Syn_ContextItem :: [Name]

miscerrors_Syn_ContextItem :: [Error]

self_Syn_ContextItem :: ContextItem

warnings_Syn_ContextItem :: [Warning]

wrap_ContextItem :: T_ContextItem -> Inh_ContextItem -> Syn_ContextItem

sem_ContextItem :: ContextItem -> T_ContextItem

newtype T_ContextItem

Constructors

T_ContextItem

Fields

attach_T_ContextItem :: Identity T_ContextItem_s23

newtype T_ContextItem_s23

Constructors

C_ContextItem_s23

Fields

inv_ContextItem_s23 :: T_ContextItem_v22

data T_ContextItem_s24

Constructors

C_ContextItem_s24

type T_ContextItem_v22 = T_ContextItem_vIn22 -> T_ContextItem_vOut22

data T_ContextItem_vIn22

Constructors

T_ContextItem_vIn22 Names [Error] [Option] (Map Name Int) [Warning]

data T_ContextItem_vOut22

Constructors

T_ContextItem_vOut22 [Range] [Name] [Error] ContextItem [Warning]

sem_ContextItem_ContextItem :: T_Range -> T_Name -> T_Types -> T_ContextItem

data Inh_ContextItems

Constructors

Inh_ContextItems

Fields

allTypeConstructors_Inh_ContextItems :: Names

miscerrors_Inh_ContextItems :: [Error]

options_Inh_ContextItems :: [Option]

typeConstructors_Inh_ContextItems :: Map Name Int

warnings_Inh_ContextItems :: [Warning]

data Syn_ContextItems

Constructors

Syn_ContextItems

Fields

contextRanges_Syn_ContextItems :: [Range]

contextVars_Syn_ContextItems :: [Name]

miscerrors_Syn_ContextItems :: [Error]

self_Syn_ContextItems :: ContextItems

warnings_Syn_ContextItems :: [Warning]

wrap_ContextItems :: T_ContextItems -> Inh_ContextItems -> Syn_ContextItems

sem_ContextItems :: ContextItems -> T_ContextItems

newtype T_ContextItems

Constructors

T_ContextItems

Fields

attach_T_ContextItems :: Identity T_ContextItems_s26

newtype T_ContextItems_s26

Constructors

C_ContextItems_s26

Fields

inv_ContextItems_s26 :: T_ContextItems_v25

data T_ContextItems_s27

Constructors

C_ContextItems_s27

type T_ContextItems_v25 = T_ContextItems_vIn25 -> T_ContextItems_vOut25

data T_ContextItems_vIn25

Constructors

T_ContextItems_vIn25 Names [Error] [Option] (Map Name Int) [Warning]

data T_ContextItems_vOut25

Constructors

T_ContextItems_vOut25 [Range] [Name] [Error] ContextItems [Warning]

sem_ContextItems_Cons :: T_ContextItem -> T_ContextItems -> T_ContextItems

sem_ContextItems_Nil :: T_ContextItems

data Inh_Declaration

Constructors

Inh_Declaration

Fields

allTypeConstructors_Inh_Declaration :: Names

allValueConstructors_Inh_Declaration :: Names

classEnvironment_Inh_Declaration :: ClassEnvironment

collectScopeInfos_Inh_Declaration :: [(ScopeInfo, Entity)]

collectTypeConstructors_Inh_Declaration :: [(Name, Int)]

collectTypeSynonyms_Inh_Declaration :: [(Name, (Int, Tps -> Tp))]

collectValueConstructors_Inh_Declaration :: [(Name, TpScheme)]

counter_Inh_Declaration :: Int

kindErrors_Inh_Declaration :: [Error]

miscerrors_Inh_Declaration :: [Error]

namesInScope_Inh_Declaration :: Names

operatorFixities_Inh_Declaration :: [(Name, (Int, Assoc))]

options_Inh_Declaration :: [Option]

orderedTypeSynonyms_Inh_Declaration :: OrderedTypeSynonyms

previousWasAlsoFB_Inh_Declaration :: Maybe Name

suspiciousFBs_Inh_Declaration :: [(Name, Name)]

typeConstructors_Inh_Declaration :: Map Name Int

typeSignatures_Inh_Declaration :: [(Name, TpScheme)]

valueConstructors_Inh_Declaration :: Map Name TpScheme

warnings_Inh_Declaration :: [Warning]

data Syn_Declaration

Constructors

Syn_Declaration

Fields

collectInstances_Syn_Declaration :: [(Name, Instance)]

collectScopeInfos_Syn_Declaration :: [(ScopeInfo, Entity)]

collectTypeConstructors_Syn_Declaration :: [(Name, Int)]

collectTypeSynonyms_Syn_Declaration :: [(Name, (Int, Tps -> Tp))]

collectValueConstructors_Syn_Declaration :: [(Name, TpScheme)]

counter_Syn_Declaration :: Int

declVarNames_Syn_Declaration :: Names

kindErrors_Syn_Declaration :: [Error]

miscerrors_Syn_Declaration :: [Error]

operatorFixities_Syn_Declaration :: [(Name, (Int, Assoc))]

previousWasAlsoFB_Syn_Declaration :: Maybe Name

restrictedNames_Syn_Declaration :: Names

self_Syn_Declaration :: Declaration

suspiciousFBs_Syn_Declaration :: [(Name, Name)]

typeSignatures_Syn_Declaration :: [(Name, TpScheme)]

unboundNames_Syn_Declaration :: Names

warnings_Syn_Declaration :: [Warning]

wrap_Declaration :: T_Declaration -> Inh_Declaration -> Syn_Declaration

sem_Declaration :: Declaration -> T_Declaration

newtype T_Declaration

Constructors

T_Declaration

Fields

attach_T_Declaration :: Identity T_Declaration_s29

newtype T_Declaration_s29

Constructors

C_Declaration_s29

Fields

inv_Declaration_s29 :: T_Declaration_v28

data T_Declaration_s30

Constructors

C_Declaration_s30

type T_Declaration_v28 = T_Declaration_vIn28 -> T_Declaration_vOut28

data T_Declaration_vIn28

Constructors

T_Declaration_vIn28 Names Names ClassEnvironment [(ScopeInfo, Entity)] [(Name, Int)] [(Name, (Int, Tps -> Tp))] [(Name, TpScheme)] Int [Error] [Error] Names [(Name, (Int, Assoc))] [Option] OrderedTypeSynonyms (Maybe Name) [(Name, Name)] (Map Name Int) [(Name, TpScheme)] (Map Name TpScheme) [Warning]

data T_Declaration_vOut28

Constructors

T_Declaration_vOut28 [(Name, Instance)] [(ScopeInfo, Entity)] [(Name, Int)] [(Name, (Int, Tps -> Tp))] [(Name, TpScheme)] Int Names [Error] [Error] [(Name, (Int, Assoc))] (Maybe Name) Names Declaration [(Name, Name)] [(Name, TpScheme)] Names [Warning]

sem_Declaration_Hole :: T_Range -> Integer -> T_Declaration

sem_Declaration_Type :: T_Range -> T_SimpleType -> T_Type -> T_Declaration

sem_Declaration_Data :: T_Range -> T_ContextItems -> T_SimpleType -> T_Constructors -> T_Names -> T_Declaration

sem_Declaration_Newtype :: T_Range -> T_ContextItems -> T_SimpleType -> T_Constructor -> T_Names -> T_Declaration

sem_Declaration_Class :: T_Range -> T_ContextItems -> T_SimpleType -> T_MaybeDeclarations -> T_Declaration

sem_Declaration_Instance :: T_Range -> T_ContextItems -> T_Name -> T_Types -> T_MaybeDeclarations -> T_Declaration

sem_Declaration_Default :: T_Range -> T_Types -> T_Declaration

sem_Declaration_FunctionBindings :: T_Range -> T_FunctionBindings -> T_Declaration

sem_Declaration_PatternBinding :: T_Range -> T_Pattern -> T_RightHandSide -> T_Declaration

sem_Declaration_TypeSignature :: T_Range -> T_Names -> T_Type -> T_Declaration

sem_Declaration_Fixity :: T_Range -> T_Fixity -> T_MaybeInt -> T_Names -> T_Declaration

sem_Declaration_Empty :: T_Range -> T_Declaration

data Inh_Declarations

Constructors

Inh_Declarations

Fields

allTypeConstructors_Inh_Declarations :: Names

allValueConstructors_Inh_Declarations :: Names

classEnvironment_Inh_Declarations :: ClassEnvironment

collectScopeInfos_Inh_Declarations :: [(ScopeInfo, Entity)]

collectTypeConstructors_Inh_Declarations :: [(Name, Int)]

collectTypeSynonyms_Inh_Declarations :: [(Name, (Int, Tps -> Tp))]

collectValueConstructors_Inh_Declarations :: [(Name, TpScheme)]

counter_Inh_Declarations :: Int

kindErrors_Inh_Declarations :: [Error]

miscerrors_Inh_Declarations :: [Error]

namesInScope_Inh_Declarations :: Names

operatorFixities_Inh_Declarations :: [(Name, (Int, Assoc))]

options_Inh_Declarations :: [Option]

orderedTypeSynonyms_Inh_Declarations :: OrderedTypeSynonyms

previousWasAlsoFB_Inh_Declarations :: Maybe Name

suspiciousFBs_Inh_Declarations :: [(Name, Name)]

typeConstructors_Inh_Declarations :: Map Name Int

typeSignatures_Inh_Declarations :: [(Name, TpScheme)]

valueConstructors_Inh_Declarations :: Map Name TpScheme

warnings_Inh_Declarations :: [Warning]

data Syn_Declarations

Constructors

Syn_Declarations

Fields

collectInstances_Syn_Declarations :: [(Name, Instance)]

collectScopeInfos_Syn_Declarations :: [(ScopeInfo, Entity)]

collectTypeConstructors_Syn_Declarations :: [(Name, Int)]

collectTypeSynonyms_Syn_Declarations :: [(Name, (Int, Tps -> Tp))]

collectValueConstructors_Syn_Declarations :: [(Name, TpScheme)]

counter_Syn_Declarations :: Int

declVarNames_Syn_Declarations :: Names

kindErrors_Syn_Declarations :: [Error]

miscerrors_Syn_Declarations :: [Error]

operatorFixities_Syn_Declarations :: [(Name, (Int, Assoc))]

previousWasAlsoFB_Syn_Declarations :: Maybe Name

restrictedNames_Syn_Declarations :: Names

self_Syn_Declarations :: Declarations

suspiciousFBs_Syn_Declarations :: [(Name, Name)]

typeSignatures_Syn_Declarations :: [(Name, TpScheme)]

unboundNames_Syn_Declarations :: Names

warnings_Syn_Declarations :: [Warning]

wrap_Declarations :: T_Declarations -> Inh_Declarations -> Syn_Declarations

sem_Declarations :: Declarations -> T_Declarations

newtype T_Declarations

Constructors

T_Declarations

Fields

attach_T_Declarations :: Identity T_Declarations_s32

newtype T_Declarations_s32

Constructors

C_Declarations_s32

Fields

inv_Declarations_s32 :: T_Declarations_v31

data T_Declarations_s33

Constructors

C_Declarations_s33

type T_Declarations_v31 = T_Declarations_vIn31 -> T_Declarations_vOut31

data T_Declarations_vIn31

Constructors

T_Declarations_vIn31 Names Names ClassEnvironment [(ScopeInfo, Entity)] [(Name, Int)] [(Name, (Int, Tps -> Tp))] [(Name, TpScheme)] Int [Error] [Error] Names [(Name, (Int, Assoc))] [Option] OrderedTypeSynonyms (Maybe Name) [(Name, Name)] (Map Name Int) [(Name, TpScheme)] (Map Name TpScheme) [Warning]

data T_Declarations_vOut31

Constructors

T_Declarations_vOut31 [(Name, Instance)] [(ScopeInfo, Entity)] [(Name, Int)] [(Name, (Int, Tps -> Tp))] [(Name, TpScheme)] Int Names [Error] [Error] [(Name, (Int, Assoc))] (Maybe Name) Names Declarations [(Name, Name)] [(Name, TpScheme)] Names [Warning]

sem_Declarations_Cons :: T_Declaration -> T_Declarations -> T_Declarations

sem_Declarations_Nil :: T_Declarations

data Inh_Export

Constructors

Inh_Export

Fields

consInScope_Inh_Export :: Names

modulesInScope_Inh_Export :: Names

namesInScop_Inh_Export :: Names

tyconsInScope_Inh_Export :: Names

data Syn_Export

Constructors

Syn_Export

Fields

exportErrors_Syn_Export :: [Error]

self_Syn_Export :: Export

wrap_Export :: T_Export -> Inh_Export -> Syn_Export

sem_Export :: Export -> T_Export

newtype T_Export

Constructors

T_Export

Fields

attach_T_Export :: Identity T_Export_s35

newtype T_Export_s35

Constructors

C_Export_s35

Fields

inv_Export_s35 :: T_Export_v34

data T_Export_s36

Constructors

C_Export_s36

type T_Export_v34 = T_Export_vIn34 -> T_Export_vOut34

data T_Export_vIn34

Constructors

T_Export_vIn34 Names Names Names Names

data T_Export_vOut34

Constructors

T_Export_vOut34 [Error] Export

sem_Export_Variable :: T_Range -> T_Name -> T_Export

sem_Export_TypeOrClass :: T_Range -> T_Name -> T_MaybeNames -> T_Export

sem_Export_TypeOrClassComplete :: T_Range -> T_Name -> T_Export

sem_Export_Module :: T_Range -> T_Name -> T_Export

data Inh_Exports

Constructors

Inh_Exports

Fields

consInScope_Inh_Exports :: Names

modulesInScope_Inh_Exports :: Names

namesInScop_Inh_Exports :: Names

tyconsInScope_Inh_Exports :: Names

data Syn_Exports

Constructors

Syn_Exports

Fields

exportErrors_Syn_Exports :: [Error]

self_Syn_Exports :: Exports

wrap_Exports :: T_Exports -> Inh_Exports -> Syn_Exports

sem_Exports :: Exports -> T_Exports

newtype T_Exports

Constructors

T_Exports

Fields

attach_T_Exports :: Identity T_Exports_s38

newtype T_Exports_s38

Constructors

C_Exports_s38

Fields

inv_Exports_s38 :: T_Exports_v37

data T_Exports_s39

Constructors

C_Exports_s39

type T_Exports_v37 = T_Exports_vIn37 -> T_Exports_vOut37

data T_Exports_vIn37

Constructors

T_Exports_vIn37 Names Names Names Names

data T_Exports_vOut37

Constructors

T_Exports_vOut37 [Error] Exports

sem_Exports_Cons :: T_Export -> T_Exports -> T_Exports

sem_Exports_Nil :: T_Exports

data Inh_Expression

Constructors

Inh_Expression

Fields

allTypeConstructors_Inh_Expression :: Names

allValueConstructors_Inh_Expression :: Names

classEnvironment_Inh_Expression :: ClassEnvironment

collectScopeInfos_Inh_Expression :: [(ScopeInfo, Entity)]

counter_Inh_Expression :: Int

kindErrors_Inh_Expression :: [Error]

miscerrors_Inh_Expression :: [Error]

namesInScope_Inh_Expression :: Names

options_Inh_Expression :: [Option]

orderedTypeSynonyms_Inh_Expression :: OrderedTypeSynonyms

typeConstructors_Inh_Expression :: Map Name Int

valueConstructors_Inh_Expression :: Map Name TpScheme

warnings_Inh_Expression :: [Warning]

data Syn_Expression

Constructors

Syn_Expression

Fields

collectInstances_Syn_Expression :: [(Name, Instance)]

collectScopeInfos_Syn_Expression :: [(ScopeInfo, Entity)]

counter_Syn_Expression :: Int

kindErrors_Syn_Expression :: [Error]

miscerrors_Syn_Expression :: [Error]

self_Syn_Expression :: Expression

unboundNames_Syn_Expression :: Names

warnings_Syn_Expression :: [Warning]

wrap_Expression :: T_Expression -> Inh_Expression -> Syn_Expression

sem_Expression :: Expression -> T_Expression

newtype T_Expression

Constructors

T_Expression

Fields

attach_T_Expression :: Identity T_Expression_s41

newtype T_Expression_s41

Constructors

C_Expression_s41

Fields

inv_Expression_s41 :: T_Expression_v40

data T_Expression_s42

Constructors

C_Expression_s42

type T_Expression_v40 = T_Expression_vIn40 -> T_Expression_vOut40

data T_Expression_vIn40

Constructors

T_Expression_vIn40 Names Names ClassEnvironment [(ScopeInfo, Entity)] Int [Error] [Error] Names [Option] OrderedTypeSynonyms (Map Name Int) (Map Name TpScheme) [Warning]

data T_Expression_vOut40

Constructors

T_Expression_vOut40 [(Name, Instance)] [(ScopeInfo, Entity)] Int [Error] [Error] Expression Names [Warning]

sem_Expression_Hole :: T_Range -> Integer -> T_Expression

sem_Expression_Feedback :: T_Range -> String -> T_Expression -> T_Expression

sem_Expression_MustUse :: T_Range -> T_Expression -> T_Expression

sem_Expression_Literal :: T_Range -> T_Literal -> T_Expression

sem_Expression_Variable :: T_Range -> T_Name -> T_Expression

sem_Expression_Constructor :: T_Range -> T_Name -> T_Expression

sem_Expression_Parenthesized :: T_Range -> T_Expression -> T_Expression

sem_Expression_NormalApplication :: T_Range -> T_Expression -> T_Expressions -> T_Expression

sem_Expression_InfixApplication :: T_Range -> T_MaybeExpression -> T_Expression -> T_MaybeExpression -> T_Expression

sem_Expression_If :: T_Range -> T_Expression -> T_Expression -> T_Expression -> T_Expression

sem_Expression_Lambda :: T_Range -> T_Patterns -> T_Expression -> T_Expression

sem_Expression_Case :: T_Range -> T_Expression -> T_Alternatives -> T_Expression

sem_Expression_Let :: T_Range -> T_Declarations -> T_Expression -> T_Expression

sem_Expression_Do :: T_Range -> T_Statements -> T_Expression

sem_Expression_List :: T_Range -> T_Expressions -> T_Expression

sem_Expression_Tuple :: T_Range -> T_Expressions -> T_Expression

sem_Expression_Comprehension :: T_Range -> T_Expression -> T_Qualifiers -> T_Expression

sem_Expression_Typed :: T_Range -> T_Expression -> T_Type -> T_Expression

sem_Expression_RecordConstruction :: T_Range -> T_Name -> T_RecordExpressionBindings -> T_Expression

sem_Expression_RecordUpdate :: T_Range -> T_Expression -> T_RecordExpressionBindings -> T_Expression

sem_Expression_Enum :: T_Range -> T_Expression -> T_MaybeExpression -> T_MaybeExpression -> T_Expression

sem_Expression_Negate :: T_Range -> T_Expression -> T_Expression

sem_Expression_NegateFloat :: T_Range -> T_Expression -> T_Expression

data Inh_Expressions

Constructors

Inh_Expressions

Fields

allTypeConstructors_Inh_Expressions :: Names

allValueConstructors_Inh_Expressions :: Names

classEnvironment_Inh_Expressions :: ClassEnvironment

collectScopeInfos_Inh_Expressions :: [(ScopeInfo, Entity)]

counter_Inh_Expressions :: Int

kindErrors_Inh_Expressions :: [Error]

miscerrors_Inh_Expressions :: [Error]

namesInScope_Inh_Expressions :: Names

options_Inh_Expressions :: [Option]

orderedTypeSynonyms_Inh_Expressions :: OrderedTypeSynonyms

typeConstructors_Inh_Expressions :: Map Name Int

valueConstructors_Inh_Expressions :: Map Name TpScheme

warnings_Inh_Expressions :: [Warning]

data Syn_Expressions

Constructors

Syn_Expressions

Fields

collectInstances_Syn_Expressions :: [(Name, Instance)]

collectScopeInfos_Syn_Expressions :: [(ScopeInfo, Entity)]

counter_Syn_Expressions :: Int

kindErrors_Syn_Expressions :: [Error]

miscerrors_Syn_Expressions :: [Error]

self_Syn_Expressions :: Expressions

unboundNames_Syn_Expressions :: Names

warnings_Syn_Expressions :: [Warning]

wrap_Expressions :: T_Expressions -> Inh_Expressions -> Syn_Expressions

sem_Expressions :: Expressions -> T_Expressions

newtype T_Expressions

Constructors

T_Expressions

Fields

attach_T_Expressions :: Identity T_Expressions_s44

newtype T_Expressions_s44

Constructors

C_Expressions_s44

Fields

inv_Expressions_s44 :: T_Expressions_v43

data T_Expressions_s45

Constructors

C_Expressions_s45

type T_Expressions_v43 = T_Expressions_vIn43 -> T_Expressions_vOut43

data T_Expressions_vIn43

Constructors

T_Expressions_vIn43 Names Names ClassEnvironment [(ScopeInfo, Entity)] Int [Error] [Error] Names [Option] OrderedTypeSynonyms (Map Name Int) (Map Name TpScheme) [Warning]

data T_Expressions_vOut43

Constructors

T_Expressions_vOut43 [(Name, Instance)] [(ScopeInfo, Entity)] Int [Error] [Error] Expressions Names [Warning]

sem_Expressions_Cons :: T_Expression -> T_Expressions -> T_Expressions

sem_Expressions_Nil :: T_Expressions

data Inh_FieldDeclaration

Constructors

Inh_FieldDeclaration

Fields

counter_Inh_FieldDeclaration :: Int

miscerrors_Inh_FieldDeclaration :: [Error]

namesInScope_Inh_FieldDeclaration :: Names

options_Inh_FieldDeclaration :: [Option]

data Syn_FieldDeclaration

Constructors

Syn_FieldDeclaration

Fields

counter_Syn_FieldDeclaration :: Int

miscerrors_Syn_FieldDeclaration :: [Error]

self_Syn_FieldDeclaration :: FieldDeclaration

unboundNames_Syn_FieldDeclaration :: Names

wrap_FieldDeclaration :: T_FieldDeclaration -> Inh_FieldDeclaration -> Syn_FieldDeclaration

sem_FieldDeclaration :: FieldDeclaration -> T_FieldDeclaration

newtype T_FieldDeclaration

Constructors

T_FieldDeclaration

Fields

attach_T_FieldDeclaration :: Identity T_FieldDeclaration_s47

newtype T_FieldDeclaration_s47

Constructors

C_FieldDeclaration_s47

Fields

inv_FieldDeclaration_s47 :: T_FieldDeclaration_v46

data T_FieldDeclaration_s48

Constructors

C_FieldDeclaration_s48

type T_FieldDeclaration_v46 = T_FieldDeclaration_vIn46 -> T_FieldDeclaration_vOut46

data T_FieldDeclaration_vIn46

Constructors

T_FieldDeclaration_vIn46 Int [Error] Names [Option]

data T_FieldDeclaration_vOut46

Constructors

T_FieldDeclaration_vOut46 Int [Error] FieldDeclaration Names

sem_FieldDeclaration_FieldDeclaration :: T_Range -> T_Names -> T_AnnotatedType -> T_FieldDeclaration

data Inh_FieldDeclarations

Constructors

Inh_FieldDeclarations

Fields

counter_Inh_FieldDeclarations :: Int

miscerrors_Inh_FieldDeclarations :: [Error]

namesInScope_Inh_FieldDeclarations :: Names

options_Inh_FieldDeclarations :: [Option]

data Syn_FieldDeclarations

Constructors

Syn_FieldDeclarations

Fields

counter_Syn_FieldDeclarations :: Int

miscerrors_Syn_FieldDeclarations :: [Error]

self_Syn_FieldDeclarations :: FieldDeclarations

unboundNames_Syn_FieldDeclarations :: Names

wrap_FieldDeclarations :: T_FieldDeclarations -> Inh_FieldDeclarations -> Syn_FieldDeclarations

sem_FieldDeclarations :: FieldDeclarations -> T_FieldDeclarations

newtype T_FieldDeclarations

Constructors

T_FieldDeclarations

Fields

attach_T_FieldDeclarations :: Identity T_FieldDeclarations_s50

newtype T_FieldDeclarations_s50

Constructors

C_FieldDeclarations_s50

Fields

inv_FieldDeclarations_s50 :: T_FieldDeclarations_v49

data T_FieldDeclarations_s51

Constructors

C_FieldDeclarations_s51

type T_FieldDeclarations_v49 = T_FieldDeclarations_vIn49 -> T_FieldDeclarations_vOut49

data T_FieldDeclarations_vIn49

Constructors

T_FieldDeclarations_vIn49 Int [Error] Names [Option]

data T_FieldDeclarations_vOut49

Constructors

T_FieldDeclarations_vOut49 Int [Error] FieldDeclarations Names

sem_FieldDeclarations_Cons :: T_FieldDeclaration -> T_FieldDeclarations -> T_FieldDeclarations

sem_FieldDeclarations_Nil :: T_FieldDeclarations

data Inh_Fixity

Constructors

Inh_Fixity

data Syn_Fixity

Constructors

Syn_Fixity

Fields

self_Syn_Fixity :: Fixity

wrap_Fixity :: T_Fixity -> Inh_Fixity -> Syn_Fixity

sem_Fixity :: Fixity -> T_Fixity

newtype T_Fixity

Constructors

T_Fixity

Fields

attach_T_Fixity :: Identity T_Fixity_s53

newtype T_Fixity_s53

Constructors

C_Fixity_s53

Fields

inv_Fixity_s53 :: T_Fixity_v52

data T_Fixity_s54

Constructors

C_Fixity_s54

type T_Fixity_v52 = T_Fixity_vIn52 -> T_Fixity_vOut52

data T_Fixity_vIn52

Constructors

T_Fixity_vIn52

data T_Fixity_vOut52

Constructors

T_Fixity_vOut52 Fixity

sem_Fixity_Infixl :: T_Range -> T_Fixity

sem_Fixity_Infixr :: T_Range -> T_Fixity

sem_Fixity_Infix :: T_Range -> T_Fixity

data Inh_FunctionBinding

Constructors

Inh_FunctionBinding

Fields

allTypeConstructors_Inh_FunctionBinding :: Names

allValueConstructors_Inh_FunctionBinding :: Names

classEnvironment_Inh_FunctionBinding :: ClassEnvironment

collectScopeInfos_Inh_FunctionBinding :: [(ScopeInfo, Entity)]

counter_Inh_FunctionBinding :: Int

kindErrors_Inh_FunctionBinding :: [Error]

miscerrors_Inh_FunctionBinding :: [Error]

namesInScope_Inh_FunctionBinding :: Names

options_Inh_FunctionBinding :: [Option]

orderedTypeSynonyms_Inh_FunctionBinding :: OrderedTypeSynonyms

typeConstructors_Inh_FunctionBinding :: Map Name Int

valueConstructors_Inh_FunctionBinding :: Map Name TpScheme

warnings_Inh_FunctionBinding :: [Warning]

data Syn_FunctionBinding

Constructors

Syn_FunctionBinding

Fields

arity_Syn_FunctionBinding :: Int

collectInstances_Syn_FunctionBinding :: [(Name, Instance)]

collectScopeInfos_Syn_FunctionBinding :: [(ScopeInfo, Entity)]

counter_Syn_FunctionBinding :: Int

kindErrors_Syn_FunctionBinding :: [Error]

miscerrors_Syn_FunctionBinding :: [Error]

name_Syn_FunctionBinding :: Name

self_Syn_FunctionBinding :: FunctionBinding

unboundNames_Syn_FunctionBinding :: Names

warnings_Syn_FunctionBinding :: [Warning]

wrap_FunctionBinding :: T_FunctionBinding -> Inh_FunctionBinding -> Syn_FunctionBinding

sem_FunctionBinding :: FunctionBinding -> T_FunctionBinding

newtype T_FunctionBinding

Constructors

T_FunctionBinding

Fields

attach_T_FunctionBinding :: Identity T_FunctionBinding_s56

newtype T_FunctionBinding_s56

Constructors

C_FunctionBinding_s56

Fields

inv_FunctionBinding_s56 :: T_FunctionBinding_v55

data T_FunctionBinding_s57

Constructors

C_FunctionBinding_s57

type T_FunctionBinding_v55 = T_FunctionBinding_vIn55 -> T_FunctionBinding_vOut55

data T_FunctionBinding_vIn55

Constructors

T_FunctionBinding_vIn55 Names Names ClassEnvironment [(ScopeInfo, Entity)] Int [Error] [Error] Names [Option] OrderedTypeSynonyms (Map Name Int) (Map Name TpScheme) [Warning]

data T_FunctionBinding_vOut55

Constructors

T_FunctionBinding_vOut55 Int [(Name, Instance)] [(ScopeInfo, Entity)] Int [Error] [Error] Name FunctionBinding Names [Warning]

sem_FunctionBinding_Hole :: T_Range -> Integer -> T_FunctionBinding

sem_FunctionBinding_Feedback :: T_Range -> String -> T_FunctionBinding -> T_FunctionBinding

sem_FunctionBinding_FunctionBinding :: T_Range -> T_LeftHandSide -> T_RightHandSide -> T_FunctionBinding

data Inh_FunctionBindings

Constructors

Inh_FunctionBindings

Fields

allTypeConstructors_Inh_FunctionBindings :: Names

allValueConstructors_Inh_FunctionBindings :: Names

classEnvironment_Inh_FunctionBindings :: ClassEnvironment

collectScopeInfos_Inh_FunctionBindings :: [(ScopeInfo, Entity)]

counter_Inh_FunctionBindings :: Int

kindErrors_Inh_FunctionBindings :: [Error]

miscerrors_Inh_FunctionBindings :: [Error]

namesInScope_Inh_FunctionBindings :: Names

options_Inh_FunctionBindings :: [Option]

orderedTypeSynonyms_Inh_FunctionBindings :: OrderedTypeSynonyms

typeConstructors_Inh_FunctionBindings :: Map Name Int

valueConstructors_Inh_FunctionBindings :: Map Name TpScheme

warnings_Inh_FunctionBindings :: [Warning]

data Syn_FunctionBindings

Constructors

Syn_FunctionBindings

Fields

arities_Syn_FunctionBindings :: [Int]

collectInstances_Syn_FunctionBindings :: [(Name, Instance)]

collectScopeInfos_Syn_FunctionBindings :: [(ScopeInfo, Entity)]

counter_Syn_FunctionBindings :: Int

kindErrors_Syn_FunctionBindings :: [Error]

miscerrors_Syn_FunctionBindings :: [Error]

name_Syn_FunctionBindings :: Name

self_Syn_FunctionBindings :: FunctionBindings

unboundNames_Syn_FunctionBindings :: Names

warnings_Syn_FunctionBindings :: [Warning]

wrap_FunctionBindings :: T_FunctionBindings -> Inh_FunctionBindings -> Syn_FunctionBindings

sem_FunctionBindings :: FunctionBindings -> T_FunctionBindings

newtype T_FunctionBindings

Constructors

T_FunctionBindings

Fields

attach_T_FunctionBindings :: Identity T_FunctionBindings_s59

newtype T_FunctionBindings_s59

Constructors

C_FunctionBindings_s59

Fields

inv_FunctionBindings_s59 :: T_FunctionBindings_v58

data T_FunctionBindings_s60

Constructors

C_FunctionBindings_s60

type T_FunctionBindings_v58 = T_FunctionBindings_vIn58 -> T_FunctionBindings_vOut58

data T_FunctionBindings_vIn58

Constructors

T_FunctionBindings_vIn58 Names Names ClassEnvironment [(ScopeInfo, Entity)] Int [Error] [Error] Names [Option] OrderedTypeSynonyms (Map Name Int) (Map Name TpScheme) [Warning]

data T_FunctionBindings_vOut58

Constructors

T_FunctionBindings_vOut58 [Int] [(Name, Instance)] [(ScopeInfo, Entity)] Int [Error] [Error] Name FunctionBindings Names [Warning]

sem_FunctionBindings_Cons :: T_FunctionBinding -> T_FunctionBindings -> T_FunctionBindings

sem_FunctionBindings_Nil :: T_FunctionBindings

data Inh_GuardedExpression

Constructors

Inh_GuardedExpression

Fields

allTypeConstructors_Inh_GuardedExpression :: Names

allValueConstructors_Inh_GuardedExpression :: Names

classEnvironment_Inh_GuardedExpression :: ClassEnvironment

collectScopeInfos_Inh_GuardedExpression :: [(ScopeInfo, Entity)]

counter_Inh_GuardedExpression :: Int

kindErrors_Inh_GuardedExpression :: [Error]

miscerrors_Inh_GuardedExpression :: [Error]

namesInScope_Inh_GuardedExpression :: Names

options_Inh_GuardedExpression :: [Option]

orderedTypeSynonyms_Inh_GuardedExpression :: OrderedTypeSynonyms

typeConstructors_Inh_GuardedExpression :: Map Name Int

valueConstructors_Inh_GuardedExpression :: Map Name TpScheme

warnings_Inh_GuardedExpression :: [Warning]

data Syn_GuardedExpression

Constructors

Syn_GuardedExpression

Fields

collectInstances_Syn_GuardedExpression :: [(Name, Instance)]

collectScopeInfos_Syn_GuardedExpression :: [(ScopeInfo, Entity)]

counter_Syn_GuardedExpression :: Int

kindErrors_Syn_GuardedExpression :: [Error]

miscerrors_Syn_GuardedExpression :: [Error]

self_Syn_GuardedExpression :: GuardedExpression

unboundNames_Syn_GuardedExpression :: Names

warnings_Syn_GuardedExpression :: [Warning]

wrap_GuardedExpression :: T_GuardedExpression -> Inh_GuardedExpression -> Syn_GuardedExpression

sem_GuardedExpression :: GuardedExpression -> T_GuardedExpression

newtype T_GuardedExpression

Constructors

T_GuardedExpression

Fields

attach_T_GuardedExpression :: Identity T_GuardedExpression_s62

newtype T_GuardedExpression_s62

Constructors

C_GuardedExpression_s62

Fields

inv_GuardedExpression_s62 :: T_GuardedExpression_v61

data T_GuardedExpression_s63

Constructors

C_GuardedExpression_s63

type T_GuardedExpression_v61 = T_GuardedExpression_vIn61 -> T_GuardedExpression_vOut61

data T_GuardedExpression_vIn61

Constructors

T_GuardedExpression_vIn61 Names Names ClassEnvironment [(ScopeInfo, Entity)] Int [Error] [Error] Names [Option] OrderedTypeSynonyms (Map Name Int) (Map Name TpScheme) [Warning]

data T_GuardedExpression_vOut61

Constructors

T_GuardedExpression_vOut61 [(Name, Instance)] [(ScopeInfo, Entity)] Int [Error] [Error] GuardedExpression Names [Warning]

sem_GuardedExpression_GuardedExpression :: T_Range -> T_Expression -> T_Expression -> T_GuardedExpression

data Inh_GuardedExpressions

Constructors

Inh_GuardedExpressions

Fields

allTypeConstructors_Inh_GuardedExpressions :: Names

allValueConstructors_Inh_GuardedExpressions :: Names

classEnvironment_Inh_GuardedExpressions :: ClassEnvironment

collectScopeInfos_Inh_GuardedExpressions :: [(ScopeInfo, Entity)]

counter_Inh_GuardedExpressions :: Int

kindErrors_Inh_GuardedExpressions :: [Error]

miscerrors_Inh_GuardedExpressions :: [Error]

namesInScope_Inh_GuardedExpressions :: Names

options_Inh_GuardedExpressions :: [Option]

orderedTypeSynonyms_Inh_GuardedExpressions :: OrderedTypeSynonyms

typeConstructors_Inh_GuardedExpressions :: Map Name Int

valueConstructors_Inh_GuardedExpressions :: Map Name TpScheme

warnings_Inh_GuardedExpressions :: [Warning]

data Syn_GuardedExpressions

Constructors

Syn_GuardedExpressions

Fields

collectInstances_Syn_GuardedExpressions :: [(Name, Instance)]

collectScopeInfos_Syn_GuardedExpressions :: [(ScopeInfo, Entity)]

counter_Syn_GuardedExpressions :: Int

kindErrors_Syn_GuardedExpressions :: [Error]

miscerrors_Syn_GuardedExpressions :: [Error]

self_Syn_GuardedExpressions :: GuardedExpressions

unboundNames_Syn_GuardedExpressions :: Names

warnings_Syn_GuardedExpressions :: [Warning]

wrap_GuardedExpressions :: T_GuardedExpressions -> Inh_GuardedExpressions -> Syn_GuardedExpressions

sem_GuardedExpressions :: GuardedExpressions -> T_GuardedExpressions

newtype T_GuardedExpressions

Constructors

T_GuardedExpressions

Fields

attach_T_GuardedExpressions :: Identity T_GuardedExpressions_s65

newtype T_GuardedExpressions_s65

Constructors

C_GuardedExpressions_s65

Fields

inv_GuardedExpressions_s65 :: T_GuardedExpressions_v64

data T_GuardedExpressions_s66

Constructors

C_GuardedExpressions_s66

type T_GuardedExpressions_v64 = T_GuardedExpressions_vIn64 -> T_GuardedExpressions_vOut64

data T_GuardedExpressions_vIn64

Constructors

T_GuardedExpressions_vIn64 Names Names ClassEnvironment [(ScopeInfo, Entity)] Int [Error] [Error] Names [Option] OrderedTypeSynonyms (Map Name Int) (Map Name TpScheme) [Warning]

data T_GuardedExpressions_vOut64

Constructors

T_GuardedExpressions_vOut64 [(Name, Instance)] [(ScopeInfo, Entity)] Int [Error] [Error] GuardedExpressions Names [Warning]

sem_GuardedExpressions_Cons :: T_GuardedExpression -> T_GuardedExpressions -> T_GuardedExpressions

sem_GuardedExpressions_Nil :: T_GuardedExpressions

data Inh_Import

Constructors

Inh_Import

data Syn_Import

Constructors

Syn_Import

Fields

self_Syn_Import :: Import

wrap_Import :: T_Import -> Inh_Import -> Syn_Import

sem_Import :: Import -> T_Import

newtype T_Import

Constructors

T_Import

Fields

attach_T_Import :: Identity T_Import_s68

newtype T_Import_s68

Constructors

C_Import_s68

Fields

inv_Import_s68 :: T_Import_v67

data T_Import_s69

Constructors

C_Import_s69

type T_Import_v67 = T_Import_vIn67 -> T_Import_vOut67

data T_Import_vIn67

Constructors

T_Import_vIn67

data T_Import_vOut67

Constructors

T_Import_vOut67 Import

sem_Import_Variable :: T_Range -> T_Name -> T_Import

sem_Import_TypeOrClass :: T_Range -> T_Name -> T_MaybeNames -> T_Import

sem_Import_TypeOrClassComplete :: T_Range -> T_Name -> T_Import

data Inh_ImportDeclaration

Constructors

Inh_ImportDeclaration

Fields

importedModules_Inh_ImportDeclaration :: Names

data Syn_ImportDeclaration

Constructors

Syn_ImportDeclaration

Fields

importedModules_Syn_ImportDeclaration :: Names

self_Syn_ImportDeclaration :: ImportDeclaration

wrap_ImportDeclaration :: T_ImportDeclaration -> Inh_ImportDeclaration -> Syn_ImportDeclaration

sem_ImportDeclaration :: ImportDeclaration -> T_ImportDeclaration

newtype T_ImportDeclaration

Constructors

T_ImportDeclaration

Fields

attach_T_ImportDeclaration :: Identity T_ImportDeclaration_s71

newtype T_ImportDeclaration_s71

Constructors

C_ImportDeclaration_s71

Fields

inv_ImportDeclaration_s71 :: T_ImportDeclaration_v70

data T_ImportDeclaration_s72

Constructors

C_ImportDeclaration_s72

type T_ImportDeclaration_v70 = T_ImportDeclaration_vIn70 -> T_ImportDeclaration_vOut70

data T_ImportDeclaration_vIn70

Constructors

T_ImportDeclaration_vIn70 Names

data T_ImportDeclaration_vOut70

Constructors

T_ImportDeclaration_vOut70 Names ImportDeclaration

sem_ImportDeclaration_Import :: T_Range -> Bool -> T_Name -> T_MaybeName -> T_MaybeImportSpecification -> T_ImportDeclaration

sem_ImportDeclaration_Empty :: T_Range -> T_ImportDeclaration

data Inh_ImportDeclarations

Constructors

Inh_ImportDeclarations

Fields

importedModules_Inh_ImportDeclarations :: Names

data Syn_ImportDeclarations

Constructors

Syn_ImportDeclarations

Fields

importedModules_Syn_ImportDeclarations :: Names

self_Syn_ImportDeclarations :: ImportDeclarations

wrap_ImportDeclarations :: T_ImportDeclarations -> Inh_ImportDeclarations -> Syn_ImportDeclarations

sem_ImportDeclarations :: ImportDeclarations -> T_ImportDeclarations

newtype T_ImportDeclarations

Constructors

T_ImportDeclarations

Fields

attach_T_ImportDeclarations :: Identity T_ImportDeclarations_s74

newtype T_ImportDeclarations_s74

Constructors

C_ImportDeclarations_s74

Fields

inv_ImportDeclarations_s74 :: T_ImportDeclarations_v73

data T_ImportDeclarations_s75

Constructors

C_ImportDeclarations_s75

type T_ImportDeclarations_v73 = T_ImportDeclarations_vIn73 -> T_ImportDeclarations_vOut73

data T_ImportDeclarations_vIn73

Constructors

T_ImportDeclarations_vIn73 Names

data T_ImportDeclarations_vOut73

Constructors

T_ImportDeclarations_vOut73 Names ImportDeclarations

sem_ImportDeclarations_Cons :: T_ImportDeclaration -> T_ImportDeclarations -> T_ImportDeclarations

sem_ImportDeclarations_Nil :: T_ImportDeclarations

data Inh_ImportSpecification

Constructors

Inh_ImportSpecification

data Syn_ImportSpecification

Constructors

Syn_ImportSpecification

Fields

self_Syn_ImportSpecification :: ImportSpecification

wrap_ImportSpecification :: T_ImportSpecification -> Inh_ImportSpecification -> Syn_ImportSpecification

sem_ImportSpecification :: ImportSpecification -> T_ImportSpecification

newtype T_ImportSpecification

Constructors

T_ImportSpecification

Fields

attach_T_ImportSpecification :: Identity T_ImportSpecification_s77

newtype T_ImportSpecification_s77

Constructors

C_ImportSpecification_s77

Fields

inv_ImportSpecification_s77 :: T_ImportSpecification_v76

data T_ImportSpecification_s78

Constructors

C_ImportSpecification_s78

type T_ImportSpecification_v76 = T_ImportSpecification_vIn76 -> T_ImportSpecification_vOut76

data T_ImportSpecification_vIn76

Constructors

T_ImportSpecification_vIn76

data T_ImportSpecification_vOut76

Constructors

T_ImportSpecification_vOut76 ImportSpecification

sem_ImportSpecification_Import :: T_Range -> Bool -> T_Imports -> T_ImportSpecification

data Inh_Imports

Constructors

Inh_Imports

data Syn_Imports

Constructors

Syn_Imports

Fields

self_Syn_Imports :: Imports

wrap_Imports :: T_Imports -> Inh_Imports -> Syn_Imports

sem_Imports :: Imports -> T_Imports

newtype T_Imports

Constructors

T_Imports

Fields

attach_T_Imports :: Identity T_Imports_s80

newtype T_Imports_s80

Constructors

C_Imports_s80

Fields

inv_Imports_s80 :: T_Imports_v79

data T_Imports_s81

Constructors

C_Imports_s81

type T_Imports_v79 = T_Imports_vIn79 -> T_Imports_vOut79

data T_Imports_vIn79

Constructors

T_Imports_vIn79

data T_Imports_vOut79

Constructors

T_Imports_vOut79 Imports

sem_Imports_Cons :: T_Import -> T_Imports -> T_Imports

sem_Imports_Nil :: T_Imports

data Inh_LeftHandSide

Constructors

Inh_LeftHandSide

Fields

allTypeConstructors_Inh_LeftHandSide :: Names

allValueConstructors_Inh_LeftHandSide :: Names

collectScopeInfos_Inh_LeftHandSide :: [(ScopeInfo, Entity)]

counter_Inh_LeftHandSide :: Int

miscerrors_Inh_LeftHandSide :: [Error]

namesInScope_Inh_LeftHandSide :: Names

typeConstructors_Inh_LeftHandSide :: Map Name Int

valueConstructors_Inh_LeftHandSide :: Map Name TpScheme

warnings_Inh_LeftHandSide :: [Warning]

data Syn_LeftHandSide

Constructors

Syn_LeftHandSide

Fields

collectScopeInfos_Syn_LeftHandSide :: [(ScopeInfo, Entity)]

counter_Syn_LeftHandSide :: Int

miscerrors_Syn_LeftHandSide :: [Error]

name_Syn_LeftHandSide :: Name

numberOfPatterns_Syn_LeftHandSide :: Int

patVarNames_Syn_LeftHandSide :: Names

self_Syn_LeftHandSide :: LeftHandSide

unboundNames_Syn_LeftHandSide :: Names

warnings_Syn_LeftHandSide :: [Warning]

wrap_LeftHandSide :: T_LeftHandSide -> Inh_LeftHandSide -> Syn_LeftHandSide

sem_LeftHandSide :: LeftHandSide -> T_LeftHandSide

newtype T_LeftHandSide

Constructors

T_LeftHandSide

Fields

attach_T_LeftHandSide :: Identity T_LeftHandSide_s83

newtype T_LeftHandSide_s83

Constructors

C_LeftHandSide_s83

Fields

inv_LeftHandSide_s83 :: T_LeftHandSide_v82

data T_LeftHandSide_s84

Constructors

C_LeftHandSide_s84

type T_LeftHandSide_v82 = T_LeftHandSide_vIn82 -> T_LeftHandSide_vOut82

data T_LeftHandSide_vIn82

Constructors

T_LeftHandSide_vIn82 Names Names [(ScopeInfo, Entity)] Int [Error] Names (Map Name Int) (Map Name TpScheme) [Warning]

data T_LeftHandSide_vOut82

Constructors

T_LeftHandSide_vOut82 [(ScopeInfo, Entity)] Int [Error] Name Int Names LeftHandSide Names [Warning]

sem_LeftHandSide_Function :: T_Range -> T_Name -> T_Patterns -> T_LeftHandSide

sem_LeftHandSide_Infix :: T_Range -> T_Pattern -> T_Name -> T_Pattern -> T_LeftHandSide

sem_LeftHandSide_Parenthesized :: T_Range -> T_LeftHandSide -> T_Patterns -> T_LeftHandSide

data Inh_Literal

Constructors

Inh_Literal

Fields

collectScopeInfos_Inh_Literal :: [(ScopeInfo, Entity)]

miscerrors_Inh_Literal :: [Error]

data Syn_Literal

Constructors

Syn_Literal

Fields

collectScopeInfos_Syn_Literal :: [(ScopeInfo, Entity)]

miscerrors_Syn_Literal :: [Error]

self_Syn_Literal :: Literal

wrap_Literal :: T_Literal -> Inh_Literal -> Syn_Literal

sem_Literal :: Literal -> T_Literal

newtype T_Literal

Constructors

T_Literal

Fields

attach_T_Literal :: Identity T_Literal_s86

newtype T_Literal_s86

Constructors

C_Literal_s86

Fields

inv_Literal_s86 :: T_Literal_v85

data T_Literal_s87

Constructors

C_Literal_s87

type T_Literal_v85 = T_Literal_vIn85 -> T_Literal_vOut85

data T_Literal_vIn85

Constructors

T_Literal_vIn85 [(ScopeInfo, Entity)] [Error]

data T_Literal_vOut85

Constructors

T_Literal_vOut85 [(ScopeInfo, Entity)] [Error] Literal

sem_Literal_Int :: T_Range -> String -> T_Literal

sem_Literal_Char :: T_Range -> String -> T_Literal

sem_Literal_Float :: T_Range -> String -> T_Literal

sem_Literal_String :: T_Range -> String -> T_Literal

data Inh_MaybeDeclarations

Constructors

Inh_MaybeDeclarations

Fields

allTypeConstructors_Inh_MaybeDeclarations :: Names

allValueConstructors_Inh_MaybeDeclarations :: Names

classEnvironment_Inh_MaybeDeclarations :: ClassEnvironment

collectScopeInfos_Inh_MaybeDeclarations :: [(ScopeInfo, Entity)]

counter_Inh_MaybeDeclarations :: Int

kindErrors_Inh_MaybeDeclarations :: [Error]

miscerrors_Inh_MaybeDeclarations :: [Error]

namesInScope_Inh_MaybeDeclarations :: Names

options_Inh_MaybeDeclarations :: [Option]

orderedTypeSynonyms_Inh_MaybeDeclarations :: OrderedTypeSynonyms

typeConstructors_Inh_MaybeDeclarations :: Map Name Int

unboundNames_Inh_MaybeDeclarations :: Names

valueConstructors_Inh_MaybeDeclarations :: Map Name TpScheme

warnings_Inh_MaybeDeclarations :: [Warning]

data Syn_MaybeDeclarations

Constructors

Syn_MaybeDeclarations

Fields

collectInstances_Syn_MaybeDeclarations :: [(Name, Instance)]

collectScopeInfos_Syn_MaybeDeclarations :: [(ScopeInfo, Entity)]

counter_Syn_MaybeDeclarations :: Int

kindErrors_Syn_MaybeDeclarations :: [Error]

miscerrors_Syn_MaybeDeclarations :: [Error]

namesInScope_Syn_MaybeDeclarations :: Names

self_Syn_MaybeDeclarations :: MaybeDeclarations

unboundNames_Syn_MaybeDeclarations :: Names

warnings_Syn_MaybeDeclarations :: [Warning]

wrap_MaybeDeclarations :: T_MaybeDeclarations -> Inh_MaybeDeclarations -> Syn_MaybeDeclarations

sem_MaybeDeclarations :: MaybeDeclarations -> T_MaybeDeclarations

newtype T_MaybeDeclarations

Constructors

T_MaybeDeclarations

Fields

attach_T_MaybeDeclarations :: Identity T_MaybeDeclarations_s89

newtype T_MaybeDeclarations_s89

Constructors

C_MaybeDeclarations_s89

Fields

inv_MaybeDeclarations_s89 :: T_MaybeDeclarations_v88

data T_MaybeDeclarations_s90

Constructors

C_MaybeDeclarations_s90

type T_MaybeDeclarations_v88 = T_MaybeDeclarations_vIn88 -> T_MaybeDeclarations_vOut88

data T_MaybeDeclarations_vIn88

Constructors

T_MaybeDeclarations_vIn88 Names Names ClassEnvironment [(ScopeInfo, Entity)] Int [Error] [Error] Names [Option] OrderedTypeSynonyms (Map Name Int) Names (Map Name TpScheme) [Warning]

data T_MaybeDeclarations_vOut88

Constructors

T_MaybeDeclarations_vOut88 [(Name, Instance)] [(ScopeInfo, Entity)] Int [Error] [Error] Names MaybeDeclarations Names [Warning]

sem_MaybeDeclarations_Nothing :: T_MaybeDeclarations

sem_MaybeDeclarations_Just :: T_Declarations -> T_MaybeDeclarations

data Inh_MaybeExports

Constructors

Inh_MaybeExports

Fields

consInScope_Inh_MaybeExports :: Names

modulesInScope_Inh_MaybeExports :: Names

namesInScop_Inh_MaybeExports :: Names

tyconsInScope_Inh_MaybeExports :: Names

data Syn_MaybeExports

Constructors

Syn_MaybeExports

Fields

exportErrors_Syn_MaybeExports :: [Error]

self_Syn_MaybeExports :: MaybeExports

wrap_MaybeExports :: T_MaybeExports -> Inh_MaybeExports -> Syn_MaybeExports

sem_MaybeExports :: MaybeExports -> T_MaybeExports

newtype T_MaybeExports

Constructors

T_MaybeExports

Fields

attach_T_MaybeExports :: Identity T_MaybeExports_s92

newtype T_MaybeExports_s92

Constructors

C_MaybeExports_s92

Fields

inv_MaybeExports_s92 :: T_MaybeExports_v91

data T_MaybeExports_s93

Constructors

C_MaybeExports_s93

type T_MaybeExports_v91 = T_MaybeExports_vIn91 -> T_MaybeExports_vOut91

data T_MaybeExports_vIn91

Constructors

T_MaybeExports_vIn91 Names Names Names Names

data T_MaybeExports_vOut91

Constructors

T_MaybeExports_vOut91 [Error] MaybeExports

sem_MaybeExports_Nothing :: T_MaybeExports

sem_MaybeExports_Just :: T_Exports -> T_MaybeExports

data Inh_MaybeExpression

Constructors

Inh_MaybeExpression

Fields

allTypeConstructors_Inh_MaybeExpression :: Names

allValueConstructors_Inh_MaybeExpression :: Names

classEnvironment_Inh_MaybeExpression :: ClassEnvironment

collectScopeInfos_Inh_MaybeExpression :: [(ScopeInfo, Entity)]

counter_Inh_MaybeExpression :: Int

kindErrors_Inh_MaybeExpression :: [Error]

miscerrors_Inh_MaybeExpression :: [Error]

namesInScope_Inh_MaybeExpression :: Names

options_Inh_MaybeExpression :: [Option]

orderedTypeSynonyms_Inh_MaybeExpression :: OrderedTypeSynonyms

typeConstructors_Inh_MaybeExpression :: Map Name Int

valueConstructors_Inh_MaybeExpression :: Map Name TpScheme

warnings_Inh_MaybeExpression :: [Warning]

data Syn_MaybeExpression

Constructors

Syn_MaybeExpression

Fields

collectInstances_Syn_MaybeExpression :: [(Name, Instance)]

collectScopeInfos_Syn_MaybeExpression :: [(ScopeInfo, Entity)]

counter_Syn_MaybeExpression :: Int

kindErrors_Syn_MaybeExpression :: [Error]

miscerrors_Syn_MaybeExpression :: [Error]

self_Syn_MaybeExpression :: MaybeExpression

unboundNames_Syn_MaybeExpression :: Names

warnings_Syn_MaybeExpression :: [Warning]

wrap_MaybeExpression :: T_MaybeExpression -> Inh_MaybeExpression -> Syn_MaybeExpression

sem_MaybeExpression :: MaybeExpression -> T_MaybeExpression

newtype T_MaybeExpression

Constructors

T_MaybeExpression

Fields

attach_T_MaybeExpression :: Identity T_MaybeExpression_s95

newtype T_MaybeExpression_s95

Constructors

C_MaybeExpression_s95

Fields

inv_MaybeExpression_s95 :: T_MaybeExpression_v94

data T_MaybeExpression_s96

Constructors

C_MaybeExpression_s96

type T_MaybeExpression_v94 = T_MaybeExpression_vIn94 -> T_MaybeExpression_vOut94

data T_MaybeExpression_vIn94

Constructors

T_MaybeExpression_vIn94 Names Names ClassEnvironment [(ScopeInfo, Entity)] Int [Error] [Error] Names [Option] OrderedTypeSynonyms (Map Name Int) (Map Name TpScheme) [Warning]

data T_MaybeExpression_vOut94

Constructors

T_MaybeExpression_vOut94 [(Name, Instance)] [(ScopeInfo, Entity)] Int [Error] [Error] MaybeExpression Names [Warning]

sem_MaybeExpression_Nothing :: T_MaybeExpression

sem_MaybeExpression_Just :: T_Expression -> T_MaybeExpression

data Inh_MaybeImportSpecification

Constructors

Inh_MaybeImportSpecification

data Syn_MaybeImportSpecification

Constructors

Syn_MaybeImportSpecification

Fields

self_Syn_MaybeImportSpecification :: MaybeImportSpecification

wrap_MaybeImportSpecification :: T_MaybeImportSpecification -> Inh_MaybeImportSpecification -> Syn_MaybeImportSpecification

sem_MaybeImportSpecification :: MaybeImportSpecification -> T_MaybeImportSpecification

newtype T_MaybeImportSpecification

Constructors

T_MaybeImportSpecification

Fields

attach_T_MaybeImportSpecification :: Identity T_MaybeImportSpecification_s98

newtype T_MaybeImportSpecification_s98

Constructors

C_MaybeImportSpecification_s98

Fields

inv_MaybeImportSpecification_s98 :: T_MaybeImportSpecification_v97

data T_MaybeImportSpecification_s99

Constructors

C_MaybeImportSpecification_s99

type T_MaybeImportSpecification_v97 = T_MaybeImportSpecification_vIn97 -> T_MaybeImportSpecification_vOut97

data T_MaybeImportSpecification_vIn97

Constructors

T_MaybeImportSpecification_vIn97

data T_MaybeImportSpecification_vOut97

Constructors

T_MaybeImportSpecification_vOut97 MaybeImportSpecification

sem_MaybeImportSpecification_Nothing :: T_MaybeImportSpecification

sem_MaybeImportSpecification_Just :: T_ImportSpecification -> T_MaybeImportSpecification

data Inh_MaybeInt

Constructors

Inh_MaybeInt

data Syn_MaybeInt

Constructors

Syn_MaybeInt

Fields

self_Syn_MaybeInt :: MaybeInt

wrap_MaybeInt :: T_MaybeInt -> Inh_MaybeInt -> Syn_MaybeInt

sem_MaybeInt :: MaybeInt -> T_MaybeInt

newtype T_MaybeInt

Constructors

T_MaybeInt

Fields

attach_T_MaybeInt :: Identity T_MaybeInt_s101

newtype T_MaybeInt_s101

Constructors

C_MaybeInt_s101

Fields

inv_MaybeInt_s101 :: T_MaybeInt_v100

data T_MaybeInt_s102

Constructors

C_MaybeInt_s102

type T_MaybeInt_v100 = T_MaybeInt_vIn100 -> T_MaybeInt_vOut100

data T_MaybeInt_vIn100

Constructors

T_MaybeInt_vIn100

data T_MaybeInt_vOut100

Constructors

T_MaybeInt_vOut100 MaybeInt

sem_MaybeInt_Nothing :: T_MaybeInt

sem_MaybeInt_Just :: Int -> T_MaybeInt

data Inh_MaybeName

Constructors

Inh_MaybeName

data Syn_MaybeName

Constructors

Syn_MaybeName

Fields

self_Syn_MaybeName :: MaybeName

wrap_MaybeName :: T_MaybeName -> Inh_MaybeName -> Syn_MaybeName

sem_MaybeName :: MaybeName -> T_MaybeName

newtype T_MaybeName

Constructors

T_MaybeName

Fields

attach_T_MaybeName :: Identity T_MaybeName_s104

newtype T_MaybeName_s104

Constructors

C_MaybeName_s104

Fields

inv_MaybeName_s104 :: T_MaybeName_v103

data T_MaybeName_s105

Constructors

C_MaybeName_s105

type T_MaybeName_v103 = T_MaybeName_vIn103 -> T_MaybeName_vOut103

data T_MaybeName_vIn103

Constructors

T_MaybeName_vIn103

data T_MaybeName_vOut103

Constructors

T_MaybeName_vOut103 MaybeName

sem_MaybeName_Nothing :: T_MaybeName

sem_MaybeName_Just :: T_Name -> T_MaybeName

data Inh_MaybeNames

Constructors

Inh_MaybeNames

data Syn_MaybeNames

Constructors

Syn_MaybeNames

Fields

self_Syn_MaybeNames :: MaybeNames

wrap_MaybeNames :: T_MaybeNames -> Inh_MaybeNames -> Syn_MaybeNames

sem_MaybeNames :: MaybeNames -> T_MaybeNames

newtype T_MaybeNames

Constructors

T_MaybeNames

Fields

attach_T_MaybeNames :: Identity T_MaybeNames_s107

newtype T_MaybeNames_s107

Constructors

C_MaybeNames_s107

Fields

inv_MaybeNames_s107 :: T_MaybeNames_v106

data T_MaybeNames_s108

Constructors

C_MaybeNames_s108

type T_MaybeNames_v106 = T_MaybeNames_vIn106 -> T_MaybeNames_vOut106

data T_MaybeNames_vIn106

Constructors

T_MaybeNames_vIn106

data T_MaybeNames_vOut106

Constructors

T_MaybeNames_vOut106 MaybeNames

sem_MaybeNames_Nothing :: T_MaybeNames

sem_MaybeNames_Just :: T_Names -> T_MaybeNames

data Inh_Module

Constructors

Inh_Module

Fields

baseName_Inh_Module :: String

importEnvironments_Inh_Module :: ImportEnvironments

options_Inh_Module :: [Option]

data Syn_Module

Constructors

Syn_Module

Fields

collectEnvironment_Syn_Module :: ImportEnvironment

errors_Syn_Module :: Errors

self_Syn_Module :: Module

typeSignatures_Syn_Module :: [(Name, TpScheme)]

warnings_Syn_Module :: Warnings

wrap_Module :: T_Module -> Inh_Module -> Syn_Module

sem_Module :: Module -> T_Module

newtype T_Module

Constructors

T_Module

Fields

attach_T_Module :: Identity T_Module_s110

newtype T_Module_s110

Constructors

C_Module_s110

Fields

inv_Module_s110 :: T_Module_v109

data T_Module_s111

Constructors

C_Module_s111

type T_Module_v109 = T_Module_vIn109 -> T_Module_vOut109

data T_Module_vIn109

Constructors

T_Module_vIn109 String ImportEnvironments [Option]

data T_Module_vOut109

Constructors

T_Module_vOut109 ImportEnvironment Errors Module [(Name, TpScheme)] Warnings

sem_Module_Module :: T_Range -> T_MaybeName -> T_MaybeExports -> T_Body -> T_Module

data Inh_Name

Constructors

Inh_Name

data Syn_Name

Constructors

Syn_Name

Fields

self_Syn_Name :: Name

wrap_Name :: T_Name -> Inh_Name -> Syn_Name

sem_Name :: Name -> T_Name

newtype T_Name

Constructors

T_Name

Fields

attach_T_Name :: Identity T_Name_s113

newtype T_Name_s113

Constructors

C_Name_s113

Fields

inv_Name_s113 :: T_Name_v112

data T_Name_s114

Constructors

C_Name_s114

type T_Name_v112 = T_Name_vIn112 -> T_Name_vOut112

data T_Name_vIn112

Constructors

T_Name_vIn112

data T_Name_vOut112

Constructors

T_Name_vOut112 Name

sem_Name_Identifier :: T_Range -> T_Strings -> String -> T_Name

sem_Name_Operator :: T_Range -> T_Strings -> String -> T_Name

sem_Name_Special :: T_Range -> T_Strings -> String -> T_Name

data Inh_Names

Constructors

Inh_Names

data Syn_Names

Constructors

Syn_Names

Fields

self_Syn_Names :: Names

wrap_Names :: T_Names -> Inh_Names -> Syn_Names

sem_Names :: Names -> T_Names

newtype T_Names

Constructors

T_Names

Fields

attach_T_Names :: Identity T_Names_s116

newtype T_Names_s116

Constructors

C_Names_s116

Fields

inv_Names_s116 :: T_Names_v115

data T_Names_s117

Constructors

C_Names_s117

type T_Names_v115 = T_Names_vIn115 -> T_Names_vOut115

data T_Names_vIn115

Constructors

T_Names_vIn115

data T_Names_vOut115

Constructors

T_Names_vOut115 Names

sem_Names_Cons :: T_Name -> T_Names -> T_Names

sem_Names_Nil :: T_Names

data Inh_Pattern

Constructors

Inh_Pattern

Fields

allTypeConstructors_Inh_Pattern :: Names

allValueConstructors_Inh_Pattern :: Names

collectScopeInfos_Inh_Pattern :: [(ScopeInfo, Entity)]

counter_Inh_Pattern :: Int

lhsPattern_Inh_Pattern :: Bool

miscerrors_Inh_Pattern :: [Error]

namesInScope_Inh_Pattern :: Names

typeConstructors_Inh_Pattern :: Map Name Int

valueConstructors_Inh_Pattern :: Map Name TpScheme

warnings_Inh_Pattern :: [Warning]

data Syn_Pattern

Constructors

Syn_Pattern

Fields

collectScopeInfos_Syn_Pattern :: [(ScopeInfo, Entity)]

counter_Syn_Pattern :: Int

miscerrors_Syn_Pattern :: [Error]

patVarNames_Syn_Pattern :: Names

self_Syn_Pattern :: Pattern

unboundNames_Syn_Pattern :: Names

warnings_Syn_Pattern :: [Warning]

wrap_Pattern :: T_Pattern -> Inh_Pattern -> Syn_Pattern

sem_Pattern :: Pattern -> T_Pattern

newtype T_Pattern

Constructors

T_Pattern

Fields

attach_T_Pattern :: Identity T_Pattern_s119

newtype T_Pattern_s119

Constructors

C_Pattern_s119

Fields

inv_Pattern_s119 :: T_Pattern_v118

data T_Pattern_s120

Constructors

C_Pattern_s120

type T_Pattern_v118 = T_Pattern_vIn118 -> T_Pattern_vOut118

data T_Pattern_vIn118

Constructors

T_Pattern_vIn118 Names Names [(ScopeInfo, Entity)] Int Bool [Error] Names (Map Name Int) (Map Name TpScheme) [Warning]

data T_Pattern_vOut118

Constructors

T_Pattern_vOut118 [(ScopeInfo, Entity)] Int [Error] Names Pattern Names [Warning]

sem_Pattern_Hole :: T_Range -> Integer -> T_Pattern

sem_Pattern_Literal :: T_Range -> T_Literal -> T_Pattern

sem_Pattern_Variable :: T_Range -> T_Name -> T_Pattern

sem_Pattern_Constructor :: T_Range -> T_Name -> T_Patterns -> T_Pattern

sem_Pattern_Parenthesized :: T_Range -> T_Pattern -> T_Pattern

sem_Pattern_InfixConstructor :: T_Range -> T_Pattern -> T_Name -> T_Pattern -> T_Pattern

sem_Pattern_List :: T_Range -> T_Patterns -> T_Pattern

sem_Pattern_Tuple :: T_Range -> T_Patterns -> T_Pattern

sem_Pattern_Record :: T_Range -> T_Name -> T_RecordPatternBindings -> T_Pattern

sem_Pattern_Negate :: T_Range -> T_Literal -> T_Pattern

sem_Pattern_As :: T_Range -> T_Name -> T_Pattern -> T_Pattern

sem_Pattern_Wildcard :: T_Range -> T_Pattern

sem_Pattern_Irrefutable :: T_Range -> T_Pattern -> T_Pattern

sem_Pattern_Successor :: T_Range -> T_Name -> T_Literal -> T_Pattern

sem_Pattern_NegateFloat :: T_Range -> T_Literal -> T_Pattern

data Inh_Patterns

Constructors

Inh_Patterns

Fields

allTypeConstructors_Inh_Patterns :: Names

allValueConstructors_Inh_Patterns :: Names

collectScopeInfos_Inh_Patterns :: [(ScopeInfo, Entity)]

counter_Inh_Patterns :: Int

lhsPattern_Inh_Patterns :: Bool

miscerrors_Inh_Patterns :: [Error]

namesInScope_Inh_Patterns :: Names

typeConstructors_Inh_Patterns :: Map Name Int

valueConstructors_Inh_Patterns :: Map Name TpScheme

warnings_Inh_Patterns :: [Warning]

data Syn_Patterns

Constructors

Syn_Patterns

Fields

collectScopeInfos_Syn_Patterns :: [(ScopeInfo, Entity)]

counter_Syn_Patterns :: Int

miscerrors_Syn_Patterns :: [Error]

numberOfPatterns_Syn_Patterns :: Int

patVarNames_Syn_Patterns :: Names

self_Syn_Patterns :: Patterns

unboundNames_Syn_Patterns :: Names

warnings_Syn_Patterns :: [Warning]

wrap_Patterns :: T_Patterns -> Inh_Patterns -> Syn_Patterns

sem_Patterns :: Patterns -> T_Patterns

newtype T_Patterns

Constructors

T_Patterns

Fields

attach_T_Patterns :: Identity T_Patterns_s122

newtype T_Patterns_s122

Constructors

C_Patterns_s122

Fields

inv_Patterns_s122 :: T_Patterns_v121

data T_Patterns_s123

Constructors

C_Patterns_s123

type T_Patterns_v121 = T_Patterns_vIn121 -> T_Patterns_vOut121

data T_Patterns_vIn121

Constructors

T_Patterns_vIn121 Names Names [(ScopeInfo, Entity)] Int Bool [Error] Names (Map Name Int) (Map Name TpScheme) [Warning]

data T_Patterns_vOut121

Constructors

T_Patterns_vOut121 [(ScopeInfo, Entity)] Int [Error] Int Names Patterns Names [Warning]

sem_Patterns_Cons :: T_Pattern -> T_Patterns -> T_Patterns

sem_Patterns_Nil :: T_Patterns

data Inh_Position

Constructors

Inh_Position

data Syn_Position

Constructors

Syn_Position

Fields

self_Syn_Position :: Position

wrap_Position :: T_Position -> Inh_Position -> Syn_Position

sem_Position :: Position -> T_Position

newtype T_Position

Constructors

T_Position

Fields

attach_T_Position :: Identity T_Position_s125

newtype T_Position_s125

Constructors

C_Position_s125

Fields

inv_Position_s125 :: T_Position_v124

data T_Position_s126

Constructors

C_Position_s126

type T_Position_v124 = T_Position_vIn124 -> T_Position_vOut124

data T_Position_vIn124

Constructors

T_Position_vIn124

data T_Position_vOut124

Constructors

T_Position_vOut124 Position

sem_Position_Position :: String -> Int -> Int -> T_Position

sem_Position_Unknown :: T_Position

data Inh_Qualifier

Constructors

Inh_Qualifier

Fields

allTypeConstructors_Inh_Qualifier :: Names

allValueConstructors_Inh_Qualifier :: Names

classEnvironment_Inh_Qualifier :: ClassEnvironment

collectScopeInfos_Inh_Qualifier :: [(ScopeInfo, Entity)]

counter_Inh_Qualifier :: Int

kindErrors_Inh_Qualifier :: [Error]

miscerrors_Inh_Qualifier :: [Error]

namesInScope_Inh_Qualifier :: Names

options_Inh_Qualifier :: [Option]

orderedTypeSynonyms_Inh_Qualifier :: OrderedTypeSynonyms

typeConstructors_Inh_Qualifier :: Map Name Int

unboundNames_Inh_Qualifier :: Names

valueConstructors_Inh_Qualifier :: Map Name TpScheme

warnings_Inh_Qualifier :: [Warning]

data Syn_Qualifier

Constructors

Syn_Qualifier

Fields

collectInstances_Syn_Qualifier :: [(Name, Instance)]

collectScopeInfos_Syn_Qualifier :: [(ScopeInfo, Entity)]

counter_Syn_Qualifier :: Int

kindErrors_Syn_Qualifier :: [Error]

miscerrors_Syn_Qualifier :: [Error]

namesInScope_Syn_Qualifier :: Names

self_Syn_Qualifier :: Qualifier

unboundNames_Syn_Qualifier :: Names

warnings_Syn_Qualifier :: [Warning]

wrap_Qualifier :: T_Qualifier -> Inh_Qualifier -> Syn_Qualifier

sem_Qualifier :: Qualifier -> T_Qualifier

newtype T_Qualifier

Constructors

T_Qualifier

Fields

attach_T_Qualifier :: Identity T_Qualifier_s128

newtype T_Qualifier_s128

Constructors

C_Qualifier_s128

Fields

inv_Qualifier_s128 :: T_Qualifier_v127

data T_Qualifier_s129

Constructors

C_Qualifier_s129

type T_Qualifier_v127 = T_Qualifier_vIn127 -> T_Qualifier_vOut127

data T_Qualifier_vIn127

Constructors

T_Qualifier_vIn127 Names Names ClassEnvironment [(ScopeInfo, Entity)] Int [Error] [Error] Names [Option] OrderedTypeSynonyms (Map Name Int) Names (Map Name TpScheme) [Warning]

data T_Qualifier_vOut127

Constructors

T_Qualifier_vOut127 [(Name, Instance)] [(ScopeInfo, Entity)] Int [Error] [Error] Names Qualifier Names [Warning]

sem_Qualifier_Guard :: T_Range -> T_Expression -> T_Qualifier

sem_Qualifier_Let :: T_Range -> T_Declarations -> T_Qualifier

sem_Qualifier_Generator :: T_Range -> T_Pattern -> T_Expression -> T_Qualifier

sem_Qualifier_Empty :: T_Range -> T_Qualifier

data Inh_Qualifiers

Constructors

Inh_Qualifiers

Fields

allTypeConstructors_Inh_Qualifiers :: Names

allValueConstructors_Inh_Qualifiers :: Names

classEnvironment_Inh_Qualifiers :: ClassEnvironment

collectScopeInfos_Inh_Qualifiers :: [(ScopeInfo, Entity)]

counter_Inh_Qualifiers :: Int

kindErrors_Inh_Qualifiers :: [Error]

miscerrors_Inh_Qualifiers :: [Error]

namesInScope_Inh_Qualifiers :: Names

options_Inh_Qualifiers :: [Option]

orderedTypeSynonyms_Inh_Qualifiers :: OrderedTypeSynonyms

typeConstructors_Inh_Qualifiers :: Map Name Int

unboundNames_Inh_Qualifiers :: Names

valueConstructors_Inh_Qualifiers :: Map Name TpScheme

warnings_Inh_Qualifiers :: [Warning]

data Syn_Qualifiers

Constructors

Syn_Qualifiers

Fields

collectInstances_Syn_Qualifiers :: [(Name, Instance)]

collectScopeInfos_Syn_Qualifiers :: [(ScopeInfo, Entity)]

counter_Syn_Qualifiers :: Int

kindErrors_Syn_Qualifiers :: [Error]

miscerrors_Syn_Qualifiers :: [Error]

namesInScope_Syn_Qualifiers :: Names

self_Syn_Qualifiers :: Qualifiers

unboundNames_Syn_Qualifiers :: Names

warnings_Syn_Qualifiers :: [Warning]

wrap_Qualifiers :: T_Qualifiers -> Inh_Qualifiers -> Syn_Qualifiers

sem_Qualifiers :: Qualifiers -> T_Qualifiers

newtype T_Qualifiers

Constructors

T_Qualifiers

Fields

attach_T_Qualifiers :: Identity T_Qualifiers_s131

newtype T_Qualifiers_s131

Constructors

C_Qualifiers_s131

Fields

inv_Qualifiers_s131 :: T_Qualifiers_v130

data T_Qualifiers_s132

Constructors

C_Qualifiers_s132

type T_Qualifiers_v130 = T_Qualifiers_vIn130 -> T_Qualifiers_vOut130

data T_Qualifiers_vIn130

Constructors

T_Qualifiers_vIn130 Names Names ClassEnvironment [(ScopeInfo, Entity)] Int [Error] [Error] Names [Option] OrderedTypeSynonyms (Map Name Int) Names (Map Name TpScheme) [Warning]

data T_Qualifiers_vOut130

Constructors

T_Qualifiers_vOut130 [(Name, Instance)] [(ScopeInfo, Entity)] Int [Error] [Error] Names Qualifiers Names [Warning]

sem_Qualifiers_Cons :: T_Qualifier -> T_Qualifiers -> T_Qualifiers

sem_Qualifiers_Nil :: T_Qualifiers

data Inh_Range

Constructors

Inh_Range

data Syn_Range

Constructors

Syn_Range

Fields

self_Syn_Range :: Range

wrap_Range :: T_Range -> Inh_Range -> Syn_Range

sem_Range :: Range -> T_Range

newtype T_Range

Constructors

T_Range

Fields

attach_T_Range :: Identity T_Range_s134

newtype T_Range_s134

Constructors

C_Range_s134

Fields

inv_Range_s134 :: T_Range_v133

data T_Range_s135

Constructors

C_Range_s135

type T_Range_v133 = T_Range_vIn133 -> T_Range_vOut133

data T_Range_vIn133

Constructors

T_Range_vIn133

data T_Range_vOut133

Constructors

T_Range_vOut133 Range

sem_Range_Range :: T_Position -> T_Position -> T_Range

data Inh_RecordExpressionBinding

Constructors

Inh_RecordExpressionBinding

Fields

classEnvironment_Inh_RecordExpressionBinding :: ClassEnvironment

collectScopeInfos_Inh_RecordExpressionBinding :: [(ScopeInfo, Entity)]

counter_Inh_RecordExpressionBinding :: Int

namesInScope_Inh_RecordExpressionBinding :: Names

options_Inh_RecordExpressionBinding :: [Option]

orderedTypeSynonyms_Inh_RecordExpressionBinding :: OrderedTypeSynonyms

data Syn_RecordExpressionBinding

Constructors

Syn_RecordExpressionBinding

Fields

collectInstances_Syn_RecordExpressionBinding :: [(Name, Instance)]

collectScopeInfos_Syn_RecordExpressionBinding :: [(ScopeInfo, Entity)]

counter_Syn_RecordExpressionBinding :: Int

self_Syn_RecordExpressionBinding :: RecordExpressionBinding

unboundNames_Syn_RecordExpressionBinding :: Names

wrap_RecordExpressionBinding :: T_RecordExpressionBinding -> Inh_RecordExpressionBinding -> Syn_RecordExpressionBinding

sem_RecordExpressionBinding :: RecordExpressionBinding -> T_RecordExpressionBinding

newtype T_RecordExpressionBinding

Constructors

T_RecordExpressionBinding

Fields

attach_T_RecordExpressionBinding :: Identity T_RecordExpressionBinding_s137

newtype T_RecordExpressionBinding_s137

Constructors

C_RecordExpressionBinding_s137

Fields

inv_RecordExpressionBinding_s137 :: T_RecordExpressionBinding_v136

data T_RecordExpressionBinding_s138

Constructors

C_RecordExpressionBinding_s138

type T_RecordExpressionBinding_v136 = T_RecordExpressionBinding_vIn136 -> T_RecordExpressionBinding_vOut136

data T_RecordExpressionBinding_vIn136

Constructors

T_RecordExpressionBinding_vIn136 ClassEnvironment [(ScopeInfo, Entity)] Int Names [Option] OrderedTypeSynonyms

data T_RecordExpressionBinding_vOut136

Constructors

T_RecordExpressionBinding_vOut136 [(Name, Instance)] [(ScopeInfo, Entity)] Int RecordExpressionBinding Names

sem_RecordExpressionBinding_RecordExpressionBinding :: T_Range -> T_Name -> T_Expression -> T_RecordExpressionBinding

data Inh_RecordExpressionBindings

Constructors

Inh_RecordExpressionBindings

Fields

classEnvironment_Inh_RecordExpressionBindings :: ClassEnvironment

collectScopeInfos_Inh_RecordExpressionBindings :: [(ScopeInfo, Entity)]

counter_Inh_RecordExpressionBindings :: Int

namesInScope_Inh_RecordExpressionBindings :: Names

options_Inh_RecordExpressionBindings :: [Option]

orderedTypeSynonyms_Inh_RecordExpressionBindings :: OrderedTypeSynonyms

data Syn_RecordExpressionBindings

Constructors

Syn_RecordExpressionBindings

Fields

collectInstances_Syn_RecordExpressionBindings :: [(Name, Instance)]

collectScopeInfos_Syn_RecordExpressionBindings :: [(ScopeInfo, Entity)]

counter_Syn_RecordExpressionBindings :: Int

self_Syn_RecordExpressionBindings :: RecordExpressionBindings

unboundNames_Syn_RecordExpressionBindings :: Names

wrap_RecordExpressionBindings :: T_RecordExpressionBindings -> Inh_RecordExpressionBindings -> Syn_RecordExpressionBindings

sem_RecordExpressionBindings :: RecordExpressionBindings -> T_RecordExpressionBindings

newtype T_RecordExpressionBindings

Constructors

T_RecordExpressionBindings

Fields

attach_T_RecordExpressionBindings :: Identity T_RecordExpressionBindings_s140

newtype T_RecordExpressionBindings_s140

Constructors

C_RecordExpressionBindings_s140

Fields

inv_RecordExpressionBindings_s140 :: T_RecordExpressionBindings_v139

data T_RecordExpressionBindings_s141

Constructors

C_RecordExpressionBindings_s141

type T_RecordExpressionBindings_v139 = T_RecordExpressionBindings_vIn139 -> T_RecordExpressionBindings_vOut139

data T_RecordExpressionBindings_vIn139

Constructors

T_RecordExpressionBindings_vIn139 ClassEnvironment [(ScopeInfo, Entity)] Int Names [Option] OrderedTypeSynonyms

data T_RecordExpressionBindings_vOut139

Constructors

T_RecordExpressionBindings_vOut139 [(Name, Instance)] [(ScopeInfo, Entity)] Int RecordExpressionBindings Names

sem_RecordExpressionBindings_Cons :: T_RecordExpressionBinding -> T_RecordExpressionBindings -> T_RecordExpressionBindings

sem_RecordExpressionBindings_Nil :: T_RecordExpressionBindings

data Inh_RecordPatternBinding

Constructors

Inh_RecordPatternBinding

Fields

collectScopeInfos_Inh_RecordPatternBinding :: [(ScopeInfo, Entity)]

counter_Inh_RecordPatternBinding :: Int

namesInScope_Inh_RecordPatternBinding :: Names

data Syn_RecordPatternBinding

Constructors

Syn_RecordPatternBinding

Fields

collectScopeInfos_Syn_RecordPatternBinding :: [(ScopeInfo, Entity)]

counter_Syn_RecordPatternBinding :: Int

self_Syn_RecordPatternBinding :: RecordPatternBinding

unboundNames_Syn_RecordPatternBinding :: Names

wrap_RecordPatternBinding :: T_RecordPatternBinding -> Inh_RecordPatternBinding -> Syn_RecordPatternBinding

sem_RecordPatternBinding :: RecordPatternBinding -> T_RecordPatternBinding

newtype T_RecordPatternBinding

Constructors

T_RecordPatternBinding

Fields

attach_T_RecordPatternBinding :: Identity T_RecordPatternBinding_s143

newtype T_RecordPatternBinding_s143

Constructors

C_RecordPatternBinding_s143

Fields

inv_RecordPatternBinding_s143 :: T_RecordPatternBinding_v142

data T_RecordPatternBinding_s144

Constructors

C_RecordPatternBinding_s144

type T_RecordPatternBinding_v142 = T_RecordPatternBinding_vIn142 -> T_RecordPatternBinding_vOut142

data T_RecordPatternBinding_vIn142

Constructors

T_RecordPatternBinding_vIn142 [(ScopeInfo, Entity)] Int Names

data T_RecordPatternBinding_vOut142

Constructors

T_RecordPatternBinding_vOut142 [(ScopeInfo, Entity)] Int RecordPatternBinding Names

sem_RecordPatternBinding_RecordPatternBinding :: T_Range -> T_Name -> T_Pattern -> T_RecordPatternBinding

data Inh_RecordPatternBindings

Constructors

Inh_RecordPatternBindings

Fields

collectScopeInfos_Inh_RecordPatternBindings :: [(ScopeInfo, Entity)]

counter_Inh_RecordPatternBindings :: Int

namesInScope_Inh_RecordPatternBindings :: Names

data Syn_RecordPatternBindings

Constructors

Syn_RecordPatternBindings

Fields

collectScopeInfos_Syn_RecordPatternBindings :: [(ScopeInfo, Entity)]

counter_Syn_RecordPatternBindings :: Int

self_Syn_RecordPatternBindings :: RecordPatternBindings

unboundNames_Syn_RecordPatternBindings :: Names

wrap_RecordPatternBindings :: T_RecordPatternBindings -> Inh_RecordPatternBindings -> Syn_RecordPatternBindings

sem_RecordPatternBindings :: RecordPatternBindings -> T_RecordPatternBindings

newtype T_RecordPatternBindings

Constructors

T_RecordPatternBindings

Fields

attach_T_RecordPatternBindings :: Identity T_RecordPatternBindings_s146

newtype T_RecordPatternBindings_s146

Constructors

C_RecordPatternBindings_s146

Fields

inv_RecordPatternBindings_s146 :: T_RecordPatternBindings_v145

data T_RecordPatternBindings_s147

Constructors

C_RecordPatternBindings_s147

type T_RecordPatternBindings_v145 = T_RecordPatternBindings_vIn145 -> T_RecordPatternBindings_vOut145

data T_RecordPatternBindings_vIn145

Constructors

T_RecordPatternBindings_vIn145 [(ScopeInfo, Entity)] Int Names

data T_RecordPatternBindings_vOut145

Constructors

T_RecordPatternBindings_vOut145 [(ScopeInfo, Entity)] Int RecordPatternBindings Names

sem_RecordPatternBindings_Cons :: T_RecordPatternBinding -> T_RecordPatternBindings -> T_RecordPatternBindings

sem_RecordPatternBindings_Nil :: T_RecordPatternBindings

data Inh_RightHandSide

Constructors

Inh_RightHandSide

Fields

allTypeConstructors_Inh_RightHandSide :: Names

allValueConstructors_Inh_RightHandSide :: Names

classEnvironment_Inh_RightHandSide :: ClassEnvironment

collectScopeInfos_Inh_RightHandSide :: [(ScopeInfo, Entity)]

counter_Inh_RightHandSide :: Int

kindErrors_Inh_RightHandSide :: [Error]

miscerrors_Inh_RightHandSide :: [Error]

namesInScope_Inh_RightHandSide :: Names

options_Inh_RightHandSide :: [Option]

orderedTypeSynonyms_Inh_RightHandSide :: OrderedTypeSynonyms

typeConstructors_Inh_RightHandSide :: Map Name Int

valueConstructors_Inh_RightHandSide :: Map Name TpScheme

warnings_Inh_RightHandSide :: [Warning]

data Syn_RightHandSide

Constructors

Syn_RightHandSide

Fields

collectInstances_Syn_RightHandSide :: [(Name, Instance)]

collectScopeInfos_Syn_RightHandSide :: [(ScopeInfo, Entity)]

counter_Syn_RightHandSide :: Int

kindErrors_Syn_RightHandSide :: [Error]

miscerrors_Syn_RightHandSide :: [Error]

self_Syn_RightHandSide :: RightHandSide

unboundNames_Syn_RightHandSide :: Names

warnings_Syn_RightHandSide :: [Warning]

wrap_RightHandSide :: T_RightHandSide -> Inh_RightHandSide -> Syn_RightHandSide

sem_RightHandSide :: RightHandSide -> T_RightHandSide

newtype T_RightHandSide

Constructors

T_RightHandSide

Fields

attach_T_RightHandSide :: Identity T_RightHandSide_s149

newtype T_RightHandSide_s149

Constructors

C_RightHandSide_s149

Fields

inv_RightHandSide_s149 :: T_RightHandSide_v148

data T_RightHandSide_s150

Constructors

C_RightHandSide_s150

type T_RightHandSide_v148 = T_RightHandSide_vIn148 -> T_RightHandSide_vOut148

data T_RightHandSide_vIn148

Constructors

T_RightHandSide_vIn148 Names Names ClassEnvironment [(ScopeInfo, Entity)] Int [Error] [Error] Names [Option] OrderedTypeSynonyms (Map Name Int) (Map Name TpScheme) [Warning]

data T_RightHandSide_vOut148

Constructors

T_RightHandSide_vOut148 [(Name, Instance)] [(ScopeInfo, Entity)] Int [Error] [Error] RightHandSide Names [Warning]

sem_RightHandSide_Expression :: T_Range -> T_Expression -> T_MaybeDeclarations -> T_RightHandSide

sem_RightHandSide_Guarded :: T_Range -> T_GuardedExpressions -> T_MaybeDeclarations -> T_RightHandSide

data Inh_SimpleType

Constructors

Inh_SimpleType

data Syn_SimpleType

Constructors

Syn_SimpleType

Fields

name_Syn_SimpleType :: Name

self_Syn_SimpleType :: SimpleType

typevariables_Syn_SimpleType :: Names

wrap_SimpleType :: T_SimpleType -> Inh_SimpleType -> Syn_SimpleType

sem_SimpleType :: SimpleType -> T_SimpleType

newtype T_SimpleType

Constructors

T_SimpleType

Fields

attach_T_SimpleType :: Identity T_SimpleType_s152

newtype T_SimpleType_s152

Constructors

C_SimpleType_s152

Fields

inv_SimpleType_s152 :: T_SimpleType_v151

data T_SimpleType_s153

Constructors

C_SimpleType_s153

type T_SimpleType_v151 = T_SimpleType_vIn151 -> T_SimpleType_vOut151

data T_SimpleType_vIn151

Constructors

T_SimpleType_vIn151

data T_SimpleType_vOut151

Constructors

T_SimpleType_vOut151 Name SimpleType Names

sem_SimpleType_SimpleType :: T_Range -> T_Name -> T_Names -> T_SimpleType

data Inh_Statement

Constructors

Inh_Statement

Fields

allTypeConstructors_Inh_Statement :: Names

allValueConstructors_Inh_Statement :: Names

classEnvironment_Inh_Statement :: ClassEnvironment

collectScopeInfos_Inh_Statement :: [(ScopeInfo, Entity)]

counter_Inh_Statement :: Int

kindErrors_Inh_Statement :: [Error]

lastStatementIsExpr_Inh_Statement :: Bool

miscerrors_Inh_Statement :: [Error]

namesInScope_Inh_Statement :: Names

options_Inh_Statement :: [Option]

orderedTypeSynonyms_Inh_Statement :: OrderedTypeSynonyms

typeConstructors_Inh_Statement :: Map Name Int

unboundNames_Inh_Statement :: Names

valueConstructors_Inh_Statement :: Map Name TpScheme

warnings_Inh_Statement :: [Warning]

data Syn_Statement

Constructors

Syn_Statement

Fields

collectInstances_Syn_Statement :: [(Name, Instance)]

collectScopeInfos_Syn_Statement :: [(ScopeInfo, Entity)]

counter_Syn_Statement :: Int

kindErrors_Syn_Statement :: [Error]

lastStatementIsExpr_Syn_Statement :: Bool

miscerrors_Syn_Statement :: [Error]

namesInScope_Syn_Statement :: Names

self_Syn_Statement :: Statement

unboundNames_Syn_Statement :: Names

warnings_Syn_Statement :: [Warning]

wrap_Statement :: T_Statement -> Inh_Statement -> Syn_Statement

sem_Statement :: Statement -> T_Statement

newtype T_Statement

Constructors

T_Statement

Fields

attach_T_Statement :: Identity T_Statement_s155

newtype T_Statement_s155

Constructors

C_Statement_s155

Fields

inv_Statement_s155 :: T_Statement_v154

data T_Statement_s156

Constructors

C_Statement_s156

type T_Statement_v154 = T_Statement_vIn154 -> T_Statement_vOut154

data T_Statement_vIn154

Constructors

T_Statement_vIn154 Names Names ClassEnvironment [(ScopeInfo, Entity)] Int [Error] Bool [Error] Names [Option] OrderedTypeSynonyms (Map Name Int) Names (Map Name TpScheme) [Warning]

data T_Statement_vOut154

Constructors

T_Statement_vOut154 [(Name, Instance)] [(ScopeInfo, Entity)] Int [Error] Bool [Error] Names Statement Names [Warning]

sem_Statement_Expression :: T_Range -> T_Expression -> T_Statement

sem_Statement_Let :: T_Range -> T_Declarations -> T_Statement

sem_Statement_Generator :: T_Range -> T_Pattern -> T_Expression -> T_Statement

sem_Statement_Empty :: T_Range -> T_Statement

data Inh_Statements

Constructors

Inh_Statements

Fields

allTypeConstructors_Inh_Statements :: Names

allValueConstructors_Inh_Statements :: Names

classEnvironment_Inh_Statements :: ClassEnvironment

collectScopeInfos_Inh_Statements :: [(ScopeInfo, Entity)]

counter_Inh_Statements :: Int

kindErrors_Inh_Statements :: [Error]

lastStatementIsExpr_Inh_Statements :: Bool

miscerrors_Inh_Statements :: [Error]

namesInScope_Inh_Statements :: Names

options_Inh_Statements :: [Option]

orderedTypeSynonyms_Inh_Statements :: OrderedTypeSynonyms

typeConstructors_Inh_Statements :: Map Name Int

unboundNames_Inh_Statements :: Names

valueConstructors_Inh_Statements :: Map Name TpScheme

warnings_Inh_Statements :: [Warning]

data Syn_Statements

Constructors

Syn_Statements

Fields

collectInstances_Syn_Statements :: [(Name, Instance)]

collectScopeInfos_Syn_Statements :: [(ScopeInfo, Entity)]

counter_Syn_Statements :: Int

kindErrors_Syn_Statements :: [Error]

lastStatementIsExpr_Syn_Statements :: Bool

miscerrors_Syn_Statements :: [Error]

namesInScope_Syn_Statements :: Names

self_Syn_Statements :: Statements

unboundNames_Syn_Statements :: Names

warnings_Syn_Statements :: [Warning]

wrap_Statements :: T_Statements -> Inh_Statements -> Syn_Statements

sem_Statements :: Statements -> T_Statements

newtype T_Statements

Constructors

T_Statements

Fields

attach_T_Statements :: Identity T_Statements_s158

newtype T_Statements_s158

Constructors

C_Statements_s158

Fields

inv_Statements_s158 :: T_Statements_v157

data T_Statements_s159

Constructors

C_Statements_s159

type T_Statements_v157 = T_Statements_vIn157 -> T_Statements_vOut157

data T_Statements_vIn157

Constructors

T_Statements_vIn157 Names Names ClassEnvironment [(ScopeInfo, Entity)] Int [Error] Bool [Error] Names [Option] OrderedTypeSynonyms (Map Name Int) Names (Map Name TpScheme) [Warning]

data T_Statements_vOut157

Constructors

T_Statements_vOut157 [(Name, Instance)] [(ScopeInfo, Entity)] Int [Error] Bool [Error] Names Statements Names [Warning]

sem_Statements_Cons :: T_Statement -> T_Statements -> T_Statements

sem_Statements_Nil :: T_Statements

data Inh_Strings

Constructors

Inh_Strings

data Syn_Strings

Constructors

Syn_Strings

Fields

self_Syn_Strings :: Strings

wrap_Strings :: T_Strings -> Inh_Strings -> Syn_Strings

sem_Strings :: Strings -> T_Strings

newtype T_Strings

Constructors

T_Strings

Fields

attach_T_Strings :: Identity T_Strings_s161

newtype T_Strings_s161

Constructors

C_Strings_s161

Fields

inv_Strings_s161 :: T_Strings_v160

data T_Strings_s162

Constructors

C_Strings_s162

type T_Strings_v160 = T_Strings_vIn160 -> T_Strings_vOut160

data T_Strings_vIn160

Constructors

T_Strings_vIn160

data T_Strings_vOut160

Constructors

T_Strings_vOut160 Strings

sem_Strings_Cons :: String -> T_Strings -> T_Strings

sem_Strings_Nil :: T_Strings

data Inh_Type

Constructors

Inh_Type

Fields

allTypeConstructors_Inh_Type :: Names

miscerrors_Inh_Type :: [Error]

options_Inh_Type :: [Option]

typeConstructors_Inh_Type :: Map Name Int

warnings_Inh_Type :: [Warning]

data Syn_Type

Constructors

Syn_Type

Fields

contextRange_Syn_Type :: Range

miscerrors_Syn_Type :: [Error]

self_Syn_Type :: Type

typevariables_Syn_Type :: Names

warnings_Syn_Type :: [Warning]

wrap_Type :: T_Type -> Inh_Type -> Syn_Type

sem_Type :: Type -> T_Type

newtype T_Type

Constructors

T_Type

Fields

attach_T_Type :: Identity T_Type_s164

newtype T_Type_s164

Constructors

C_Type_s164

Fields

inv_Type_s164 :: T_Type_v163

data T_Type_s165

Constructors

C_Type_s165

type T_Type_v163 = T_Type_vIn163 -> T_Type_vOut163

data T_Type_vIn163

Constructors

T_Type_vIn163 Names [Error] [Option] (Map Name Int) [Warning]

data T_Type_vOut163

Constructors

T_Type_vOut163 Range [Error] Type Names [Warning]

sem_Type_Application :: T_Range -> Bool -> T_Type -> T_Types -> T_Type

sem_Type_Variable :: T_Range -> T_Name -> T_Type

sem_Type_Constructor :: T_Range -> T_Name -> T_Type

sem_Type_Qualified :: T_Range -> T_ContextItems -> T_Type -> T_Type

sem_Type_Forall :: T_Range -> T_Names -> T_Type -> T_Type

sem_Type_Exists :: T_Range -> T_Names -> T_Type -> T_Type

sem_Type_Parenthesized :: T_Range -> T_Type -> T_Type

data Inh_Types

Constructors

Inh_Types

Fields

allTypeConstructors_Inh_Types :: Names

miscerrors_Inh_Types :: [Error]

options_Inh_Types :: [Option]

typeConstructors_Inh_Types :: Map Name Int

warnings_Inh_Types :: [Warning]

data Syn_Types

Constructors

Syn_Types

Fields

miscerrors_Syn_Types :: [Error]

self_Syn_Types :: Types

typevariables_Syn_Types :: Names

warnings_Syn_Types :: [Warning]

wrap_Types :: T_Types -> Inh_Types -> Syn_Types

sem_Types :: Types -> T_Types

newtype T_Types

Constructors

T_Types

Fields

attach_T_Types :: Identity T_Types_s167

newtype T_Types_s167

Constructors

C_Types_s167

Fields

inv_Types_s167 :: T_Types_v166

data T_Types_s168

Constructors

C_Types_s168

type T_Types_v166 = T_Types_vIn166 -> T_Types_vOut166

data T_Types_vIn166

Constructors

T_Types_vIn166 Names [Error] [Option] (Map Name Int) [Warning]

data T_Types_vOut166

Constructors

T_Types_vOut166 [Error] Types Names [Warning]

sem_Types_Cons :: T_Type -> T_Types -> T_Types

sem_Types_Nil :: T_Types