Safe Haskell	None
Language	Haskell98

Helium.StaticAnalysis.Directives.TS_ToCore

Documentation

typingStrategyToCore :: ImportEnvironment -> TypingStrategy -> Core_TypingStrategy Source

useNameMap :: [(Name, Tp)] -> Attribute -> Attribute Source

sem_Alternative :: Alternative -> T_Alternative Source

type T_Alternative = Alternative Source

data Inh_Alternative Source

Constructors

Inh_Alternative

data Syn_Alternative Source

Constructors

Syn_Alternative
Fields self_Syn_Alternative :: Alternative

wrap_Alternative :: T_Alternative -> Inh_Alternative -> Syn_Alternative Source

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

sem_Alternatives :: Alternatives -> T_Alternatives Source

type T_Alternatives = Alternatives Source

data Inh_Alternatives Source

Constructors

Inh_Alternatives

data Syn_Alternatives Source

Constructors

Syn_Alternatives
Fields self_Syn_Alternatives :: Alternatives

wrap_Alternatives :: T_Alternatives -> Inh_Alternatives -> Syn_Alternatives Source

sem_Alternatives_Cons :: T_Alternative -> T_Alternatives -> T_Alternatives Source

sem_Alternatives_Nil :: T_Alternatives Source

sem_AnnotatedType :: AnnotatedType -> T_AnnotatedType Source

type T_AnnotatedType = AnnotatedType 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_Range -> Bool -> T_Type -> T_AnnotatedType Source

sem_AnnotatedTypes :: AnnotatedTypes -> T_AnnotatedTypes Source

type T_AnnotatedTypes = AnnotatedTypes 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_Cons :: T_AnnotatedType -> T_AnnotatedTypes -> T_AnnotatedTypes Source

sem_AnnotatedTypes_Nil :: T_AnnotatedTypes Source

sem_Body :: Body -> T_Body Source

type T_Body = Body Source

data Inh_Body Source

Constructors

Inh_Body

data Syn_Body Source

Constructors

Syn_Body
Fields self_Syn_Body :: Body

wrap_Body :: T_Body -> Inh_Body -> Syn_Body Source

sem_Body_Hole :: T_Range -> Integer -> T_Body Source

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

sem_Constructor :: Constructor -> T_Constructor Source

type T_Constructor = Constructor 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_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

sem_Constructors :: Constructors -> T_Constructors Source

type T_Constructors = Constructors 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_Cons :: T_Constructor -> T_Constructors -> T_Constructors Source

sem_Constructors_Nil :: T_Constructors Source

sem_ContextItem :: ContextItem -> T_ContextItem Source

type T_ContextItem = ContextItem 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_Range -> T_Name -> T_Types -> T_ContextItem Source

sem_ContextItems :: ContextItems -> T_ContextItems Source

type T_ContextItems = ContextItems 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_Cons :: T_ContextItem -> T_ContextItems -> T_ContextItems Source

sem_ContextItems_Nil :: T_ContextItems Source

sem_Declaration :: Declaration -> T_Declaration Source

type T_Declaration = Declaration Source

data Inh_Declaration Source

Constructors

Inh_Declaration

data Syn_Declaration Source

Constructors

Syn_Declaration
Fields self_Syn_Declaration :: Declaration

wrap_Declaration :: T_Declaration -> Inh_Declaration -> Syn_Declaration Source

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

sem_Declarations :: Declarations -> T_Declarations Source

type T_Declarations = Declarations Source

data Inh_Declarations Source

Constructors

Inh_Declarations

data Syn_Declarations Source

Constructors

Syn_Declarations
Fields self_Syn_Declarations :: Declarations

wrap_Declarations :: T_Declarations -> Inh_Declarations -> Syn_Declarations Source

sem_Declarations_Cons :: T_Declaration -> T_Declarations -> T_Declarations Source

sem_Declarations_Nil :: T_Declarations Source

sem_Export :: Export -> T_Export Source

type T_Export = Export 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_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

sem_Exports :: Exports -> T_Exports Source

type T_Exports = Exports 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_Cons :: T_Export -> T_Exports -> T_Exports Source

sem_Exports_Nil :: T_Exports Source

sem_Expression :: Expression -> T_Expression Source

type T_Expression = Expression Source

data Inh_Expression Source

Constructors

Inh_Expression

data Syn_Expression Source

Constructors

Syn_Expression
Fields self_Syn_Expression :: Expression

wrap_Expression :: T_Expression -> Inh_Expression -> Syn_Expression Source

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

sem_Expressions :: Expressions -> T_Expressions Source

type T_Expressions = Expressions Source

data Inh_Expressions Source

Constructors

Inh_Expressions

data Syn_Expressions Source

Constructors

Syn_Expressions
Fields self_Syn_Expressions :: Expressions

wrap_Expressions :: T_Expressions -> Inh_Expressions -> Syn_Expressions Source

sem_Expressions_Cons :: T_Expression -> T_Expressions -> T_Expressions Source

sem_Expressions_Nil :: T_Expressions Source

sem_FieldDeclaration :: FieldDeclaration -> T_FieldDeclaration Source

type T_FieldDeclaration = FieldDeclaration 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_Range -> T_Names -> T_AnnotatedType -> T_FieldDeclaration Source

sem_FieldDeclarations :: FieldDeclarations -> T_FieldDeclarations Source

type T_FieldDeclarations = FieldDeclarations 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_Cons :: T_FieldDeclaration -> T_FieldDeclarations -> T_FieldDeclarations Source

sem_FieldDeclarations_Nil :: T_FieldDeclarations Source

sem_Fixity :: Fixity -> T_Fixity Source

type T_Fixity = Fixity 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_Infixl :: T_Range -> T_Fixity Source

sem_Fixity_Infixr :: T_Range -> T_Fixity Source

sem_Fixity_Infix :: T_Range -> T_Fixity Source

sem_FunctionBinding :: FunctionBinding -> T_FunctionBinding Source

type T_FunctionBinding = FunctionBinding Source

data Inh_FunctionBinding Source

Constructors

Inh_FunctionBinding

data Syn_FunctionBinding Source

Constructors

Syn_FunctionBinding
Fields self_Syn_FunctionBinding :: FunctionBinding

wrap_FunctionBinding :: T_FunctionBinding -> Inh_FunctionBinding -> Syn_FunctionBinding Source

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

sem_FunctionBindings :: FunctionBindings -> T_FunctionBindings Source

type T_FunctionBindings = FunctionBindings Source

data Inh_FunctionBindings Source

Constructors

Inh_FunctionBindings

data Syn_FunctionBindings Source

Constructors

Syn_FunctionBindings
Fields self_Syn_FunctionBindings :: FunctionBindings

wrap_FunctionBindings :: T_FunctionBindings -> Inh_FunctionBindings -> Syn_FunctionBindings Source

sem_FunctionBindings_Cons :: T_FunctionBinding -> T_FunctionBindings -> T_FunctionBindings Source

sem_FunctionBindings_Nil :: T_FunctionBindings Source

sem_GuardedExpression :: GuardedExpression -> T_GuardedExpression Source

type T_GuardedExpression = GuardedExpression Source

data Inh_GuardedExpression Source

Constructors

Inh_GuardedExpression

data Syn_GuardedExpression Source

Constructors

Syn_GuardedExpression
Fields self_Syn_GuardedExpression :: GuardedExpression

wrap_GuardedExpression :: T_GuardedExpression -> Inh_GuardedExpression -> Syn_GuardedExpression Source

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

sem_GuardedExpressions :: GuardedExpressions -> T_GuardedExpressions Source

type T_GuardedExpressions = GuardedExpressions Source

data Inh_GuardedExpressions Source

Constructors

Inh_GuardedExpressions

data Syn_GuardedExpressions Source

Constructors

Syn_GuardedExpressions
Fields self_Syn_GuardedExpressions :: GuardedExpressions

wrap_GuardedExpressions :: T_GuardedExpressions -> Inh_GuardedExpressions -> Syn_GuardedExpressions Source

sem_GuardedExpressions_Cons :: T_GuardedExpression -> T_GuardedExpressions -> T_GuardedExpressions Source

sem_GuardedExpressions_Nil :: T_GuardedExpressions Source

sem_Import :: Import -> T_Import Source

type T_Import = Import 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_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

sem_ImportDeclaration :: ImportDeclaration -> T_ImportDeclaration Source

type T_ImportDeclaration = ImportDeclaration 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_Import :: T_Range -> Bool -> T_Name -> T_MaybeName -> T_MaybeImportSpecification -> T_ImportDeclaration Source

sem_ImportDeclaration_Empty :: T_Range -> T_ImportDeclaration Source

sem_ImportDeclarations :: ImportDeclarations -> T_ImportDeclarations Source

type T_ImportDeclarations = ImportDeclarations 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_Cons :: T_ImportDeclaration -> T_ImportDeclarations -> T_ImportDeclarations Source

sem_ImportDeclarations_Nil :: T_ImportDeclarations Source

sem_ImportSpecification :: ImportSpecification -> T_ImportSpecification Source

type T_ImportSpecification = ImportSpecification 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_Import :: T_Range -> Bool -> T_Imports -> T_ImportSpecification Source

sem_Imports :: Imports -> T_Imports Source

type T_Imports = Imports 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_Cons :: T_Import -> T_Imports -> T_Imports Source

sem_Imports_Nil :: T_Imports Source

sem_Judgement :: Judgement -> T_Judgement Source

type T_Judgement = [(Name, Tp)] -> (Tp, Core_Judgement, Judgement, Expression, Names) Source

data Inh_Judgement Source

Constructors

Inh_Judgement
Fields nameMap_Inh_Judgement :: [(Name, Tp)]

data Syn_Judgement Source

Constructors

Syn_Judgement
Fields conclusionType_Syn_Judgement :: Tp core_Syn_Judgement :: Core_Judgement self_Syn_Judgement :: Judgement theExpression_Syn_Judgement :: Expression typevariables_Syn_Judgement :: Names

wrap_Judgement :: T_Judgement -> Inh_Judgement -> Syn_Judgement Source

sem_Judgement_Judgement :: T_Expression -> T_Type -> T_Judgement Source

sem_LeftHandSide :: LeftHandSide -> T_LeftHandSide Source

type T_LeftHandSide = LeftHandSide Source

data Inh_LeftHandSide Source

Constructors

Inh_LeftHandSide

data Syn_LeftHandSide Source

Constructors

Syn_LeftHandSide
Fields self_Syn_LeftHandSide :: LeftHandSide

wrap_LeftHandSide :: T_LeftHandSide -> Inh_LeftHandSide -> Syn_LeftHandSide Source

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

sem_Literal :: Literal -> T_Literal Source

type T_Literal = Literal 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_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

sem_MaybeDeclarations :: MaybeDeclarations -> T_MaybeDeclarations Source

type T_MaybeDeclarations = MaybeDeclarations Source

data Inh_MaybeDeclarations Source

Constructors

Inh_MaybeDeclarations

data Syn_MaybeDeclarations Source

Constructors

Syn_MaybeDeclarations
Fields self_Syn_MaybeDeclarations :: MaybeDeclarations

wrap_MaybeDeclarations :: T_MaybeDeclarations -> Inh_MaybeDeclarations -> Syn_MaybeDeclarations Source

sem_MaybeDeclarations_Nothing :: T_MaybeDeclarations Source

sem_MaybeDeclarations_Just :: T_Declarations -> T_MaybeDeclarations Source

sem_MaybeExports :: MaybeExports -> T_MaybeExports Source

type T_MaybeExports = MaybeExports 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_Nothing :: T_MaybeExports Source

sem_MaybeExports_Just :: T_Exports -> T_MaybeExports Source

sem_MaybeExpression :: MaybeExpression -> T_MaybeExpression Source

type T_MaybeExpression = MaybeExpression Source

data Inh_MaybeExpression Source

Constructors

Inh_MaybeExpression

data Syn_MaybeExpression Source

Constructors

Syn_MaybeExpression
Fields self_Syn_MaybeExpression :: MaybeExpression

wrap_MaybeExpression :: T_MaybeExpression -> Inh_MaybeExpression -> Syn_MaybeExpression Source

sem_MaybeExpression_Nothing :: T_MaybeExpression Source

sem_MaybeExpression_Just :: T_Expression -> T_MaybeExpression Source

sem_MaybeImportSpecification :: MaybeImportSpecification -> T_MaybeImportSpecification Source

type T_MaybeImportSpecification = MaybeImportSpecification 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_Nothing :: T_MaybeImportSpecification Source

sem_MaybeImportSpecification_Just :: T_ImportSpecification -> T_MaybeImportSpecification Source

sem_MaybeInt :: MaybeInt -> T_MaybeInt Source

type T_MaybeInt = MaybeInt 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_Nothing :: T_MaybeInt Source

sem_MaybeInt_Just :: Int -> T_MaybeInt Source

sem_MaybeName :: MaybeName -> T_MaybeName Source

type T_MaybeName = MaybeName 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_Nothing :: T_MaybeName Source

sem_MaybeName_Just :: T_Name -> T_MaybeName Source

sem_MaybeNames :: MaybeNames -> T_MaybeNames Source

type T_MaybeNames = MaybeNames 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_Nothing :: T_MaybeNames Source

sem_MaybeNames_Just :: T_Names -> T_MaybeNames Source

sem_Module :: Module -> T_Module Source

type T_Module = Module Source

data Inh_Module Source

Constructors

Inh_Module

data Syn_Module Source

Constructors

Syn_Module
Fields self_Syn_Module :: Module

wrap_Module :: T_Module -> Inh_Module -> Syn_Module Source

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

sem_Name :: Name -> T_Name Source

type T_Name = Name 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_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

sem_Names :: Names -> T_Names Source

type T_Names = Names 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_Cons :: T_Name -> T_Names -> T_Names Source

sem_Names_Nil :: T_Names Source

sem_Pattern :: Pattern -> T_Pattern Source

type T_Pattern = Pattern Source

data Inh_Pattern Source

Constructors

Inh_Pattern

data Syn_Pattern Source

Constructors

Syn_Pattern
Fields self_Syn_Pattern :: Pattern

wrap_Pattern :: T_Pattern -> Inh_Pattern -> Syn_Pattern 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_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

sem_Patterns :: Patterns -> T_Patterns Source

type T_Patterns = Patterns Source

data Inh_Patterns Source

Constructors

Inh_Patterns

data Syn_Patterns Source

Constructors

Syn_Patterns
Fields self_Syn_Patterns :: Patterns

wrap_Patterns :: T_Patterns -> Inh_Patterns -> Syn_Patterns Source

sem_Patterns_Cons :: T_Pattern -> T_Patterns -> T_Patterns Source

sem_Patterns_Nil :: T_Patterns Source

sem_Position :: Position -> T_Position Source

type T_Position = Position 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 :: String -> Int -> Int -> T_Position Source

sem_Position_Unknown :: T_Position Source

sem_Qualifier :: Qualifier -> T_Qualifier Source

type T_Qualifier = Qualifier Source

data Inh_Qualifier Source

Constructors

Inh_Qualifier

data Syn_Qualifier Source

Constructors

Syn_Qualifier
Fields self_Syn_Qualifier :: Qualifier

wrap_Qualifier :: T_Qualifier -> Inh_Qualifier -> Syn_Qualifier Source

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

sem_Qualifiers :: Qualifiers -> T_Qualifiers Source

type T_Qualifiers = Qualifiers Source

data Inh_Qualifiers Source

Constructors

Inh_Qualifiers

data Syn_Qualifiers Source

Constructors

Syn_Qualifiers
Fields self_Syn_Qualifiers :: Qualifiers

wrap_Qualifiers :: T_Qualifiers -> Inh_Qualifiers -> Syn_Qualifiers Source

sem_Qualifiers_Cons :: T_Qualifier -> T_Qualifiers -> T_Qualifiers Source

sem_Qualifiers_Nil :: T_Qualifiers Source

sem_Range :: Range -> T_Range Source

type T_Range = Range 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_Position -> T_Position -> T_Range Source

sem_RecordExpressionBinding :: RecordExpressionBinding -> T_RecordExpressionBinding Source

type T_RecordExpressionBinding = RecordExpressionBinding Source

data Inh_RecordExpressionBinding Source

Constructors

Inh_RecordExpressionBinding

data Syn_RecordExpressionBinding Source

Constructors

Syn_RecordExpressionBinding
Fields self_Syn_RecordExpressionBinding :: RecordExpressionBinding

wrap_RecordExpressionBinding :: T_RecordExpressionBinding -> Inh_RecordExpressionBinding -> Syn_RecordExpressionBinding Source

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

sem_RecordExpressionBindings :: RecordExpressionBindings -> T_RecordExpressionBindings Source

type T_RecordExpressionBindings = RecordExpressionBindings Source

data Inh_RecordExpressionBindings Source

Constructors

Inh_RecordExpressionBindings

data Syn_RecordExpressionBindings Source

Constructors

Syn_RecordExpressionBindings
Fields self_Syn_RecordExpressionBindings :: RecordExpressionBindings

wrap_RecordExpressionBindings :: T_RecordExpressionBindings -> Inh_RecordExpressionBindings -> Syn_RecordExpressionBindings Source

sem_RecordExpressionBindings_Cons :: T_RecordExpressionBinding -> T_RecordExpressionBindings -> T_RecordExpressionBindings Source

sem_RecordExpressionBindings_Nil :: T_RecordExpressionBindings Source

sem_RecordPatternBinding :: RecordPatternBinding -> T_RecordPatternBinding Source

type T_RecordPatternBinding = RecordPatternBinding Source

data Inh_RecordPatternBinding Source

Constructors

Inh_RecordPatternBinding

data Syn_RecordPatternBinding Source

Constructors

Syn_RecordPatternBinding
Fields self_Syn_RecordPatternBinding :: RecordPatternBinding

wrap_RecordPatternBinding :: T_RecordPatternBinding -> Inh_RecordPatternBinding -> Syn_RecordPatternBinding Source

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

sem_RecordPatternBindings :: RecordPatternBindings -> T_RecordPatternBindings Source

type T_RecordPatternBindings = RecordPatternBindings Source

data Inh_RecordPatternBindings Source

Constructors

Inh_RecordPatternBindings

data Syn_RecordPatternBindings Source

Constructors

Syn_RecordPatternBindings
Fields self_Syn_RecordPatternBindings :: RecordPatternBindings

wrap_RecordPatternBindings :: T_RecordPatternBindings -> Inh_RecordPatternBindings -> Syn_RecordPatternBindings Source

sem_RecordPatternBindings_Cons :: T_RecordPatternBinding -> T_RecordPatternBindings -> T_RecordPatternBindings Source

sem_RecordPatternBindings_Nil :: T_RecordPatternBindings Source

sem_RightHandSide :: RightHandSide -> T_RightHandSide Source

type T_RightHandSide = RightHandSide Source

data Inh_RightHandSide Source

Constructors

Inh_RightHandSide

data Syn_RightHandSide Source

Constructors

Syn_RightHandSide
Fields self_Syn_RightHandSide :: RightHandSide

wrap_RightHandSide :: T_RightHandSide -> Inh_RightHandSide -> Syn_RightHandSide Source

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

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

sem_SimpleJudgement :: SimpleJudgement -> T_SimpleJudgement Source

type T_SimpleJudgement = [(Name, Tp)] -> [(String, Tp)] -> (Core_Judgement, SimpleJudgement, [(String, Tp)], Names) Source

data Inh_SimpleJudgement Source

Constructors

Inh_SimpleJudgement
Fields nameMap_Inh_SimpleJudgement :: [(Name, Tp)] simpleJudgements_Inh_SimpleJudgement :: [(String, Tp)]

data Syn_SimpleJudgement Source

Constructors

Syn_SimpleJudgement
Fields core_Syn_SimpleJudgement :: Core_Judgement self_Syn_SimpleJudgement :: SimpleJudgement simpleJudgements_Syn_SimpleJudgement :: [(String, Tp)] typevariables_Syn_SimpleJudgement :: Names

wrap_SimpleJudgement :: T_SimpleJudgement -> Inh_SimpleJudgement -> Syn_SimpleJudgement Source

sem_SimpleJudgement_SimpleJudgement :: T_Name -> T_Type -> T_SimpleJudgement Source

sem_SimpleJudgements :: SimpleJudgements -> T_SimpleJudgements Source

type T_SimpleJudgements = [(Name, Tp)] -> [(String, Tp)] -> (Core_Judgements, SimpleJudgements, [(String, Tp)], Names) Source

data Inh_SimpleJudgements Source

Constructors

Inh_SimpleJudgements
Fields nameMap_Inh_SimpleJudgements :: [(Name, Tp)] simpleJudgements_Inh_SimpleJudgements :: [(String, Tp)]

data Syn_SimpleJudgements Source

Constructors

Syn_SimpleJudgements
Fields core_Syn_SimpleJudgements :: Core_Judgements self_Syn_SimpleJudgements :: SimpleJudgements simpleJudgements_Syn_SimpleJudgements :: [(String, Tp)] typevariables_Syn_SimpleJudgements :: Names

wrap_SimpleJudgements :: T_SimpleJudgements -> Inh_SimpleJudgements -> Syn_SimpleJudgements Source

sem_SimpleJudgements_Cons :: T_SimpleJudgement -> T_SimpleJudgements -> T_SimpleJudgements Source

sem_SimpleJudgements_Nil :: T_SimpleJudgements Source

sem_SimpleType :: SimpleType -> T_SimpleType Source

type T_SimpleType = SimpleType Source

data Inh_SimpleType Source

Constructors

Inh_SimpleType

data Syn_SimpleType Source

Constructors

Syn_SimpleType
Fields self_Syn_SimpleType :: SimpleType

wrap_SimpleType :: T_SimpleType -> Inh_SimpleType -> Syn_SimpleType Source

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

sem_Statement :: Statement -> T_Statement Source

type T_Statement = Statement Source

data Inh_Statement Source

Constructors

Inh_Statement

data Syn_Statement Source

Constructors

Syn_Statement
Fields self_Syn_Statement :: Statement

wrap_Statement :: T_Statement -> Inh_Statement -> Syn_Statement Source

sem_Statement_Expression :: T_Range -> T_Expression -> T_Statement Source

sem_Statement_Let :: T_Range -> T_Declarations -> T_Statement Source

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

sem_Statement_Empty :: T_Range -> T_Statement Source

sem_Statements :: Statements -> T_Statements Source

type T_Statements = Statements Source

data Inh_Statements Source

Constructors

Inh_Statements

data Syn_Statements Source

Constructors

Syn_Statements
Fields self_Syn_Statements :: Statements

wrap_Statements :: T_Statements -> Inh_Statements -> Syn_Statements Source

sem_Statements_Cons :: T_Statement -> T_Statements -> T_Statements Source

sem_Statements_Nil :: T_Statements Source

sem_Strings :: Strings -> T_Strings Source

type T_Strings = Strings Source

data Inh_Strings Source

Constructors

Inh_Strings

data Syn_Strings Source

Constructors

Syn_Strings
Fields self_Syn_Strings :: Strings

wrap_Strings :: T_Strings -> Inh_Strings -> Syn_Strings Source

sem_Strings_Cons :: String -> T_Strings -> T_Strings Source

sem_Strings_Nil :: T_Strings Source

sem_Type :: Type -> T_Type Source

type T_Type = (Type, Names) Source

data Inh_Type Source

Constructors

Inh_Type

data Syn_Type Source

Constructors

Syn_Type
Fields self_Syn_Type :: Type typevariables_Syn_Type :: Names

wrap_Type :: T_Type -> Inh_Type -> Syn_Type Source

sem_Type_Application :: T_Range -> Bool -> T_Type -> T_Types -> T_Type 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_Forall :: T_Range -> T_Names -> T_Type -> T_Type Source

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

sem_Type_Parenthesized :: T_Range -> T_Type -> T_Type Source

sem_TypeRule :: TypeRule -> T_TypeRule Source

type T_TypeRule = [(Name, Tp)] -> [(String, Tp)] -> (Expression, Tp, Core_TypeRule, TypeRule, [(String, Tp)], Names) Source

data Inh_TypeRule Source

Constructors

Inh_TypeRule
Fields nameMap_Inh_TypeRule :: [(Name, Tp)] simpleJudgements_Inh_TypeRule :: [(String, Tp)]

data Syn_TypeRule Source

Constructors

Syn_TypeRule
Fields conclusionExpression_Syn_TypeRule :: Expression conclusionType_Syn_TypeRule :: Tp core_Syn_TypeRule :: Core_TypeRule self_Syn_TypeRule :: TypeRule simpleJudgements_Syn_TypeRule :: [(String, Tp)] typevariables_Syn_TypeRule :: Names

wrap_TypeRule :: T_TypeRule -> Inh_TypeRule -> Syn_TypeRule Source

sem_TypeRule_TypeRule :: T_SimpleJudgements -> T_Judgement -> T_TypeRule Source

sem_Types :: Types -> T_Types Source

type T_Types = (Types, Names) Source

data Inh_Types Source

Constructors

Inh_Types

data Syn_Types Source

Constructors

Syn_Types
Fields self_Syn_Types :: Types typevariables_Syn_Types :: Names

wrap_Types :: T_Types -> Inh_Types -> Syn_Types Source

sem_Types_Cons :: T_Type -> T_Types -> T_Types Source

sem_Types_Nil :: T_Types Source

sem_TypingStrategies :: TypingStrategies -> T_TypingStrategies Source

type T_TypingStrategies = ImportEnvironment -> TypingStrategies Source

data Inh_TypingStrategies Source

Constructors

Inh_TypingStrategies
Fields importEnvironment_Inh_TypingStrategies :: ImportEnvironment

data Syn_TypingStrategies Source

Constructors

Syn_TypingStrategies
Fields self_Syn_TypingStrategies :: TypingStrategies

wrap_TypingStrategies :: T_TypingStrategies -> Inh_TypingStrategies -> Syn_TypingStrategies Source

sem_TypingStrategies_Cons :: T_TypingStrategy -> T_TypingStrategies -> T_TypingStrategies Source

sem_TypingStrategies_Nil :: T_TypingStrategies Source

sem_TypingStrategy :: TypingStrategy -> T_TypingStrategy Source

type T_TypingStrategy = ImportEnvironment -> (Core_TypingStrategy, TypingStrategy) Source

data Inh_TypingStrategy Source

Constructors

Inh_TypingStrategy
Fields importEnvironment_Inh_TypingStrategy :: ImportEnvironment

data Syn_TypingStrategy Source

Constructors

Syn_TypingStrategy
Fields core_Syn_TypingStrategy :: Core_TypingStrategy self_Syn_TypingStrategy :: TypingStrategy

wrap_TypingStrategy :: T_TypingStrategy -> Inh_TypingStrategy -> Syn_TypingStrategy Source

sem_TypingStrategy_Siblings :: T_Names -> T_TypingStrategy Source

sem_TypingStrategy_TypingStrategy :: T_TypeRule -> T_UserStatements -> T_TypingStrategy Source

sem_UserStatement :: UserStatement -> T_UserStatement Source

type T_UserStatement = [((String, Maybe String), MessageBlock)] -> Names -> [(Name, Tp)] -> ConstraintInfo -> TypeConstraints ConstraintInfo -> Predicates -> (Core_UserStatement, Names, UserStatement, Names, TypeConstraints ConstraintInfo, Predicates) Source

data Syn_UserStatement Source

Constructors

Syn_UserStatement
Fields core_Syn_UserStatement :: Core_UserStatement metaVariableConstraintNames_Syn_UserStatement :: Names self_Syn_UserStatement :: UserStatement typevariables_Syn_UserStatement :: Names userConstraints_Syn_UserStatement :: TypeConstraints ConstraintInfo userPredicates_Syn_UserStatement :: Predicates

wrap_UserStatement :: T_UserStatement -> Inh_UserStatement -> Syn_UserStatement Source

sem_UserStatement_Equal :: T_Type -> T_Type -> String -> T_UserStatement Source

sem_UserStatement_Pred :: T_Name -> T_Type -> String -> T_UserStatement Source

sem_UserStatement_MetaVariableConstraints :: T_Name -> T_UserStatement Source

sem_UserStatement_Phase :: Int -> T_UserStatement Source

sem_UserStatements :: UserStatements -> T_UserStatements Source

type T_UserStatements = [((String, Maybe String), MessageBlock)] -> Names -> [(Name, Tp)] -> ConstraintInfo -> TypeConstraints ConstraintInfo -> Predicates -> (Core_UserStatements, Names, UserStatements, Names, TypeConstraints ConstraintInfo, Predicates) Source

data Syn_UserStatements Source

Constructors

Syn_UserStatements
Fields core_Syn_UserStatements :: Core_UserStatements metaVariableConstraintNames_Syn_UserStatements :: Names self_Syn_UserStatements :: UserStatements typevariables_Syn_UserStatements :: Names userConstraints_Syn_UserStatements :: TypeConstraints ConstraintInfo userPredicates_Syn_UserStatements :: Predicates

wrap_UserStatements :: T_UserStatements -> Inh_UserStatements -> Syn_UserStatements Source

sem_UserStatements_Cons :: T_UserStatement -> T_UserStatements -> T_UserStatements Source

sem_UserStatements_Nil :: T_UserStatements Source

Inh_UserStatement
Fields attributeTable_Inh_UserStatement :: [((String, Maybe String), MessageBlock)] metaVariableConstraintNames_Inh_UserStatement :: Names nameMap_Inh_UserStatement :: [(Name, Tp)] standardConstraintInfo_Inh_UserStatement :: ConstraintInfo userConstraints_Inh_UserStatement :: TypeConstraints ConstraintInfo userPredicates_Inh_UserStatement :: Predicates

Inh_UserStatements
Fields attributeTable_Inh_UserStatements :: [((String, Maybe String), MessageBlock)] metaVariableConstraintNames_Inh_UserStatements :: Names nameMap_Inh_UserStatements :: [(Name, Tp)] standardConstraintInfo_Inh_UserStatements :: ConstraintInfo userConstraints_Inh_UserStatements :: TypeConstraints ConstraintInfo userPredicates_Inh_UserStatements :: Predicates