Safe Haskell | None |
---|---|
Language | Haskell98 |
Helium.StaticAnalysis.StaticChecks.StaticChecks
Documentation
filterDerivedNames :: [Range] -> Error -> Bool Source
uniqueKeys :: Ord key => [(key, a)] -> ([(key, a)], [[key]]) Source
uniqueAppearance :: Ord a => [a] -> ([a], [[a]]) Source
nextUnique :: Num a => a -> (a, a) Source
simplifyContext :: OrderedTypeSynonyms -> Range -> [(Int, Name)] -> TpScheme -> Warnings Source
frequencies :: Ord a => [a] -> [(a, Int)] Source
patternConstructorErrors :: Maybe TpScheme -> Name -> Names -> Int -> Bool -> Names -> [Error] Source
simplePattern :: Pattern -> Bool Source
isSimplePattern :: Pattern -> Bool Source
makeErrors :: [(ScopeInfo, Entity)] -> Errors Source
makeWarnings :: [(ScopeInfo, Entity)] -> Warnings Source
data Inh_Alternative Source
Constructors
data Syn_Alternative Source
Constructors
newtype T_Alternative Source
Constructors
T_Alternative | |
Fields |
newtype T_Alternative_s2 Source
Constructors
C_Alternative_s2 | |
Fields |
data T_Alternative_s3 Source
Constructors
C_Alternative_s3 |
data T_Alternative_vIn1 Source
data Inh_Alternatives Source
Constructors
data Syn_Alternatives Source
Constructors
newtype T_Alternatives Source
Constructors
T_Alternatives | |
newtype T_Alternatives_s5 Source
Constructors
C_Alternatives_s5 | |
Fields |
data T_Alternatives_s6 Source
Constructors
C_Alternatives_s6 |
data Inh_AnnotatedType Source
Constructors
data Syn_AnnotatedType Source
Constructors
newtype T_AnnotatedType Source
Constructors
T_AnnotatedType | |
newtype T_AnnotatedType_s8 Source
Constructors
C_AnnotatedType_s8 | |
Fields |
data T_AnnotatedType_s9 Source
Constructors
C_AnnotatedType_s9 |
data T_AnnotatedType_vOut7 Source
Constructors
T_AnnotatedType_vOut7 Int [Error] [Error] AnnotatedType Type Names Names [Warning] |
data Inh_AnnotatedTypes Source
Constructors
data Syn_AnnotatedTypes Source
Constructors
newtype T_AnnotatedTypes Source
Constructors
T_AnnotatedTypes | |
newtype T_AnnotatedTypes_s11 Source
Constructors
C_AnnotatedTypes_s11 | |
data T_AnnotatedTypes_s12 Source
Constructors
C_AnnotatedTypes_s12 |
data T_AnnotatedTypes_vOut10 Source
Constructors
T_AnnotatedTypes_vOut10 Int [Error] [Error] AnnotatedTypes Types Names Names [Warning] |
Constructors
Inh_Body | |
Fields
|
Constructors
Syn_Body | |
Fields
|
Constructors
T_Body | |
Fields |
newtype T_Body_s14 Source
Constructors
C_Body_s14 | |
Fields |
data T_Body_s15 Source
Constructors
C_Body_s15 |
type T_Body_v13 = T_Body_vIn13 -> T_Body_vOut13 Source
data T_Body_vIn13 Source
data T_Body_vOut13 Source
sem_Body_Hole :: T_Range -> Integer -> T_Body Source
sem_Body_Body :: T_Range -> T_ImportDeclarations -> T_Declarations -> T_Body Source
data Inh_Constructor Source
Constructors
data Syn_Constructor Source
Constructors
newtype T_Constructor Source
Constructors
T_Constructor | |
newtype T_Constructor_s17 Source
Constructors
C_Constructor_s17 | |
Fields |
data T_Constructor_s18 Source
Constructors
C_Constructor_s18 |
sem_Constructor_Infix :: T_Range -> T_AnnotatedType -> T_Name -> T_AnnotatedType -> T_Constructor Source
data Inh_Constructors Source
Constructors
data Syn_Constructors Source
Constructors
newtype T_Constructors Source
Constructors
T_Constructors | |
newtype T_Constructors_s20 Source
Constructors
C_Constructors_s20 | |
Fields |
data T_Constructors_s21 Source
Constructors
C_Constructors_s21 |
data Inh_ContextItem Source
Constructors
Inh_ContextItem | |
data Syn_ContextItem Source
Constructors
Syn_ContextItem | |
newtype T_ContextItem Source
Constructors
T_ContextItem | |
newtype T_ContextItem_s23 Source
Constructors
C_ContextItem_s23 | |
Fields |
data T_ContextItem_s24 Source
Constructors
C_ContextItem_s24 |
data T_ContextItem_vOut22 Source
Constructors
T_ContextItem_vOut22 [Range] [Name] [Error] ContextItem [Warning] |
sem_ContextItem_ContextItem :: T_Range -> T_Name -> T_Types -> T_ContextItem Source
data Inh_ContextItems Source
Constructors
Inh_ContextItems | |
data Syn_ContextItems Source
Constructors
Syn_ContextItems | |
newtype T_ContextItems Source
Constructors
T_ContextItems | |
newtype T_ContextItems_s26 Source
Constructors
C_ContextItems_s26 | |
Fields |
data T_ContextItems_s27 Source
Constructors
C_ContextItems_s27 |
data T_ContextItems_vOut25 Source
Constructors
T_ContextItems_vOut25 [Range] [Name] [Error] ContextItems [Warning] |
data Inh_Declaration Source
Constructors
data Syn_Declaration Source
Constructors
newtype T_Declaration Source
Constructors
T_Declaration | |
newtype T_Declaration_s29 Source
Constructors
C_Declaration_s29 | |
Fields |
data T_Declaration_s30 Source
Constructors
C_Declaration_s30 |
data T_Declaration_vIn28 Source
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] |
sem_Declaration_Type :: T_Range -> T_SimpleType -> T_Type -> T_Declaration Source
sem_Declaration_Data :: T_Range -> T_ContextItems -> T_SimpleType -> T_Constructors -> T_Names -> T_Declaration Source
sem_Declaration_Newtype :: T_Range -> T_ContextItems -> T_SimpleType -> T_Constructor -> T_Names -> T_Declaration Source
sem_Declaration_Class :: T_Range -> T_ContextItems -> T_SimpleType -> T_MaybeDeclarations -> T_Declaration Source
sem_Declaration_Instance :: T_Range -> T_ContextItems -> T_Name -> T_Types -> T_MaybeDeclarations -> T_Declaration Source
sem_Declaration_TypeSignature :: T_Range -> T_Names -> T_Type -> T_Declaration Source
sem_Declaration_Fixity :: T_Range -> T_Fixity -> T_MaybeInt -> T_Names -> T_Declaration Source
data Inh_Declarations Source
Constructors
data Syn_Declarations Source
Constructors
newtype T_Declarations Source
Constructors
T_Declarations | |
newtype T_Declarations_s32 Source
Constructors
C_Declarations_s32 | |
Fields |
data T_Declarations_s33 Source
Constructors
C_Declarations_s33 |
data T_Declarations_vIn31 Source
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 Inh_Export Source
Constructors
Inh_Export | |
data Syn_Export Source
Constructors
Syn_Export | |
Fields |
wrap_Export :: T_Export -> Inh_Export -> Syn_Export Source
sem_Export :: Export -> T_Export Source
Constructors
T_Export | |
Fields |
newtype T_Export_s35 Source
Constructors
C_Export_s35 | |
Fields |
data T_Export_s36 Source
Constructors
C_Export_s36 |
type T_Export_v34 = T_Export_vIn34 -> T_Export_vOut34 Source
data T_Export_vIn34 Source
Constructors
T_Export_vIn34 Names Names Names Names |
data T_Export_vOut34 Source
Constructors
T_Export_vOut34 [Error] Export |
sem_Export_Variable :: T_Range -> T_Name -> T_Export Source
sem_Export_TypeOrClass :: T_Range -> T_Name -> T_MaybeNames -> T_Export Source
sem_Export_Module :: T_Range -> T_Name -> T_Export Source
data Inh_Exports Source
Constructors
Inh_Exports | |
data Syn_Exports Source
Constructors
Syn_Exports | |
Fields |
wrap_Exports :: T_Exports -> Inh_Exports -> Syn_Exports Source
sem_Exports :: Exports -> T_Exports Source
Constructors
T_Exports | |
Fields |
newtype T_Exports_s38 Source
Constructors
C_Exports_s38 | |
Fields |
data T_Exports_s39 Source
Constructors
C_Exports_s39 |
type T_Exports_v37 = T_Exports_vIn37 -> T_Exports_vOut37 Source
data T_Exports_vIn37 Source
Constructors
T_Exports_vIn37 Names Names Names Names |
data T_Exports_vOut37 Source
Constructors
T_Exports_vOut37 [Error] Exports |
sem_Exports_Cons :: T_Export -> T_Exports -> T_Exports Source
data Inh_Expression Source
Constructors
data Syn_Expression Source
Constructors
newtype T_Expression Source
Constructors
T_Expression | |
Fields |
newtype T_Expression_s41 Source
Constructors
C_Expression_s41 | |
Fields |
data T_Expression_s42 Source
Constructors
C_Expression_s42 |
data T_Expression_vIn40 Source
sem_Expression_Hole :: T_Range -> Integer -> T_Expression Source
sem_Expression_Feedback :: T_Range -> String -> T_Expression -> T_Expression Source
sem_Expression_InfixApplication :: T_Range -> T_MaybeExpression -> T_Expression -> T_MaybeExpression -> T_Expression Source
sem_Expression_If :: T_Range -> T_Expression -> T_Expression -> T_Expression -> T_Expression Source
sem_Expression_Lambda :: T_Range -> T_Patterns -> T_Expression -> T_Expression Source
sem_Expression_Typed :: T_Range -> T_Expression -> T_Type -> T_Expression Source
sem_Expression_RecordConstruction :: T_Range -> T_Name -> T_RecordExpressionBindings -> T_Expression Source
sem_Expression_RecordUpdate :: T_Range -> T_Expression -> T_RecordExpressionBindings -> T_Expression Source
sem_Expression_Enum :: T_Range -> T_Expression -> T_MaybeExpression -> T_MaybeExpression -> T_Expression Source
data Inh_Expressions Source
Constructors
data Syn_Expressions Source
Constructors
newtype T_Expressions Source
Constructors
T_Expressions | |
newtype T_Expressions_s44 Source
Constructors
C_Expressions_s44 | |
Fields |
data T_Expressions_s45 Source
Constructors
C_Expressions_s45 |
data Inh_FieldDeclaration Source
Constructors
Inh_FieldDeclaration | |
newtype T_FieldDeclaration Source
Constructors
T_FieldDeclaration | |
newtype T_FieldDeclaration_s47 Source
Constructors
C_FieldDeclaration_s47 | |
data T_FieldDeclaration_s48 Source
Constructors
C_FieldDeclaration_s48 |
data T_FieldDeclaration_vIn46 Source
Constructors
T_FieldDeclaration_vIn46 Int [Error] Names [Option] |
data T_FieldDeclaration_vOut46 Source
Constructors
T_FieldDeclaration_vOut46 Int [Error] FieldDeclaration Names |
sem_FieldDeclaration_FieldDeclaration :: T_Range -> T_Names -> T_AnnotatedType -> T_FieldDeclaration Source
data Inh_FieldDeclarations Source
Constructors
Inh_FieldDeclarations | |
wrap_FieldDeclarations :: T_FieldDeclarations -> Inh_FieldDeclarations -> Syn_FieldDeclarations Source
newtype T_FieldDeclarations Source
Constructors
T_FieldDeclarations | |
newtype T_FieldDeclarations_s50 Source
Constructors
C_FieldDeclarations_s50 | |
data T_FieldDeclarations_s51 Source
Constructors
C_FieldDeclarations_s51 |
data T_FieldDeclarations_vIn49 Source
Constructors
T_FieldDeclarations_vIn49 Int [Error] Names [Option] |
data T_FieldDeclarations_vOut49 Source
Constructors
T_FieldDeclarations_vOut49 Int [Error] FieldDeclarations Names |
sem_FieldDeclarations_Cons :: T_FieldDeclaration -> T_FieldDeclarations -> T_FieldDeclarations Source
data Inh_Fixity Source
Constructors
Inh_Fixity | |
data Syn_Fixity Source
Constructors
Syn_Fixity | |
Fields |
wrap_Fixity :: T_Fixity -> Inh_Fixity -> Syn_Fixity Source
sem_Fixity :: Fixity -> T_Fixity Source
Constructors
T_Fixity | |
Fields |
newtype T_Fixity_s53 Source
Constructors
C_Fixity_s53 | |
Fields |
data T_Fixity_s54 Source
Constructors
C_Fixity_s54 |
type T_Fixity_v52 = T_Fixity_vIn52 -> T_Fixity_vOut52 Source
data T_Fixity_vIn52 Source
Constructors
T_Fixity_vIn52 |
data T_Fixity_vOut52 Source
Constructors
T_Fixity_vOut52 Fixity |
data Inh_FunctionBinding Source
Constructors
data Syn_FunctionBinding Source
Constructors
newtype T_FunctionBinding Source
Constructors
T_FunctionBinding | |
newtype T_FunctionBinding_s56 Source
Constructors
C_FunctionBinding_s56 | |
data T_FunctionBinding_s57 Source
Constructors
C_FunctionBinding_s57 |
sem_FunctionBinding_FunctionBinding :: T_Range -> T_LeftHandSide -> T_RightHandSide -> T_FunctionBinding Source
data Inh_FunctionBindings Source
Constructors
data Syn_FunctionBindings Source
Constructors
newtype T_FunctionBindings Source
Constructors
T_FunctionBindings | |
newtype T_FunctionBindings_s59 Source
Constructors
C_FunctionBindings_s59 | |
data T_FunctionBindings_s60 Source
Constructors
C_FunctionBindings_s60 |
data Inh_GuardedExpression Source
Constructors
data Syn_GuardedExpression Source
Constructors
wrap_GuardedExpression :: T_GuardedExpression -> Inh_GuardedExpression -> Syn_GuardedExpression Source
newtype T_GuardedExpression Source
Constructors
T_GuardedExpression | |
newtype T_GuardedExpression_s62 Source
Constructors
C_GuardedExpression_s62 | |
data T_GuardedExpression_s63 Source
Constructors
C_GuardedExpression_s63 |
sem_GuardedExpression_GuardedExpression :: T_Range -> T_Expression -> T_Expression -> T_GuardedExpression Source
data Inh_GuardedExpressions Source
Constructors
data Syn_GuardedExpressions Source
Constructors
wrap_GuardedExpressions :: T_GuardedExpressions -> Inh_GuardedExpressions -> Syn_GuardedExpressions Source
newtype T_GuardedExpressions Source
Constructors
T_GuardedExpressions | |
newtype T_GuardedExpressions_s65 Source
Constructors
C_GuardedExpressions_s65 | |
data T_GuardedExpressions_s66 Source
Constructors
C_GuardedExpressions_s66 |
sem_GuardedExpressions_Cons :: T_GuardedExpression -> T_GuardedExpressions -> T_GuardedExpressions Source
data Inh_Import Source
Constructors
Inh_Import | |
data Syn_Import Source
Constructors
Syn_Import | |
Fields |
wrap_Import :: T_Import -> Inh_Import -> Syn_Import Source
sem_Import :: Import -> T_Import Source
Constructors
T_Import | |
Fields |
newtype T_Import_s68 Source
Constructors
C_Import_s68 | |
Fields |
data T_Import_s69 Source
Constructors
C_Import_s69 |
type T_Import_v67 = T_Import_vIn67 -> T_Import_vOut67 Source
data T_Import_vIn67 Source
Constructors
T_Import_vIn67 |
data T_Import_vOut67 Source
Constructors
T_Import_vOut67 Import |
sem_Import_Variable :: T_Range -> T_Name -> T_Import Source
sem_Import_TypeOrClass :: T_Range -> T_Name -> T_MaybeNames -> T_Import Source
data Inh_ImportDeclaration Source
Constructors
Inh_ImportDeclaration | |
data Syn_ImportDeclaration Source
Constructors
Syn_ImportDeclaration | |
wrap_ImportDeclaration :: T_ImportDeclaration -> Inh_ImportDeclaration -> Syn_ImportDeclaration Source
newtype T_ImportDeclaration Source
Constructors
T_ImportDeclaration | |
newtype T_ImportDeclaration_s71 Source
Constructors
C_ImportDeclaration_s71 | |
data T_ImportDeclaration_s72 Source
Constructors
C_ImportDeclaration_s72 |
data T_ImportDeclaration_vIn70 Source
Constructors
T_ImportDeclaration_vIn70 Names |
data T_ImportDeclaration_vOut70 Source
Constructors
T_ImportDeclaration_vOut70 Names ImportDeclaration |
sem_ImportDeclaration_Import :: T_Range -> Bool -> T_Name -> T_MaybeName -> T_MaybeImportSpecification -> T_ImportDeclaration Source
data Inh_ImportDeclarations Source
Constructors
Inh_ImportDeclarations | |
data Syn_ImportDeclarations Source
Constructors
Syn_ImportDeclarations | |
wrap_ImportDeclarations :: T_ImportDeclarations -> Inh_ImportDeclarations -> Syn_ImportDeclarations Source
newtype T_ImportDeclarations Source
Constructors
T_ImportDeclarations | |
newtype T_ImportDeclarations_s74 Source
Constructors
C_ImportDeclarations_s74 | |
data T_ImportDeclarations_s75 Source
Constructors
C_ImportDeclarations_s75 |
data T_ImportDeclarations_vIn73 Source
Constructors
T_ImportDeclarations_vIn73 Names |
data T_ImportDeclarations_vOut73 Source
Constructors
T_ImportDeclarations_vOut73 Names ImportDeclarations |
sem_ImportDeclarations_Cons :: T_ImportDeclaration -> T_ImportDeclarations -> T_ImportDeclarations Source
data Inh_ImportSpecification Source
Constructors
Inh_ImportSpecification | |
data Syn_ImportSpecification Source
Constructors
Syn_ImportSpecification | |
wrap_ImportSpecification :: T_ImportSpecification -> Inh_ImportSpecification -> Syn_ImportSpecification Source
newtype T_ImportSpecification Source
Constructors
T_ImportSpecification | |
newtype T_ImportSpecification_s77 Source
Constructors
C_ImportSpecification_s77 | |
data T_ImportSpecification_s78 Source
Constructors
C_ImportSpecification_s78 |
data T_ImportSpecification_vIn76 Source
Constructors
T_ImportSpecification_vIn76 |
data T_ImportSpecification_vOut76 Source
Constructors
T_ImportSpecification_vOut76 ImportSpecification |
data Inh_Imports Source
Constructors
Inh_Imports | |
data Syn_Imports Source
Constructors
Syn_Imports | |
Fields |
wrap_Imports :: T_Imports -> Inh_Imports -> Syn_Imports Source
sem_Imports :: Imports -> T_Imports Source
Constructors
T_Imports | |
Fields |
newtype T_Imports_s80 Source
Constructors
C_Imports_s80 | |
Fields |
data T_Imports_s81 Source
Constructors
C_Imports_s81 |
type T_Imports_v79 = T_Imports_vIn79 -> T_Imports_vOut79 Source
data T_Imports_vIn79 Source
Constructors
T_Imports_vIn79 |
data T_Imports_vOut79 Source
Constructors
T_Imports_vOut79 Imports |
sem_Imports_Cons :: T_Import -> T_Imports -> T_Imports Source
data Inh_LeftHandSide Source
Constructors
data Syn_LeftHandSide Source
Constructors
newtype T_LeftHandSide Source
Constructors
T_LeftHandSide | |
newtype T_LeftHandSide_s83 Source
Constructors
C_LeftHandSide_s83 | |
Fields |
data T_LeftHandSide_s84 Source
Constructors
C_LeftHandSide_s84 |
sem_LeftHandSide_Function :: T_Range -> T_Name -> T_Patterns -> T_LeftHandSide Source
sem_LeftHandSide_Infix :: T_Range -> T_Pattern -> T_Name -> T_Pattern -> T_LeftHandSide Source
data Inh_Literal Source
Constructors
Inh_Literal | |
Fields |
data Syn_Literal Source
Constructors
Syn_Literal | |
Fields |
wrap_Literal :: T_Literal -> Inh_Literal -> Syn_Literal Source
sem_Literal :: Literal -> T_Literal Source
Constructors
T_Literal | |
Fields |
newtype T_Literal_s86 Source
Constructors
C_Literal_s86 | |
Fields |
data T_Literal_s87 Source
Constructors
C_Literal_s87 |
type T_Literal_v85 = T_Literal_vIn85 -> T_Literal_vOut85 Source
data T_Literal_vIn85 Source
Constructors
T_Literal_vIn85 [(ScopeInfo, Entity)] [Error] |
data T_Literal_vOut85 Source
Constructors
T_Literal_vOut85 [(ScopeInfo, Entity)] [Error] Literal |
sem_Literal_Int :: T_Range -> String -> T_Literal Source
sem_Literal_Char :: T_Range -> String -> T_Literal Source
sem_Literal_Float :: T_Range -> String -> T_Literal Source
sem_Literal_String :: T_Range -> String -> T_Literal Source
data Inh_MaybeDeclarations Source
Constructors
data Syn_MaybeDeclarations Source
Constructors
wrap_MaybeDeclarations :: T_MaybeDeclarations -> Inh_MaybeDeclarations -> Syn_MaybeDeclarations Source
newtype T_MaybeDeclarations Source
Constructors
T_MaybeDeclarations | |
newtype T_MaybeDeclarations_s89 Source
Constructors
C_MaybeDeclarations_s89 | |
data T_MaybeDeclarations_s90 Source
Constructors
C_MaybeDeclarations_s90 |
data Inh_MaybeExports Source
data Syn_MaybeExports Source
Constructors
Syn_MaybeExports | |
Fields |
newtype T_MaybeExports Source
Constructors
T_MaybeExports | |
newtype T_MaybeExports_s92 Source
Constructors
C_MaybeExports_s92 | |
Fields |
data T_MaybeExports_s93 Source
Constructors
C_MaybeExports_s93 |
data T_MaybeExports_vIn91 Source
Constructors
T_MaybeExports_vIn91 Names Names Names Names |
data T_MaybeExports_vOut91 Source
Constructors
T_MaybeExports_vOut91 [Error] MaybeExports |
data Inh_MaybeExpression Source
Constructors
data Syn_MaybeExpression Source
Constructors
newtype T_MaybeExpression Source
Constructors
T_MaybeExpression | |
newtype T_MaybeExpression_s95 Source
Constructors
C_MaybeExpression_s95 | |
data T_MaybeExpression_s96 Source
Constructors
C_MaybeExpression_s96 |
data Inh_MaybeImportSpecification Source
Constructors
Inh_MaybeImportSpecification | |
data Syn_MaybeImportSpecification Source
Constructors
Syn_MaybeImportSpecification | |
wrap_MaybeImportSpecification :: T_MaybeImportSpecification -> Inh_MaybeImportSpecification -> Syn_MaybeImportSpecification Source
newtype T_MaybeImportSpecification Source
newtype T_MaybeImportSpecification_s98 Source
Constructors
C_MaybeImportSpecification_s98 | |
data T_MaybeImportSpecification_s99 Source
Constructors
C_MaybeImportSpecification_s99 |
type T_MaybeImportSpecification_v97 = T_MaybeImportSpecification_vIn97 -> T_MaybeImportSpecification_vOut97 Source
data T_MaybeImportSpecification_vIn97 Source
Constructors
T_MaybeImportSpecification_vIn97 |
data Inh_MaybeInt Source
Constructors
Inh_MaybeInt | |
data Syn_MaybeInt Source
Constructors
Syn_MaybeInt | |
Fields |
sem_MaybeInt :: MaybeInt -> T_MaybeInt Source
newtype T_MaybeInt Source
Constructors
T_MaybeInt | |
Fields |
newtype T_MaybeInt_s101 Source
Constructors
C_MaybeInt_s101 | |
Fields |
data T_MaybeInt_s102 Source
Constructors
C_MaybeInt_s102 |
data T_MaybeInt_vIn100 Source
Constructors
T_MaybeInt_vIn100 |
data T_MaybeInt_vOut100 Source
Constructors
T_MaybeInt_vOut100 MaybeInt |
sem_MaybeInt_Just :: Int -> T_MaybeInt Source
data Inh_MaybeName Source
Constructors
Inh_MaybeName | |
data Syn_MaybeName Source
Constructors
Syn_MaybeName | |
Fields |
newtype T_MaybeName Source
Constructors
T_MaybeName | |
Fields |
newtype T_MaybeName_s104 Source
Constructors
C_MaybeName_s104 | |
Fields |
data T_MaybeName_s105 Source
Constructors
C_MaybeName_s105 |
data T_MaybeName_vIn103 Source
Constructors
T_MaybeName_vIn103 |
data T_MaybeName_vOut103 Source
Constructors
T_MaybeName_vOut103 MaybeName |
data Inh_MaybeNames Source
Constructors
Inh_MaybeNames | |
data Syn_MaybeNames Source
Constructors
Syn_MaybeNames | |
Fields |
newtype T_MaybeNames Source
Constructors
T_MaybeNames | |
Fields |
newtype T_MaybeNames_s107 Source
Constructors
C_MaybeNames_s107 | |
Fields |
data T_MaybeNames_s108 Source
Constructors
C_MaybeNames_s108 |
data T_MaybeNames_vIn106 Source
Constructors
T_MaybeNames_vIn106 |
data T_MaybeNames_vOut106 Source
Constructors
T_MaybeNames_vOut106 MaybeNames |
data Inh_Module Source
Constructors
Inh_Module | |
data Syn_Module Source
Constructors
Syn_Module | |
wrap_Module :: T_Module -> Inh_Module -> Syn_Module Source
sem_Module :: Module -> T_Module Source
Constructors
T_Module | |
Fields |
newtype T_Module_s110 Source
Constructors
C_Module_s110 | |
Fields |
data T_Module_s111 Source
Constructors
C_Module_s111 |
type T_Module_v109 = T_Module_vIn109 -> T_Module_vOut109 Source
data T_Module_vIn109 Source
Constructors
T_Module_vIn109 String ImportEnvironments [Option] |
data T_Module_vOut109 Source
Constructors
T_Module_vOut109 ImportEnvironment Errors Module [(Name, TpScheme)] Warnings |
sem_Module_Module :: T_Range -> T_MaybeName -> T_MaybeExports -> T_Body -> T_Module Source
Constructors
Syn_Name | |
Fields |
Constructors
T_Name | |
Fields |
newtype T_Name_s113 Source
Constructors
C_Name_s113 | |
Fields |
data T_Name_s114 Source
Constructors
C_Name_s114 |
type T_Name_v112 = T_Name_vIn112 -> T_Name_vOut112 Source
data T_Name_vIn112 Source
Constructors
T_Name_vIn112 |
data T_Name_vOut112 Source
Constructors
T_Name_vOut112 Name |
Constructors
Syn_Names | |
Fields |
wrap_Names :: T_Names -> Inh_Names -> Syn_Names Source
Constructors
T_Names | |
Fields |
newtype T_Names_s116 Source
Constructors
C_Names_s116 | |
Fields |
data T_Names_s117 Source
Constructors
C_Names_s117 |
type T_Names_v115 = T_Names_vIn115 -> T_Names_vOut115 Source
data T_Names_vIn115 Source
Constructors
T_Names_vIn115 |
data T_Names_vOut115 Source
Constructors
T_Names_vOut115 Names |
sem_Names_Cons :: T_Name -> T_Names -> T_Names Source
data Inh_Pattern Source
Constructors
data Syn_Pattern Source
Constructors
Syn_Pattern | |
Fields |
wrap_Pattern :: T_Pattern -> Inh_Pattern -> Syn_Pattern Source
sem_Pattern :: Pattern -> T_Pattern Source
Constructors
T_Pattern | |
Fields |
newtype T_Pattern_s119 Source
Constructors
C_Pattern_s119 | |
Fields |
data T_Pattern_s120 Source
Constructors
C_Pattern_s120 |
data T_Pattern_vIn118 Source
data T_Pattern_vOut118 Source
sem_Pattern_Hole :: T_Range -> Integer -> T_Pattern Source
sem_Pattern_Literal :: T_Range -> T_Literal -> T_Pattern Source
sem_Pattern_Variable :: T_Range -> T_Name -> T_Pattern Source
sem_Pattern_Constructor :: T_Range -> T_Name -> T_Patterns -> T_Pattern Source
sem_Pattern_List :: T_Range -> T_Patterns -> T_Pattern Source
sem_Pattern_Tuple :: T_Range -> T_Patterns -> T_Pattern Source
sem_Pattern_Negate :: T_Range -> T_Literal -> T_Pattern Source
data Inh_Patterns Source
Constructors
data Syn_Patterns Source
Constructors
Syn_Patterns | |
sem_Patterns :: Patterns -> T_Patterns Source
newtype T_Patterns Source
Constructors
T_Patterns | |
Fields |
newtype T_Patterns_s122 Source
Constructors
C_Patterns_s122 | |
Fields |
data T_Patterns_s123 Source
Constructors
C_Patterns_s123 |
data T_Patterns_vIn121 Source
data T_Patterns_vOut121 Source
sem_Patterns_Cons :: T_Pattern -> T_Patterns -> T_Patterns Source
data Inh_Position Source
Constructors
Inh_Position | |
data Syn_Position Source
Constructors
Syn_Position | |
Fields |
sem_Position :: Position -> T_Position Source
newtype T_Position Source
Constructors
T_Position | |
Fields |
newtype T_Position_s125 Source
Constructors
C_Position_s125 | |
Fields |
data T_Position_s126 Source
Constructors
C_Position_s126 |
data T_Position_vIn124 Source
Constructors
T_Position_vIn124 |
data T_Position_vOut124 Source
Constructors
T_Position_vOut124 Position |
sem_Position_Position :: String -> Int -> Int -> T_Position Source
data Inh_Qualifier Source
Constructors
data Syn_Qualifier Source
Constructors
newtype T_Qualifier Source
Constructors
T_Qualifier | |
Fields |
newtype T_Qualifier_s128 Source
Constructors
C_Qualifier_s128 | |
Fields |
data T_Qualifier_s129 Source
Constructors
C_Qualifier_s129 |
data T_Qualifier_vIn127 Source
sem_Qualifier_Generator :: T_Range -> T_Pattern -> T_Expression -> T_Qualifier Source
data Inh_Qualifiers Source
Constructors
data Syn_Qualifiers Source
Constructors
newtype T_Qualifiers Source
Constructors
T_Qualifiers | |
Fields |
newtype T_Qualifiers_s131 Source
Constructors
C_Qualifiers_s131 | |
Fields |
data T_Qualifiers_s132 Source
Constructors
C_Qualifiers_s132 |
Constructors
Syn_Range | |
Fields |
wrap_Range :: T_Range -> Inh_Range -> Syn_Range Source
Constructors
T_Range | |
Fields |
newtype T_Range_s134 Source
Constructors
C_Range_s134 | |
Fields |
data T_Range_s135 Source
Constructors
C_Range_s135 |
type T_Range_v133 = T_Range_vIn133 -> T_Range_vOut133 Source
data T_Range_vIn133 Source
Constructors
T_Range_vIn133 |
data T_Range_vOut133 Source
Constructors
T_Range_vOut133 Range |
sem_Range_Range :: T_Position -> T_Position -> T_Range Source
data Inh_RecordExpressionBinding Source
Constructors
data Syn_RecordExpressionBinding Source
Constructors
Syn_RecordExpressionBinding | |
wrap_RecordExpressionBinding :: T_RecordExpressionBinding -> Inh_RecordExpressionBinding -> Syn_RecordExpressionBinding Source
newtype T_RecordExpressionBinding Source
Constructors
T_RecordExpressionBinding | |
newtype T_RecordExpressionBinding_s137 Source
Constructors
C_RecordExpressionBinding_s137 | |
data T_RecordExpressionBinding_s138 Source
Constructors
C_RecordExpressionBinding_s138 |
type T_RecordExpressionBinding_v136 = T_RecordExpressionBinding_vIn136 -> T_RecordExpressionBinding_vOut136 Source
data T_RecordExpressionBinding_vIn136 Source
Constructors
T_RecordExpressionBinding_vIn136 ClassEnvironment [(ScopeInfo, Entity)] Int Names [Option] OrderedTypeSynonyms |
data T_RecordExpressionBinding_vOut136 Source
Constructors
T_RecordExpressionBinding_vOut136 [(Name, Instance)] [(ScopeInfo, Entity)] Int RecordExpressionBinding Names |
sem_RecordExpressionBinding_RecordExpressionBinding :: T_Range -> T_Name -> T_Expression -> T_RecordExpressionBinding Source
data Inh_RecordExpressionBindings Source
Constructors
data Syn_RecordExpressionBindings Source
Constructors
Syn_RecordExpressionBindings | |
Fields |
wrap_RecordExpressionBindings :: T_RecordExpressionBindings -> Inh_RecordExpressionBindings -> Syn_RecordExpressionBindings Source
newtype T_RecordExpressionBindings Source
data T_RecordExpressionBindings_s141 Source
Constructors
C_RecordExpressionBindings_s141 |
type T_RecordExpressionBindings_v139 = T_RecordExpressionBindings_vIn139 -> T_RecordExpressionBindings_vOut139 Source
data T_RecordExpressionBindings_vIn139 Source
Constructors
T_RecordExpressionBindings_vIn139 ClassEnvironment [(ScopeInfo, Entity)] Int Names [Option] OrderedTypeSynonyms |
data T_RecordExpressionBindings_vOut139 Source
Constructors
T_RecordExpressionBindings_vOut139 [(Name, Instance)] [(ScopeInfo, Entity)] Int RecordExpressionBindings Names |
sem_RecordExpressionBindings_Cons :: T_RecordExpressionBinding -> T_RecordExpressionBindings -> T_RecordExpressionBindings Source
wrap_RecordPatternBinding :: T_RecordPatternBinding -> Inh_RecordPatternBinding -> Syn_RecordPatternBinding Source
newtype T_RecordPatternBinding Source
Constructors
T_RecordPatternBinding | |
newtype T_RecordPatternBinding_s143 Source
Constructors
C_RecordPatternBinding_s143 | |
data T_RecordPatternBinding_s144 Source
Constructors
C_RecordPatternBinding_s144 |
type T_RecordPatternBinding_v142 = T_RecordPatternBinding_vIn142 -> T_RecordPatternBinding_vOut142 Source
data T_RecordPatternBinding_vIn142 Source
Constructors
T_RecordPatternBinding_vIn142 [(ScopeInfo, Entity)] Int Names |
data T_RecordPatternBinding_vOut142 Source
Constructors
T_RecordPatternBinding_vOut142 [(ScopeInfo, Entity)] Int RecordPatternBinding Names |
sem_RecordPatternBinding_RecordPatternBinding :: T_Range -> T_Name -> T_Pattern -> T_RecordPatternBinding Source
wrap_RecordPatternBindings :: T_RecordPatternBindings -> Inh_RecordPatternBindings -> Syn_RecordPatternBindings Source
newtype T_RecordPatternBindings Source
Constructors
T_RecordPatternBindings | |
newtype T_RecordPatternBindings_s146 Source
Constructors
C_RecordPatternBindings_s146 | |
data T_RecordPatternBindings_s147 Source
Constructors
C_RecordPatternBindings_s147 |
type T_RecordPatternBindings_v145 = T_RecordPatternBindings_vIn145 -> T_RecordPatternBindings_vOut145 Source
data T_RecordPatternBindings_vIn145 Source
Constructors
T_RecordPatternBindings_vIn145 [(ScopeInfo, Entity)] Int Names |
data T_RecordPatternBindings_vOut145 Source
Constructors
T_RecordPatternBindings_vOut145 [(ScopeInfo, Entity)] Int RecordPatternBindings Names |
sem_RecordPatternBindings_Cons :: T_RecordPatternBinding -> T_RecordPatternBindings -> T_RecordPatternBindings Source
data Inh_RightHandSide Source
Constructors
data Syn_RightHandSide Source
Constructors
newtype T_RightHandSide Source
Constructors
T_RightHandSide | |
newtype T_RightHandSide_s149 Source
Constructors
C_RightHandSide_s149 | |
data T_RightHandSide_s150 Source
Constructors
C_RightHandSide_s150 |
sem_RightHandSide_Expression :: T_Range -> T_Expression -> T_MaybeDeclarations -> T_RightHandSide Source
sem_RightHandSide_Guarded :: T_Range -> T_GuardedExpressions -> T_MaybeDeclarations -> T_RightHandSide Source
data Inh_SimpleType Source
Constructors
Inh_SimpleType | |
data Syn_SimpleType Source
Constructors
Syn_SimpleType | |
newtype T_SimpleType Source
Constructors
T_SimpleType | |
Fields |
newtype T_SimpleType_s152 Source
Constructors
C_SimpleType_s152 | |
Fields |
data T_SimpleType_s153 Source
Constructors
C_SimpleType_s153 |
data T_SimpleType_vIn151 Source
Constructors
T_SimpleType_vIn151 |
data T_SimpleType_vOut151 Source
Constructors
T_SimpleType_vOut151 Name SimpleType Names |
sem_SimpleType_SimpleType :: T_Range -> T_Name -> T_Names -> T_SimpleType Source
data Inh_Statement Source
Constructors
data Syn_Statement Source
Constructors
newtype T_Statement Source
Constructors
T_Statement | |
Fields |
newtype T_Statement_s155 Source
Constructors
C_Statement_s155 | |
Fields |
data T_Statement_s156 Source
Constructors
C_Statement_s156 |
data T_Statement_vIn154 Source
sem_Statement_Generator :: T_Range -> T_Pattern -> T_Expression -> T_Statement Source
data Inh_Statements Source
Constructors
data Syn_Statements Source
Constructors
newtype T_Statements Source
Constructors
T_Statements | |
Fields |
newtype T_Statements_s158 Source
Constructors
C_Statements_s158 | |
Fields |
data T_Statements_s159 Source
Constructors
C_Statements_s159 |
data Inh_Strings Source
Constructors
Inh_Strings | |
data Syn_Strings Source
Constructors
Syn_Strings | |
Fields |
wrap_Strings :: T_Strings -> Inh_Strings -> Syn_Strings Source
sem_Strings :: Strings -> T_Strings Source
Constructors
T_Strings | |
Fields |
newtype T_Strings_s161 Source
Constructors
C_Strings_s161 | |
Fields |
data T_Strings_s162 Source
Constructors
C_Strings_s162 |
data T_Strings_vIn160 Source
Constructors
T_Strings_vIn160 |
data T_Strings_vOut160 Source
Constructors
T_Strings_vOut160 Strings |
sem_Strings_Cons :: String -> T_Strings -> T_Strings Source
Constructors
Inh_Type | |
Fields |
Constructors
Syn_Type | |
Fields |
Constructors
T_Type | |
Fields |
newtype T_Type_s164 Source
Constructors
C_Type_s164 | |
Fields |
data T_Type_s165 Source
Constructors
C_Type_s165 |
type T_Type_v163 = T_Type_vIn163 -> T_Type_vOut163 Source
data T_Type_vIn163 Source
data T_Type_vOut163 Source
sem_Type_Variable :: T_Range -> T_Name -> T_Type Source
sem_Type_Constructor :: T_Range -> T_Name -> T_Type Source
sem_Type_Qualified :: T_Range -> T_ContextItems -> T_Type -> T_Type Source
sem_Type_Parenthesized :: T_Range -> T_Type -> T_Type Source
Constructors
Inh_Types | |
Fields |
Constructors
Syn_Types | |
Fields |
wrap_Types :: T_Types -> Inh_Types -> Syn_Types Source
Constructors
T_Types | |
Fields |
newtype T_Types_s167 Source
Constructors
C_Types_s167 | |
Fields |
data T_Types_s168 Source
Constructors
C_Types_s168 |
type T_Types_v166 = T_Types_vIn166 -> T_Types_vOut166 Source
data T_Types_vIn166 Source
data T_Types_vOut166 Source
Constructors
T_Types_vOut166 [Error] Types Names [Warning] |
sem_Types_Cons :: T_Type -> T_Types -> T_Types Source