Safe Haskell	None
Language	Haskell98

Helium.Parser.ResolveOperators

Documentation

data ResolveError Source

Constructors

Ambiguous Assoc Name Assoc Name

Instances

HasMessage ResolveError

resolveOperators :: OperatorTable -> Module -> (Module, [ResolveError]) Source

expression :: OperatorTable -> Expression -> Expression Source

operatorsFromModule :: Module -> OperatorTable Source

collectInfixdecls :: Module -> [Declaration] Source

type State expr = ([Name], [expr], [ResolveError]) Source

resolveExpression :: OperatorTable -> [Expression] -> (Expression, [ResolveError]) Source

resolvePattern :: OperatorTable -> [Pattern] -> (Pattern, [ResolveError]) Source

resolve :: OperatorTable -> [expr] -> (expr -> Maybe Name, Name -> expr -> expr, Name -> expr -> expr -> expr) -> State expr -> (expr, [ResolveError]) Source

pushExpr :: expr -> State expr -> State expr Source

strongerOp :: OperatorTable -> Name -> Name -> Either Bool ResolveError Source

isUnary :: Name -> Bool Source

isBinary :: Name -> Bool Source

data Inh_Alternative Source

Constructors

Inh_Alternative
Fields opTable_Inh_Alternative :: OperatorTable resolveErrors_Inh_Alternative :: [ResolveError]

data Syn_Alternative Source

Constructors

Syn_Alternative
Fields resolveErrors_Syn_Alternative :: [ResolveError] self_Syn_Alternative :: Alternative

wrap_Alternative :: T_Alternative -> Inh_Alternative -> Syn_Alternative Source

sem_Alternative :: Alternative -> T_Alternative Source

newtype T_Alternative Source

Constructors

T_Alternative
Fields attach_T_Alternative :: Identity T_Alternative_s2

newtype T_Alternative_s2 Source

Constructors

C_Alternative_s2
Fields inv_Alternative_s2 :: T_Alternative_v1

data T_Alternative_s3 Source

Constructors

C_Alternative_s3

type T_Alternative_v1 = T_Alternative_vIn1 -> T_Alternative_vOut1 Source

data T_Alternative_vIn1 Source

Constructors

T_Alternative_vIn1 OperatorTable [ResolveError]

data T_Alternative_vOut1 Source

Constructors

T_Alternative_vOut1 [ResolveError] Alternative

sem_Alternative_Hole :: T_Range -> Integer -> T_Alternative Source

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

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

sem_Alternative_Empty :: T_Range -> T_Alternative Source

data Inh_Alternatives Source

Constructors

Inh_Alternatives
Fields opTable_Inh_Alternatives :: OperatorTable resolveErrors_Inh_Alternatives :: [ResolveError]

data Syn_Alternatives Source

Constructors

Syn_Alternatives
Fields resolveErrors_Syn_Alternatives :: [ResolveError] self_Syn_Alternatives :: Alternatives

wrap_Alternatives :: T_Alternatives -> Inh_Alternatives -> Syn_Alternatives Source

sem_Alternatives :: Alternatives -> T_Alternatives Source

newtype T_Alternatives Source

Constructors

T_Alternatives
Fields attach_T_Alternatives :: Identity T_Alternatives_s5

newtype T_Alternatives_s5 Source

Constructors

C_Alternatives_s5
Fields inv_Alternatives_s5 :: T_Alternatives_v4

data T_Alternatives_s6 Source

Constructors

C_Alternatives_s6

type T_Alternatives_v4 = T_Alternatives_vIn4 -> T_Alternatives_vOut4 Source

data T_Alternatives_vIn4 Source

Constructors

T_Alternatives_vIn4 OperatorTable [ResolveError]

data T_Alternatives_vOut4 Source

Constructors

T_Alternatives_vOut4 [ResolveError] Alternatives

sem_Alternatives_Cons :: T_Alternative -> T_Alternatives -> T_Alternatives Source

sem_Alternatives_Nil :: T_Alternatives Source

data Inh_AnnotatedType Source

Constructors

Inh_AnnotatedType

data Syn_AnnotatedType Source

Constructors

Syn_AnnotatedType
Fields self_Syn_AnnotatedType :: AnnotatedType

wrap_AnnotatedType :: T_AnnotatedType -> Inh_AnnotatedType -> Syn_AnnotatedType Source

sem_AnnotatedType :: AnnotatedType -> T_AnnotatedType Source

newtype T_AnnotatedType Source

Constructors

T_AnnotatedType
Fields attach_T_AnnotatedType :: Identity T_AnnotatedType_s8

newtype T_AnnotatedType_s8 Source

Constructors

C_AnnotatedType_s8
Fields inv_AnnotatedType_s8 :: T_AnnotatedType_v7

data T_AnnotatedType_s9 Source

Constructors

C_AnnotatedType_s9

type T_AnnotatedType_v7 = T_AnnotatedType_vIn7 -> T_AnnotatedType_vOut7 Source

data T_AnnotatedType_vIn7 Source

Constructors

T_AnnotatedType_vIn7

data T_AnnotatedType_vOut7 Source

Constructors

T_AnnotatedType_vOut7 AnnotatedType

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

data Inh_AnnotatedTypes Source

Constructors

Inh_AnnotatedTypes

data Syn_AnnotatedTypes Source

Constructors

Syn_AnnotatedTypes
Fields self_Syn_AnnotatedTypes :: AnnotatedTypes

wrap_AnnotatedTypes :: T_AnnotatedTypes -> Inh_AnnotatedTypes -> Syn_AnnotatedTypes Source

sem_AnnotatedTypes :: AnnotatedTypes -> T_AnnotatedTypes Source

newtype T_AnnotatedTypes Source

Constructors

T_AnnotatedTypes
Fields attach_T_AnnotatedTypes :: Identity T_AnnotatedTypes_s11

newtype T_AnnotatedTypes_s11 Source

Constructors

C_AnnotatedTypes_s11
Fields inv_AnnotatedTypes_s11 :: T_AnnotatedTypes_v10

data T_AnnotatedTypes_s12 Source

Constructors

C_AnnotatedTypes_s12

type T_AnnotatedTypes_v10 = T_AnnotatedTypes_vIn10 -> T_AnnotatedTypes_vOut10 Source

data T_AnnotatedTypes_vIn10 Source

Constructors

T_AnnotatedTypes_vIn10

data T_AnnotatedTypes_vOut10 Source

Constructors

T_AnnotatedTypes_vOut10 AnnotatedTypes

sem_AnnotatedTypes_Cons :: T_AnnotatedType -> T_AnnotatedTypes -> T_AnnotatedTypes Source

sem_AnnotatedTypes_Nil :: T_AnnotatedTypes Source

data Inh_Body Source

Constructors

Inh_Body
Fields opTable_Inh_Body :: OperatorTable resolveErrors_Inh_Body :: [ResolveError]

data Syn_Body Source

Constructors

Syn_Body
Fields resolveErrors_Syn_Body :: [ResolveError] self_Syn_Body :: Body

wrap_Body :: T_Body -> Inh_Body -> Syn_Body Source

sem_Body :: Body -> T_Body Source

newtype T_Body Source

Constructors

T_Body
Fields attach_T_Body :: Identity T_Body_s14

newtype T_Body_s14 Source

Constructors

C_Body_s14
Fields inv_Body_s14 :: T_Body_v13

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

Constructors

T_Body_vIn13 OperatorTable [ResolveError]

data T_Body_vOut13 Source

Constructors

T_Body_vOut13 [ResolveError] Body

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

Inh_Constructor

data Syn_Constructor Source

Constructors

Syn_Constructor
Fields self_Syn_Constructor :: Constructor

wrap_Constructor :: T_Constructor -> Inh_Constructor -> Syn_Constructor Source

sem_Constructor :: Constructor -> T_Constructor Source

newtype T_Constructor Source

Constructors

T_Constructor
Fields attach_T_Constructor :: Identity T_Constructor_s17

newtype T_Constructor_s17 Source

Constructors

C_Constructor_s17
Fields inv_Constructor_s17 :: T_Constructor_v16

data T_Constructor_s18 Source

Constructors

C_Constructor_s18

type T_Constructor_v16 = T_Constructor_vIn16 -> T_Constructor_vOut16 Source

data T_Constructor_vIn16 Source

Constructors

T_Constructor_vIn16

data T_Constructor_vOut16 Source

Constructors

T_Constructor_vOut16 Constructor

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

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

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

data Inh_Constructors Source

Constructors

Inh_Constructors

data Syn_Constructors Source

Constructors

Syn_Constructors
Fields self_Syn_Constructors :: Constructors

wrap_Constructors :: T_Constructors -> Inh_Constructors -> Syn_Constructors Source

sem_Constructors :: Constructors -> T_Constructors Source

newtype T_Constructors Source

Constructors

T_Constructors
Fields attach_T_Constructors :: Identity T_Constructors_s20

newtype T_Constructors_s20 Source

Constructors

C_Constructors_s20
Fields inv_Constructors_s20 :: T_Constructors_v19

data T_Constructors_s21 Source

Constructors

C_Constructors_s21

type T_Constructors_v19 = T_Constructors_vIn19 -> T_Constructors_vOut19 Source

data T_Constructors_vIn19 Source

Constructors

T_Constructors_vIn19

data T_Constructors_vOut19 Source

Constructors

T_Constructors_vOut19 Constructors

sem_Constructors_Cons :: T_Constructor -> T_Constructors -> T_Constructors Source

sem_Constructors_Nil :: T_Constructors Source

data Inh_ContextItem Source

Constructors

Inh_ContextItem

data Syn_ContextItem Source

Constructors

Syn_ContextItem
Fields self_Syn_ContextItem :: ContextItem

wrap_ContextItem :: T_ContextItem -> Inh_ContextItem -> Syn_ContextItem Source

sem_ContextItem :: ContextItem -> T_ContextItem Source

newtype T_ContextItem Source

Constructors

T_ContextItem
Fields attach_T_ContextItem :: Identity T_ContextItem_s23

newtype T_ContextItem_s23 Source

Constructors

C_ContextItem_s23
Fields inv_ContextItem_s23 :: T_ContextItem_v22

data T_ContextItem_s24 Source

Constructors

C_ContextItem_s24

type T_ContextItem_v22 = T_ContextItem_vIn22 -> T_ContextItem_vOut22 Source

data T_ContextItem_vIn22 Source

Constructors

T_ContextItem_vIn22

data T_ContextItem_vOut22 Source

Constructors

T_ContextItem_vOut22 ContextItem

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
Fields self_Syn_ContextItems :: ContextItems

wrap_ContextItems :: T_ContextItems -> Inh_ContextItems -> Syn_ContextItems Source

sem_ContextItems :: ContextItems -> T_ContextItems Source

newtype T_ContextItems Source

Constructors

T_ContextItems
Fields attach_T_ContextItems :: Identity T_ContextItems_s26

newtype T_ContextItems_s26 Source

Constructors

C_ContextItems_s26
Fields inv_ContextItems_s26 :: T_ContextItems_v25

data T_ContextItems_s27 Source

Constructors

C_ContextItems_s27

type T_ContextItems_v25 = T_ContextItems_vIn25 -> T_ContextItems_vOut25 Source

data T_ContextItems_vIn25 Source

Constructors

T_ContextItems_vIn25

data T_ContextItems_vOut25 Source

Constructors

T_ContextItems_vOut25 ContextItems

sem_ContextItems_Cons :: T_ContextItem -> T_ContextItems -> T_ContextItems Source

sem_ContextItems_Nil :: T_ContextItems Source

data Inh_Declaration Source

Constructors

Inh_Declaration
Fields opTable_Inh_Declaration :: OperatorTable resolveErrors_Inh_Declaration :: [ResolveError]

data Syn_Declaration Source

Constructors

Syn_Declaration
Fields resolveErrors_Syn_Declaration :: [ResolveError] self_Syn_Declaration :: Declaration

wrap_Declaration :: T_Declaration -> Inh_Declaration -> Syn_Declaration Source

sem_Declaration :: Declaration -> T_Declaration Source

newtype T_Declaration Source

Constructors

T_Declaration
Fields attach_T_Declaration :: Identity T_Declaration_s29

newtype T_Declaration_s29 Source

Constructors

C_Declaration_s29
Fields inv_Declaration_s29 :: T_Declaration_v28

data T_Declaration_s30 Source

Constructors

C_Declaration_s30

type T_Declaration_v28 = T_Declaration_vIn28 -> T_Declaration_vOut28 Source

data T_Declaration_vIn28 Source

Constructors

T_Declaration_vIn28 OperatorTable [ResolveError]

data T_Declaration_vOut28 Source

Constructors

T_Declaration_vOut28 [ResolveError] Declaration

sem_Declaration_Hole :: T_Range -> Integer -> T_Declaration Source

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_Default :: T_Range -> T_Types -> T_Declaration Source

sem_Declaration_FunctionBindings :: T_Range -> T_FunctionBindings -> T_Declaration Source

sem_Declaration_PatternBinding :: T_Range -> T_Pattern -> T_RightHandSide -> 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

sem_Declaration_Empty :: T_Range -> T_Declaration Source

data Inh_Declarations Source

Constructors

Inh_Declarations
Fields opTable_Inh_Declarations :: OperatorTable resolveErrors_Inh_Declarations :: [ResolveError]

data Syn_Declarations Source

Constructors

Syn_Declarations
Fields resolveErrors_Syn_Declarations :: [ResolveError] self_Syn_Declarations :: Declarations

wrap_Declarations :: T_Declarations -> Inh_Declarations -> Syn_Declarations Source

sem_Declarations :: Declarations -> T_Declarations Source

newtype T_Declarations Source

Constructors

T_Declarations
Fields attach_T_Declarations :: Identity T_Declarations_s32

newtype T_Declarations_s32 Source

Constructors

C_Declarations_s32
Fields inv_Declarations_s32 :: T_Declarations_v31

data T_Declarations_s33 Source

Constructors

C_Declarations_s33

type T_Declarations_v31 = T_Declarations_vIn31 -> T_Declarations_vOut31 Source

data T_Declarations_vIn31 Source

Constructors

T_Declarations_vIn31 OperatorTable [ResolveError]

data T_Declarations_vOut31 Source

Constructors

T_Declarations_vOut31 [ResolveError] Declarations

sem_Declarations_Cons :: T_Declaration -> T_Declarations -> T_Declarations Source

sem_Declarations_Nil :: T_Declarations Source

data Inh_Export Source

Constructors

Inh_Export

data Syn_Export Source

Constructors

Syn_Export
Fields self_Syn_Export :: Export

wrap_Export :: T_Export -> Inh_Export -> Syn_Export Source

sem_Export :: Export -> T_Export Source

newtype T_Export Source

Constructors

T_Export
Fields attach_T_Export :: Identity T_Export_s35

newtype T_Export_s35 Source

Constructors

C_Export_s35
Fields inv_Export_s35 :: T_Export_v34

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

data T_Export_vOut34 Source

Constructors

T_Export_vOut34 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_TypeOrClassComplete :: T_Range -> T_Name -> 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 self_Syn_Exports :: Exports

wrap_Exports :: T_Exports -> Inh_Exports -> Syn_Exports Source

sem_Exports :: Exports -> T_Exports Source

newtype T_Exports Source

Constructors

T_Exports
Fields attach_T_Exports :: Identity T_Exports_s38

newtype T_Exports_s38 Source

Constructors

C_Exports_s38
Fields inv_Exports_s38 :: T_Exports_v37

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

data T_Exports_vOut37 Source

Constructors

T_Exports_vOut37 Exports

sem_Exports_Cons :: T_Export -> T_Exports -> T_Exports Source

sem_Exports_Nil :: T_Exports Source

data Inh_Expression Source

Constructors

Inh_Expression
Fields opTable_Inh_Expression :: OperatorTable resolveErrors_Inh_Expression :: [ResolveError]

data Syn_Expression Source

Constructors

Syn_Expression
Fields resolveErrors_Syn_Expression :: [ResolveError] self_Syn_Expression :: Expression

wrap_Expression :: T_Expression -> Inh_Expression -> Syn_Expression Source

sem_Expression :: Expression -> T_Expression Source

newtype T_Expression Source

Constructors

T_Expression
Fields attach_T_Expression :: Identity T_Expression_s41

newtype T_Expression_s41 Source

Constructors

C_Expression_s41
Fields inv_Expression_s41 :: T_Expression_v40

data T_Expression_s42 Source

Constructors

C_Expression_s42

type T_Expression_v40 = T_Expression_vIn40 -> T_Expression_vOut40 Source

data T_Expression_vIn40 Source

Constructors

T_Expression_vIn40 OperatorTable [ResolveError]

data T_Expression_vOut40 Source

Constructors

T_Expression_vOut40 [ResolveError] Expression

sem_Expression_Hole :: T_Range -> Integer -> T_Expression Source

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

sem_Expression_MustUse :: T_Range -> T_Expression -> T_Expression Source

sem_Expression_Literal :: T_Range -> T_Literal -> T_Expression Source

sem_Expression_Variable :: T_Range -> T_Name -> T_Expression Source

sem_Expression_Constructor :: T_Range -> T_Name -> T_Expression Source

sem_Expression_Parenthesized :: T_Range -> T_Expression -> T_Expression Source

sem_Expression_NormalApplication :: T_Range -> T_Expression -> T_Expressions -> 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_Case :: T_Range -> T_Expression -> T_Alternatives -> T_Expression Source

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

sem_Expression_Do :: T_Range -> T_Statements -> T_Expression Source

sem_Expression_List :: T_Range -> T_Expressions -> T_Expression Source

sem_Expression_Tuple :: T_Range -> T_Expressions -> T_Expression Source

sem_Expression_Comprehension :: T_Range -> T_Expression -> T_Qualifiers -> 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

sem_Expression_Negate :: T_Range -> T_Expression -> T_Expression Source

sem_Expression_NegateFloat :: T_Range -> T_Expression -> T_Expression Source

data Inh_Expressions Source

Constructors

Inh_Expressions
Fields opTable_Inh_Expressions :: OperatorTable resolveErrors_Inh_Expressions :: [ResolveError]

data Syn_Expressions Source

Constructors

Syn_Expressions
Fields resolveErrors_Syn_Expressions :: [ResolveError] self_Syn_Expressions :: Expressions

wrap_Expressions :: T_Expressions -> Inh_Expressions -> Syn_Expressions Source

sem_Expressions :: Expressions -> T_Expressions Source

newtype T_Expressions Source

Constructors

T_Expressions
Fields attach_T_Expressions :: Identity T_Expressions_s44

newtype T_Expressions_s44 Source

Constructors

C_Expressions_s44
Fields inv_Expressions_s44 :: T_Expressions_v43

data T_Expressions_s45 Source

Constructors

C_Expressions_s45

type T_Expressions_v43 = T_Expressions_vIn43 -> T_Expressions_vOut43 Source

data T_Expressions_vIn43 Source

Constructors

T_Expressions_vIn43 OperatorTable [ResolveError]

data T_Expressions_vOut43 Source

Constructors

T_Expressions_vOut43 [ResolveError] Expressions

sem_Expressions_Cons :: T_Expression -> T_Expressions -> T_Expressions Source

sem_Expressions_Nil :: T_Expressions Source

data Inh_FieldDeclaration Source

Constructors

Inh_FieldDeclaration

data Syn_FieldDeclaration Source

Constructors

Syn_FieldDeclaration
Fields self_Syn_FieldDeclaration :: FieldDeclaration

wrap_FieldDeclaration :: T_FieldDeclaration -> Inh_FieldDeclaration -> Syn_FieldDeclaration Source

sem_FieldDeclaration :: FieldDeclaration -> T_FieldDeclaration Source

newtype T_FieldDeclaration Source

Constructors

T_FieldDeclaration
Fields attach_T_FieldDeclaration :: Identity T_FieldDeclaration_s47

newtype T_FieldDeclaration_s47 Source

Constructors

C_FieldDeclaration_s47
Fields inv_FieldDeclaration_s47 :: T_FieldDeclaration_v46

data T_FieldDeclaration_s48 Source

Constructors

C_FieldDeclaration_s48

type T_FieldDeclaration_v46 = T_FieldDeclaration_vIn46 -> T_FieldDeclaration_vOut46 Source

data T_FieldDeclaration_vIn46 Source

Constructors

T_FieldDeclaration_vIn46

data T_FieldDeclaration_vOut46 Source

Constructors

T_FieldDeclaration_vOut46 FieldDeclaration

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

data Inh_FieldDeclarations Source

Constructors

Inh_FieldDeclarations

data Syn_FieldDeclarations Source

Constructors

Syn_FieldDeclarations
Fields self_Syn_FieldDeclarations :: FieldDeclarations

wrap_FieldDeclarations :: T_FieldDeclarations -> Inh_FieldDeclarations -> Syn_FieldDeclarations Source

sem_FieldDeclarations :: FieldDeclarations -> T_FieldDeclarations Source

newtype T_FieldDeclarations Source

Constructors

T_FieldDeclarations
Fields attach_T_FieldDeclarations :: Identity T_FieldDeclarations_s50

newtype T_FieldDeclarations_s50 Source

Constructors

C_FieldDeclarations_s50
Fields inv_FieldDeclarations_s50 :: T_FieldDeclarations_v49

data T_FieldDeclarations_s51 Source

Constructors

C_FieldDeclarations_s51

type T_FieldDeclarations_v49 = T_FieldDeclarations_vIn49 -> T_FieldDeclarations_vOut49 Source

data T_FieldDeclarations_vIn49 Source

Constructors

T_FieldDeclarations_vIn49

data T_FieldDeclarations_vOut49 Source

Constructors

T_FieldDeclarations_vOut49 FieldDeclarations

sem_FieldDeclarations_Cons :: T_FieldDeclaration -> T_FieldDeclarations -> T_FieldDeclarations Source

sem_FieldDeclarations_Nil :: T_FieldDeclarations Source

data Inh_Fixity Source

Constructors

Inh_Fixity

data Syn_Fixity Source

Constructors

Syn_Fixity
Fields self_Syn_Fixity :: Fixity

wrap_Fixity :: T_Fixity -> Inh_Fixity -> Syn_Fixity Source

sem_Fixity :: Fixity -> T_Fixity Source

newtype T_Fixity Source

Constructors

T_Fixity
Fields attach_T_Fixity :: Identity T_Fixity_s53

newtype T_Fixity_s53 Source

Constructors

C_Fixity_s53
Fields inv_Fixity_s53 :: T_Fixity_v52

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

sem_Fixity_Infixl :: T_Range -> T_Fixity Source

sem_Fixity_Infixr :: T_Range -> T_Fixity Source

sem_Fixity_Infix :: T_Range -> T_Fixity Source

data Inh_FunctionBinding Source

Constructors

Inh_FunctionBinding
Fields opTable_Inh_FunctionBinding :: OperatorTable resolveErrors_Inh_FunctionBinding :: [ResolveError]

data Syn_FunctionBinding Source

Constructors

Syn_FunctionBinding
Fields resolveErrors_Syn_FunctionBinding :: [ResolveError] self_Syn_FunctionBinding :: FunctionBinding

wrap_FunctionBinding :: T_FunctionBinding -> Inh_FunctionBinding -> Syn_FunctionBinding Source

sem_FunctionBinding :: FunctionBinding -> T_FunctionBinding Source

newtype T_FunctionBinding Source

Constructors

T_FunctionBinding
Fields attach_T_FunctionBinding :: Identity T_FunctionBinding_s56

newtype T_FunctionBinding_s56 Source

Constructors

C_FunctionBinding_s56
Fields inv_FunctionBinding_s56 :: T_FunctionBinding_v55

data T_FunctionBinding_s57 Source

Constructors

C_FunctionBinding_s57

type T_FunctionBinding_v55 = T_FunctionBinding_vIn55 -> T_FunctionBinding_vOut55 Source

data T_FunctionBinding_vIn55 Source

Constructors

T_FunctionBinding_vIn55 OperatorTable [ResolveError]

data T_FunctionBinding_vOut55 Source

Constructors

T_FunctionBinding_vOut55 [ResolveError] FunctionBinding

sem_FunctionBinding_Hole :: T_Range -> Integer -> T_FunctionBinding Source

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

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

data Inh_FunctionBindings Source

Constructors

Inh_FunctionBindings
Fields opTable_Inh_FunctionBindings :: OperatorTable resolveErrors_Inh_FunctionBindings :: [ResolveError]

data Syn_FunctionBindings Source

Constructors

Syn_FunctionBindings
Fields resolveErrors_Syn_FunctionBindings :: [ResolveError] self_Syn_FunctionBindings :: FunctionBindings

wrap_FunctionBindings :: T_FunctionBindings -> Inh_FunctionBindings -> Syn_FunctionBindings Source

sem_FunctionBindings :: FunctionBindings -> T_FunctionBindings Source

newtype T_FunctionBindings Source

Constructors

T_FunctionBindings
Fields attach_T_FunctionBindings :: Identity T_FunctionBindings_s59

newtype T_FunctionBindings_s59 Source

Constructors

C_FunctionBindings_s59
Fields inv_FunctionBindings_s59 :: T_FunctionBindings_v58

data T_FunctionBindings_s60 Source

Constructors

C_FunctionBindings_s60

type T_FunctionBindings_v58 = T_FunctionBindings_vIn58 -> T_FunctionBindings_vOut58 Source

data T_FunctionBindings_vIn58 Source

Constructors

T_FunctionBindings_vIn58 OperatorTable [ResolveError]

data T_FunctionBindings_vOut58 Source

Constructors

T_FunctionBindings_vOut58 [ResolveError] FunctionBindings

sem_FunctionBindings_Cons :: T_FunctionBinding -> T_FunctionBindings -> T_FunctionBindings Source

sem_FunctionBindings_Nil :: T_FunctionBindings Source

data Inh_GuardedExpression Source

Constructors

Inh_GuardedExpression
Fields opTable_Inh_GuardedExpression :: OperatorTable resolveErrors_Inh_GuardedExpression :: [ResolveError]

data Syn_GuardedExpression Source

Constructors

Syn_GuardedExpression
Fields resolveErrors_Syn_GuardedExpression :: [ResolveError] self_Syn_GuardedExpression :: GuardedExpression

wrap_GuardedExpression :: T_GuardedExpression -> Inh_GuardedExpression -> Syn_GuardedExpression Source

sem_GuardedExpression :: GuardedExpression -> T_GuardedExpression Source

newtype T_GuardedExpression Source

Constructors

T_GuardedExpression
Fields attach_T_GuardedExpression :: Identity T_GuardedExpression_s62

newtype T_GuardedExpression_s62 Source

Constructors

C_GuardedExpression_s62
Fields inv_GuardedExpression_s62 :: T_GuardedExpression_v61

data T_GuardedExpression_s63 Source

Constructors

C_GuardedExpression_s63

type T_GuardedExpression_v61 = T_GuardedExpression_vIn61 -> T_GuardedExpression_vOut61 Source

data T_GuardedExpression_vIn61 Source

Constructors

T_GuardedExpression_vIn61 OperatorTable [ResolveError]

data T_GuardedExpression_vOut61 Source

Constructors

T_GuardedExpression_vOut61 [ResolveError] GuardedExpression

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

data Inh_GuardedExpressions Source

Constructors

Inh_GuardedExpressions
Fields opTable_Inh_GuardedExpressions :: OperatorTable resolveErrors_Inh_GuardedExpressions :: [ResolveError]

data Syn_GuardedExpressions Source

Constructors

Syn_GuardedExpressions
Fields resolveErrors_Syn_GuardedExpressions :: [ResolveError] self_Syn_GuardedExpressions :: GuardedExpressions

wrap_GuardedExpressions :: T_GuardedExpressions -> Inh_GuardedExpressions -> Syn_GuardedExpressions Source

sem_GuardedExpressions :: GuardedExpressions -> T_GuardedExpressions Source

newtype T_GuardedExpressions Source

Constructors

T_GuardedExpressions
Fields attach_T_GuardedExpressions :: Identity T_GuardedExpressions_s65

newtype T_GuardedExpressions_s65 Source

Constructors

C_GuardedExpressions_s65
Fields inv_GuardedExpressions_s65 :: T_GuardedExpressions_v64

data T_GuardedExpressions_s66 Source

Constructors

C_GuardedExpressions_s66

type T_GuardedExpressions_v64 = T_GuardedExpressions_vIn64 -> T_GuardedExpressions_vOut64 Source

data T_GuardedExpressions_vIn64 Source

Constructors

T_GuardedExpressions_vIn64 OperatorTable [ResolveError]

data T_GuardedExpressions_vOut64 Source

Constructors

T_GuardedExpressions_vOut64 [ResolveError] GuardedExpressions

sem_GuardedExpressions_Cons :: T_GuardedExpression -> T_GuardedExpressions -> T_GuardedExpressions Source

sem_GuardedExpressions_Nil :: T_GuardedExpressions Source

data Inh_Import Source

Constructors

Inh_Import

data Syn_Import Source

Constructors

Syn_Import
Fields self_Syn_Import :: Import

wrap_Import :: T_Import -> Inh_Import -> Syn_Import Source

sem_Import :: Import -> T_Import Source

newtype T_Import Source

Constructors

T_Import
Fields attach_T_Import :: Identity T_Import_s68

newtype T_Import_s68 Source

Constructors

C_Import_s68
Fields inv_Import_s68 :: T_Import_v67

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

sem_Import_TypeOrClassComplete :: T_Range -> T_Name -> T_Import Source

data Inh_ImportDeclaration Source

Constructors

Inh_ImportDeclaration

data Syn_ImportDeclaration Source

Constructors

Syn_ImportDeclaration
Fields self_Syn_ImportDeclaration :: ImportDeclaration

wrap_ImportDeclaration :: T_ImportDeclaration -> Inh_ImportDeclaration -> Syn_ImportDeclaration Source

sem_ImportDeclaration :: ImportDeclaration -> T_ImportDeclaration Source

newtype T_ImportDeclaration Source

Constructors

T_ImportDeclaration
Fields attach_T_ImportDeclaration :: Identity T_ImportDeclaration_s71

newtype T_ImportDeclaration_s71 Source

Constructors

C_ImportDeclaration_s71
Fields inv_ImportDeclaration_s71 :: T_ImportDeclaration_v70

data T_ImportDeclaration_s72 Source

Constructors

C_ImportDeclaration_s72

type T_ImportDeclaration_v70 = T_ImportDeclaration_vIn70 -> T_ImportDeclaration_vOut70 Source

data T_ImportDeclaration_vIn70 Source

Constructors

T_ImportDeclaration_vIn70

data T_ImportDeclaration_vOut70 Source

Constructors

T_ImportDeclaration_vOut70 ImportDeclaration

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

sem_ImportDeclaration_Empty :: T_Range -> T_ImportDeclaration Source

data Inh_ImportDeclarations Source

Constructors

Inh_ImportDeclarations

data Syn_ImportDeclarations Source

Constructors

Syn_ImportDeclarations
Fields self_Syn_ImportDeclarations :: ImportDeclarations

wrap_ImportDeclarations :: T_ImportDeclarations -> Inh_ImportDeclarations -> Syn_ImportDeclarations Source

sem_ImportDeclarations :: ImportDeclarations -> T_ImportDeclarations Source

newtype T_ImportDeclarations Source

Constructors

T_ImportDeclarations
Fields attach_T_ImportDeclarations :: Identity T_ImportDeclarations_s74

newtype T_ImportDeclarations_s74 Source

Constructors

C_ImportDeclarations_s74
Fields inv_ImportDeclarations_s74 :: T_ImportDeclarations_v73

data T_ImportDeclarations_s75 Source

Constructors

C_ImportDeclarations_s75

type T_ImportDeclarations_v73 = T_ImportDeclarations_vIn73 -> T_ImportDeclarations_vOut73 Source

data T_ImportDeclarations_vIn73 Source

Constructors

T_ImportDeclarations_vIn73

data T_ImportDeclarations_vOut73 Source

Constructors

T_ImportDeclarations_vOut73 ImportDeclarations

sem_ImportDeclarations_Cons :: T_ImportDeclaration -> T_ImportDeclarations -> T_ImportDeclarations Source

sem_ImportDeclarations_Nil :: T_ImportDeclarations Source

data Inh_ImportSpecification Source

Constructors

Inh_ImportSpecification

data Syn_ImportSpecification Source

Constructors

Syn_ImportSpecification
Fields self_Syn_ImportSpecification :: ImportSpecification

wrap_ImportSpecification :: T_ImportSpecification -> Inh_ImportSpecification -> Syn_ImportSpecification Source

sem_ImportSpecification :: ImportSpecification -> T_ImportSpecification Source

newtype T_ImportSpecification Source

Constructors

T_ImportSpecification
Fields attach_T_ImportSpecification :: Identity T_ImportSpecification_s77

newtype T_ImportSpecification_s77 Source

Constructors

C_ImportSpecification_s77
Fields inv_ImportSpecification_s77 :: T_ImportSpecification_v76

data T_ImportSpecification_s78 Source

Constructors

C_ImportSpecification_s78

type T_ImportSpecification_v76 = T_ImportSpecification_vIn76 -> T_ImportSpecification_vOut76 Source

data T_ImportSpecification_vIn76 Source

Constructors

T_ImportSpecification_vIn76

data T_ImportSpecification_vOut76 Source

Constructors

T_ImportSpecification_vOut76 ImportSpecification

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

data Inh_Imports Source

Constructors

Inh_Imports

data Syn_Imports Source

Constructors

Syn_Imports
Fields self_Syn_Imports :: Imports

wrap_Imports :: T_Imports -> Inh_Imports -> Syn_Imports Source

sem_Imports :: Imports -> T_Imports Source

newtype T_Imports Source

Constructors

T_Imports
Fields attach_T_Imports :: Identity T_Imports_s80

newtype T_Imports_s80 Source

Constructors

C_Imports_s80
Fields inv_Imports_s80 :: T_Imports_v79

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

sem_Imports_Nil :: T_Imports Source

data Inh_LeftHandSide Source

Constructors

Inh_LeftHandSide
Fields opTable_Inh_LeftHandSide :: OperatorTable resolveErrors_Inh_LeftHandSide :: [ResolveError]

data Syn_LeftHandSide Source

Constructors

Syn_LeftHandSide
Fields resolveErrors_Syn_LeftHandSide :: [ResolveError] self_Syn_LeftHandSide :: LeftHandSide

wrap_LeftHandSide :: T_LeftHandSide -> Inh_LeftHandSide -> Syn_LeftHandSide Source

sem_LeftHandSide :: LeftHandSide -> T_LeftHandSide Source

newtype T_LeftHandSide Source

Constructors

T_LeftHandSide
Fields attach_T_LeftHandSide :: Identity T_LeftHandSide_s83

newtype T_LeftHandSide_s83 Source

Constructors

C_LeftHandSide_s83
Fields inv_LeftHandSide_s83 :: T_LeftHandSide_v82

data T_LeftHandSide_s84 Source

Constructors

C_LeftHandSide_s84

type T_LeftHandSide_v82 = T_LeftHandSide_vIn82 -> T_LeftHandSide_vOut82 Source

data T_LeftHandSide_vIn82 Source

Constructors

T_LeftHandSide_vIn82 OperatorTable [ResolveError]

data T_LeftHandSide_vOut82 Source

Constructors

T_LeftHandSide_vOut82 [ResolveError] LeftHandSide

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

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

data Inh_Literal Source

Constructors

Inh_Literal

data Syn_Literal Source

Constructors

Syn_Literal
Fields self_Syn_Literal :: Literal

wrap_Literal :: T_Literal -> Inh_Literal -> Syn_Literal Source

sem_Literal :: Literal -> T_Literal Source

newtype T_Literal Source

Constructors

T_Literal
Fields attach_T_Literal :: Identity T_Literal_s86

newtype T_Literal_s86 Source

Constructors

C_Literal_s86
Fields inv_Literal_s86 :: T_Literal_v85

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

data T_Literal_vOut85 Source

Constructors

T_Literal_vOut85 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

Inh_MaybeDeclarations
Fields opTable_Inh_MaybeDeclarations :: OperatorTable resolveErrors_Inh_MaybeDeclarations :: [ResolveError]

data Syn_MaybeDeclarations Source

Constructors

Syn_MaybeDeclarations
Fields resolveErrors_Syn_MaybeDeclarations :: [ResolveError] self_Syn_MaybeDeclarations :: MaybeDeclarations

wrap_MaybeDeclarations :: T_MaybeDeclarations -> Inh_MaybeDeclarations -> Syn_MaybeDeclarations Source

sem_MaybeDeclarations :: MaybeDeclarations -> T_MaybeDeclarations Source

newtype T_MaybeDeclarations Source

Constructors

T_MaybeDeclarations
Fields attach_T_MaybeDeclarations :: Identity T_MaybeDeclarations_s89

newtype T_MaybeDeclarations_s89 Source

Constructors

C_MaybeDeclarations_s89
Fields inv_MaybeDeclarations_s89 :: T_MaybeDeclarations_v88

data T_MaybeDeclarations_s90 Source

Constructors

C_MaybeDeclarations_s90

type T_MaybeDeclarations_v88 = T_MaybeDeclarations_vIn88 -> T_MaybeDeclarations_vOut88 Source

data T_MaybeDeclarations_vIn88 Source

Constructors

T_MaybeDeclarations_vIn88 OperatorTable [ResolveError]

data T_MaybeDeclarations_vOut88 Source

Constructors

T_MaybeDeclarations_vOut88 [ResolveError] MaybeDeclarations

sem_MaybeDeclarations_Nothing :: T_MaybeDeclarations Source

sem_MaybeDeclarations_Just :: T_Declarations -> T_MaybeDeclarations Source

data Inh_MaybeExports Source

Constructors

Inh_MaybeExports

data Syn_MaybeExports Source

Constructors

Syn_MaybeExports
Fields self_Syn_MaybeExports :: MaybeExports

wrap_MaybeExports :: T_MaybeExports -> Inh_MaybeExports -> Syn_MaybeExports Source

sem_MaybeExports :: MaybeExports -> T_MaybeExports Source

newtype T_MaybeExports Source

Constructors

T_MaybeExports
Fields attach_T_MaybeExports :: Identity T_MaybeExports_s92

newtype T_MaybeExports_s92 Source

Constructors

C_MaybeExports_s92
Fields inv_MaybeExports_s92 :: T_MaybeExports_v91

data T_MaybeExports_s93 Source

Constructors

C_MaybeExports_s93

type T_MaybeExports_v91 = T_MaybeExports_vIn91 -> T_MaybeExports_vOut91 Source

data T_MaybeExports_vIn91 Source

Constructors

T_MaybeExports_vIn91

data T_MaybeExports_vOut91 Source

Constructors

T_MaybeExports_vOut91 MaybeExports

sem_MaybeExports_Nothing :: T_MaybeExports Source

sem_MaybeExports_Just :: T_Exports -> T_MaybeExports Source

data Inh_MaybeExpression Source

Constructors

Inh_MaybeExpression
Fields opTable_Inh_MaybeExpression :: OperatorTable resolveErrors_Inh_MaybeExpression :: [ResolveError]

data Syn_MaybeExpression Source

Constructors

Syn_MaybeExpression
Fields resolveErrors_Syn_MaybeExpression :: [ResolveError] self_Syn_MaybeExpression :: MaybeExpression

wrap_MaybeExpression :: T_MaybeExpression -> Inh_MaybeExpression -> Syn_MaybeExpression Source

sem_MaybeExpression :: MaybeExpression -> T_MaybeExpression Source

newtype T_MaybeExpression Source

Constructors

T_MaybeExpression
Fields attach_T_MaybeExpression :: Identity T_MaybeExpression_s95

newtype T_MaybeExpression_s95 Source

Constructors

C_MaybeExpression_s95
Fields inv_MaybeExpression_s95 :: T_MaybeExpression_v94

data T_MaybeExpression_s96 Source

Constructors

C_MaybeExpression_s96

type T_MaybeExpression_v94 = T_MaybeExpression_vIn94 -> T_MaybeExpression_vOut94 Source

data T_MaybeExpression_vIn94 Source

Constructors

T_MaybeExpression_vIn94 OperatorTable [ResolveError]

data T_MaybeExpression_vOut94 Source

Constructors

T_MaybeExpression_vOut94 [ResolveError] MaybeExpression

sem_MaybeExpression_Nothing :: T_MaybeExpression Source

sem_MaybeExpression_Just :: T_Expression -> T_MaybeExpression Source

data Inh_MaybeImportSpecification Source

Constructors

Inh_MaybeImportSpecification

data Syn_MaybeImportSpecification Source

Constructors

Syn_MaybeImportSpecification
Fields self_Syn_MaybeImportSpecification :: MaybeImportSpecification

wrap_MaybeImportSpecification :: T_MaybeImportSpecification -> Inh_MaybeImportSpecification -> Syn_MaybeImportSpecification Source

sem_MaybeImportSpecification :: MaybeImportSpecification -> T_MaybeImportSpecification Source

newtype T_MaybeImportSpecification Source

Constructors

T_MaybeImportSpecification
Fields attach_T_MaybeImportSpecification :: Identity T_MaybeImportSpecification_s98

newtype T_MaybeImportSpecification_s98 Source

Constructors

C_MaybeImportSpecification_s98
Fields inv_MaybeImportSpecification_s98 :: T_MaybeImportSpecification_v97

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

Constructors

T_MaybeImportSpecification_vOut97 MaybeImportSpecification

sem_MaybeImportSpecification_Nothing :: T_MaybeImportSpecification Source

sem_MaybeImportSpecification_Just :: T_ImportSpecification -> T_MaybeImportSpecification Source

data Inh_MaybeInt Source

Constructors

Inh_MaybeInt

data Syn_MaybeInt Source

Constructors

Syn_MaybeInt
Fields self_Syn_MaybeInt :: MaybeInt

wrap_MaybeInt :: T_MaybeInt -> Inh_MaybeInt -> Syn_MaybeInt Source

sem_MaybeInt :: MaybeInt -> T_MaybeInt Source

newtype T_MaybeInt Source

Constructors

T_MaybeInt
Fields attach_T_MaybeInt :: Identity T_MaybeInt_s101

newtype T_MaybeInt_s101 Source

Constructors

C_MaybeInt_s101
Fields inv_MaybeInt_s101 :: T_MaybeInt_v100

data T_MaybeInt_s102 Source

Constructors

C_MaybeInt_s102

type T_MaybeInt_v100 = T_MaybeInt_vIn100 -> T_MaybeInt_vOut100 Source

data T_MaybeInt_vIn100 Source

Constructors

T_MaybeInt_vIn100

data T_MaybeInt_vOut100 Source

Constructors

T_MaybeInt_vOut100 MaybeInt

sem_MaybeInt_Nothing :: T_MaybeInt Source

sem_MaybeInt_Just :: Int -> T_MaybeInt Source

data Inh_MaybeName Source

Constructors

Inh_MaybeName

data Syn_MaybeName Source

Constructors

Syn_MaybeName
Fields self_Syn_MaybeName :: MaybeName

wrap_MaybeName :: T_MaybeName -> Inh_MaybeName -> Syn_MaybeName Source

sem_MaybeName :: MaybeName -> T_MaybeName Source

newtype T_MaybeName Source

Constructors

T_MaybeName
Fields attach_T_MaybeName :: Identity T_MaybeName_s104

newtype T_MaybeName_s104 Source

Constructors

C_MaybeName_s104
Fields inv_MaybeName_s104 :: T_MaybeName_v103

data T_MaybeName_s105 Source

Constructors

C_MaybeName_s105

type T_MaybeName_v103 = T_MaybeName_vIn103 -> T_MaybeName_vOut103 Source

data T_MaybeName_vIn103 Source

Constructors

T_MaybeName_vIn103

data T_MaybeName_vOut103 Source

Constructors

T_MaybeName_vOut103 MaybeName

sem_MaybeName_Nothing :: T_MaybeName Source

sem_MaybeName_Just :: T_Name -> T_MaybeName Source

data Inh_MaybeNames Source

Constructors

Inh_MaybeNames

data Syn_MaybeNames Source

Constructors

Syn_MaybeNames
Fields self_Syn_MaybeNames :: MaybeNames

wrap_MaybeNames :: T_MaybeNames -> Inh_MaybeNames -> Syn_MaybeNames Source

sem_MaybeNames :: MaybeNames -> T_MaybeNames Source

newtype T_MaybeNames Source

Constructors

T_MaybeNames
Fields attach_T_MaybeNames :: Identity T_MaybeNames_s107

newtype T_MaybeNames_s107 Source

Constructors

C_MaybeNames_s107
Fields inv_MaybeNames_s107 :: T_MaybeNames_v106

data T_MaybeNames_s108 Source

Constructors

C_MaybeNames_s108

type T_MaybeNames_v106 = T_MaybeNames_vIn106 -> T_MaybeNames_vOut106 Source

data T_MaybeNames_vIn106 Source

Constructors

T_MaybeNames_vIn106

data T_MaybeNames_vOut106 Source

Constructors

T_MaybeNames_vOut106 MaybeNames

sem_MaybeNames_Nothing :: T_MaybeNames Source

sem_MaybeNames_Just :: T_Names -> T_MaybeNames Source

data Inh_Module Source

Constructors

Inh_Module
Fields opTable_Inh_Module :: OperatorTable resolveErrors_Inh_Module :: [ResolveError]

data Syn_Module Source

Constructors

Syn_Module
Fields resolveErrors_Syn_Module :: [ResolveError] self_Syn_Module :: Module

wrap_Module :: T_Module -> Inh_Module -> Syn_Module Source

sem_Module :: Module -> T_Module Source

newtype T_Module Source

Constructors

T_Module
Fields attach_T_Module :: Identity T_Module_s110

newtype T_Module_s110 Source

Constructors

C_Module_s110
Fields inv_Module_s110 :: T_Module_v109

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 OperatorTable [ResolveError]

data T_Module_vOut109 Source

Constructors

T_Module_vOut109 [ResolveError] Module

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

data Inh_Name Source

Constructors

Inh_Name

data Syn_Name Source

Constructors

Syn_Name
Fields self_Syn_Name :: Name

wrap_Name :: T_Name -> Inh_Name -> Syn_Name Source

sem_Name :: Name -> T_Name Source

newtype T_Name Source

Constructors

T_Name
Fields attach_T_Name :: Identity T_Name_s113

newtype T_Name_s113 Source

Constructors

C_Name_s113
Fields inv_Name_s113 :: T_Name_v112

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

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

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

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

data Inh_Names Source

Constructors

Inh_Names

data Syn_Names Source

Constructors

Syn_Names
Fields self_Syn_Names :: Names

wrap_Names :: T_Names -> Inh_Names -> Syn_Names Source

sem_Names :: Names -> T_Names Source

newtype T_Names Source

Constructors

T_Names
Fields attach_T_Names :: Identity T_Names_s116

newtype T_Names_s116 Source

Constructors

C_Names_s116
Fields inv_Names_s116 :: T_Names_v115

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

sem_Names_Nil :: T_Names Source

data Inh_Pattern Source

Constructors

Inh_Pattern
Fields opTable_Inh_Pattern :: OperatorTable resolveErrors_Inh_Pattern :: [ResolveError]

data Syn_Pattern Source

Constructors

Syn_Pattern
Fields resolveErrors_Syn_Pattern :: [ResolveError] self_Syn_Pattern :: Pattern

wrap_Pattern :: T_Pattern -> Inh_Pattern -> Syn_Pattern Source

sem_Pattern :: Pattern -> T_Pattern Source

newtype T_Pattern Source

Constructors

T_Pattern
Fields attach_T_Pattern :: Identity T_Pattern_s119

newtype T_Pattern_s119 Source

Constructors

C_Pattern_s119
Fields inv_Pattern_s119 :: T_Pattern_v118

data T_Pattern_s120 Source

Constructors

C_Pattern_s120

type T_Pattern_v118 = T_Pattern_vIn118 -> T_Pattern_vOut118 Source

data T_Pattern_vIn118 Source

Constructors

T_Pattern_vIn118 OperatorTable [ResolveError]

data T_Pattern_vOut118 Source

Constructors

T_Pattern_vOut118 [ResolveError] Pattern

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_Parenthesized :: T_Range -> T_Pattern -> T_Pattern Source

sem_Pattern_InfixConstructor :: T_Range -> T_Pattern -> T_Name -> T_Pattern -> 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_Record :: T_Range -> T_Name -> T_RecordPatternBindings -> T_Pattern Source

sem_Pattern_Negate :: T_Range -> T_Literal -> T_Pattern Source

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

sem_Pattern_Wildcard :: T_Range -> T_Pattern Source

sem_Pattern_Irrefutable :: T_Range -> T_Pattern -> T_Pattern Source

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

sem_Pattern_NegateFloat :: T_Range -> T_Literal -> T_Pattern Source

data Inh_Patterns Source

Constructors

Inh_Patterns
Fields opTable_Inh_Patterns :: OperatorTable resolveErrors_Inh_Patterns :: [ResolveError]

data Syn_Patterns Source

Constructors

Syn_Patterns
Fields resolveErrors_Syn_Patterns :: [ResolveError] self_Syn_Patterns :: Patterns

wrap_Patterns :: T_Patterns -> Inh_Patterns -> Syn_Patterns Source

sem_Patterns :: Patterns -> T_Patterns Source

newtype T_Patterns Source

Constructors

T_Patterns
Fields attach_T_Patterns :: Identity T_Patterns_s122

newtype T_Patterns_s122 Source

Constructors

C_Patterns_s122
Fields inv_Patterns_s122 :: T_Patterns_v121

data T_Patterns_s123 Source

Constructors

C_Patterns_s123

type T_Patterns_v121 = T_Patterns_vIn121 -> T_Patterns_vOut121 Source

data T_Patterns_vIn121 Source

Constructors

T_Patterns_vIn121 OperatorTable [ResolveError]

data T_Patterns_vOut121 Source

Constructors

T_Patterns_vOut121 [ResolveError] Patterns

sem_Patterns_Cons :: T_Pattern -> T_Patterns -> T_Patterns Source

sem_Patterns_Nil :: T_Patterns Source

data Inh_Position Source

Constructors

Inh_Position

data Syn_Position Source

Constructors

Syn_Position
Fields self_Syn_Position :: Position

wrap_Position :: T_Position -> Inh_Position -> Syn_Position Source

sem_Position :: Position -> T_Position Source

newtype T_Position Source

Constructors

T_Position
Fields attach_T_Position :: Identity T_Position_s125

newtype T_Position_s125 Source

Constructors

C_Position_s125
Fields inv_Position_s125 :: T_Position_v124

data T_Position_s126 Source

Constructors

C_Position_s126

type T_Position_v124 = T_Position_vIn124 -> T_Position_vOut124 Source

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

sem_Position_Unknown :: T_Position Source

data Inh_Qualifier Source

Constructors

Inh_Qualifier
Fields opTable_Inh_Qualifier :: OperatorTable resolveErrors_Inh_Qualifier :: [ResolveError]

data Syn_Qualifier Source

Constructors

Syn_Qualifier
Fields resolveErrors_Syn_Qualifier :: [ResolveError] self_Syn_Qualifier :: Qualifier

wrap_Qualifier :: T_Qualifier -> Inh_Qualifier -> Syn_Qualifier Source

sem_Qualifier :: Qualifier -> T_Qualifier Source

newtype T_Qualifier Source

Constructors

T_Qualifier
Fields attach_T_Qualifier :: Identity T_Qualifier_s128

newtype T_Qualifier_s128 Source

Constructors

C_Qualifier_s128
Fields inv_Qualifier_s128 :: T_Qualifier_v127

data T_Qualifier_s129 Source

Constructors

C_Qualifier_s129

type T_Qualifier_v127 = T_Qualifier_vIn127 -> T_Qualifier_vOut127 Source

data T_Qualifier_vIn127 Source

Constructors

T_Qualifier_vIn127 OperatorTable [ResolveError]

data T_Qualifier_vOut127 Source

Constructors

T_Qualifier_vOut127 [ResolveError] Qualifier

sem_Qualifier_Guard :: T_Range -> T_Expression -> T_Qualifier Source

sem_Qualifier_Let :: T_Range -> T_Declarations -> T_Qualifier Source

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

sem_Qualifier_Empty :: T_Range -> T_Qualifier Source

data Inh_Qualifiers Source

Constructors

Inh_Qualifiers
Fields opTable_Inh_Qualifiers :: OperatorTable resolveErrors_Inh_Qualifiers :: [ResolveError]

data Syn_Qualifiers Source

Constructors

Syn_Qualifiers
Fields resolveErrors_Syn_Qualifiers :: [ResolveError] self_Syn_Qualifiers :: Qualifiers

wrap_Qualifiers :: T_Qualifiers -> Inh_Qualifiers -> Syn_Qualifiers Source

sem_Qualifiers :: Qualifiers -> T_Qualifiers Source

newtype T_Qualifiers Source

Constructors

T_Qualifiers
Fields attach_T_Qualifiers :: Identity T_Qualifiers_s131

newtype T_Qualifiers_s131 Source

Constructors

C_Qualifiers_s131
Fields inv_Qualifiers_s131 :: T_Qualifiers_v130

data T_Qualifiers_s132 Source

Constructors

C_Qualifiers_s132

type T_Qualifiers_v130 = T_Qualifiers_vIn130 -> T_Qualifiers_vOut130 Source

data T_Qualifiers_vIn130 Source

Constructors

T_Qualifiers_vIn130 OperatorTable [ResolveError]

data T_Qualifiers_vOut130 Source

Constructors

T_Qualifiers_vOut130 [ResolveError] Qualifiers

sem_Qualifiers_Cons :: T_Qualifier -> T_Qualifiers -> T_Qualifiers Source

sem_Qualifiers_Nil :: T_Qualifiers Source

data Inh_Range Source

Constructors

Inh_Range

data Syn_Range Source

Constructors

Syn_Range
Fields self_Syn_Range :: Range

wrap_Range :: T_Range -> Inh_Range -> Syn_Range Source

sem_Range :: Range -> T_Range Source

newtype T_Range Source

Constructors

T_Range
Fields attach_T_Range :: Identity T_Range_s134

newtype T_Range_s134 Source

Constructors

C_Range_s134
Fields inv_Range_s134 :: T_Range_v133

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

Inh_RecordExpressionBinding
Fields opTable_Inh_RecordExpressionBinding :: OperatorTable resolveErrors_Inh_RecordExpressionBinding :: [ResolveError]

data Syn_RecordExpressionBinding Source

Constructors

Syn_RecordExpressionBinding
Fields resolveErrors_Syn_RecordExpressionBinding :: [ResolveError] self_Syn_RecordExpressionBinding :: RecordExpressionBinding

wrap_RecordExpressionBinding :: T_RecordExpressionBinding -> Inh_RecordExpressionBinding -> Syn_RecordExpressionBinding Source

sem_RecordExpressionBinding :: RecordExpressionBinding -> T_RecordExpressionBinding Source

newtype T_RecordExpressionBinding Source

Constructors

T_RecordExpressionBinding
Fields attach_T_RecordExpressionBinding :: Identity T_RecordExpressionBinding_s137

newtype T_RecordExpressionBinding_s137 Source

Constructors

C_RecordExpressionBinding_s137
Fields inv_RecordExpressionBinding_s137 :: T_RecordExpressionBinding_v136

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 OperatorTable [ResolveError]

data T_RecordExpressionBinding_vOut136 Source

Constructors

T_RecordExpressionBinding_vOut136 [ResolveError] RecordExpressionBinding

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

data Inh_RecordExpressionBindings Source

Constructors

Inh_RecordExpressionBindings
Fields opTable_Inh_RecordExpressionBindings :: OperatorTable resolveErrors_Inh_RecordExpressionBindings :: [ResolveError]

data Syn_RecordExpressionBindings Source

Constructors

Syn_RecordExpressionBindings
Fields resolveErrors_Syn_RecordExpressionBindings :: [ResolveError] self_Syn_RecordExpressionBindings :: RecordExpressionBindings

wrap_RecordExpressionBindings :: T_RecordExpressionBindings -> Inh_RecordExpressionBindings -> Syn_RecordExpressionBindings Source

sem_RecordExpressionBindings :: RecordExpressionBindings -> T_RecordExpressionBindings Source

newtype T_RecordExpressionBindings Source

Constructors