Safe Haskell | None |
---|
Documentation
type T_Alternative = AlternativeSource
type T_Alternatives = AlternativesSource
sem_Body_Hole :: T_Range -> Integer -> T_BodySource
type T_Constructor = ConstructorSource
sem_Constructor_Infix :: T_Range -> T_AnnotatedType -> T_Name -> T_AnnotatedType -> T_ConstructorSource
type T_Constructors = ConstructorsSource
type T_ContextItem = ContextItemSource
type T_ContextItems = ContextItemsSource
type T_Declaration = DeclarationSource
sem_Declaration_Type :: T_Range -> T_SimpleType -> T_Type -> T_DeclarationSource
sem_Declaration_Data :: T_Range -> T_ContextItems -> T_SimpleType -> T_Constructors -> T_Names -> T_DeclarationSource
sem_Declaration_Newtype :: T_Range -> T_ContextItems -> T_SimpleType -> T_Constructor -> T_Names -> T_DeclarationSource
sem_Declaration_Class :: T_Range -> T_ContextItems -> T_SimpleType -> T_MaybeDeclarations -> T_DeclarationSource
sem_Declaration_Instance :: T_Range -> T_ContextItems -> T_Name -> T_Types -> T_MaybeDeclarations -> T_DeclarationSource
sem_Declaration_Fixity :: T_Range -> T_Fixity -> T_MaybeInt -> T_Names -> T_DeclarationSource
type T_Declarations = DeclarationsSource
sem_Export :: Export -> T_ExportSource
wrap_Export :: T_Export -> Inh_Export -> Syn_ExportSource
sem_Export_Variable :: T_Range -> T_Name -> T_ExportSource
sem_Export_TypeOrClass :: T_Range -> T_Name -> T_MaybeNames -> T_ExportSource
sem_Export_Module :: T_Range -> T_Name -> T_ExportSource
sem_Exports_Cons :: T_Export -> T_Exports -> T_ExportsSource
type T_Expression = ExpressionSource
sem_Expression_InfixApplication :: T_Range -> T_MaybeExpression -> T_Expression -> T_MaybeExpression -> T_ExpressionSource
sem_Expression_If :: T_Range -> T_Expression -> T_Expression -> T_Expression -> T_ExpressionSource
sem_Expression_Typed :: T_Range -> T_Expression -> T_Type -> T_ExpressionSource
sem_Expression_RecordConstruction :: T_Range -> T_Name -> T_RecordExpressionBindings -> T_ExpressionSource
sem_Expression_RecordUpdate :: T_Range -> T_Expression -> T_RecordExpressionBindings -> T_ExpressionSource
sem_Expression_Enum :: T_Range -> T_Expression -> T_MaybeExpression -> T_MaybeExpression -> T_ExpressionSource
type T_Expressions = ExpressionsSource
sem_FieldDeclaration_FieldDeclaration :: T_Range -> T_Names -> T_AnnotatedType -> T_FieldDeclarationSource
wrap_FieldDeclarations :: T_FieldDeclarations -> Inh_FieldDeclarations -> Syn_FieldDeclarationsSource
sem_FieldDeclarations_Cons :: T_FieldDeclaration -> T_FieldDeclarations -> T_FieldDeclarationsSource
sem_Fixity :: Fixity -> T_FixitySource
wrap_Fixity :: T_Fixity -> Inh_Fixity -> Syn_FixitySource
sem_FunctionBinding_FunctionBinding :: T_Range -> T_LeftHandSide -> T_RightHandSide -> T_FunctionBindingSource
wrap_GuardedExpression :: T_GuardedExpression -> Inh_GuardedExpression -> Syn_GuardedExpressionSource
sem_GuardedExpression_GuardedExpression :: T_Range -> T_Expression -> T_Expression -> T_GuardedExpressionSource
wrap_GuardedExpressions :: T_GuardedExpressions -> Inh_GuardedExpressions -> Syn_GuardedExpressionsSource
sem_GuardedExpressions_Cons :: T_GuardedExpression -> T_GuardedExpressions -> T_GuardedExpressionsSource
sem_Import :: Import -> T_ImportSource
wrap_Import :: T_Import -> Inh_Import -> Syn_ImportSource
sem_Import_Variable :: T_Range -> T_Name -> T_ImportSource
sem_Import_TypeOrClass :: T_Range -> T_Name -> T_MaybeNames -> T_ImportSource
wrap_ImportDeclaration :: T_ImportDeclaration -> Inh_ImportDeclaration -> Syn_ImportDeclarationSource
sem_ImportDeclaration_Import :: T_Range -> Bool -> T_Name -> T_MaybeName -> T_MaybeImportSpecification -> T_ImportDeclarationSource
wrap_ImportDeclarations :: T_ImportDeclarations -> Inh_ImportDeclarations -> Syn_ImportDeclarationsSource
sem_ImportDeclarations_Cons :: T_ImportDeclaration -> T_ImportDeclarations -> T_ImportDeclarationsSource
wrap_ImportSpecification :: T_ImportSpecification -> Inh_ImportSpecification -> Syn_ImportSpecificationSource
sem_Imports_Cons :: T_Import -> T_Imports -> T_ImportsSource
type T_Judgement = [(Name, Tp)] -> (Tp, Core_Judgement, Judgement, Expression, Names)Source
data Inh_Judgement Source
Inh_Judgement | |
|
data Syn_Judgement Source
type T_LeftHandSide = LeftHandSideSource
sem_LeftHandSide_Infix :: T_Range -> T_Pattern -> T_Name -> T_Pattern -> T_LeftHandSideSource
sem_Literal_Int :: T_Range -> String -> T_LiteralSource
sem_Literal_Char :: T_Range -> String -> T_LiteralSource
sem_Literal_Float :: T_Range -> String -> T_LiteralSource
sem_Literal_String :: T_Range -> String -> T_LiteralSource
wrap_MaybeDeclarations :: T_MaybeDeclarations -> Inh_MaybeDeclarations -> Syn_MaybeDeclarationsSource
type T_MaybeExports = MaybeExportsSource
wrap_MaybeImportSpecification :: T_MaybeImportSpecification -> Inh_MaybeImportSpecification -> Syn_MaybeImportSpecificationSource
type T_MaybeInt = MaybeIntSource
type T_MaybeName = MaybeNameSource
type T_MaybeNames = MaybeNamesSource
sem_Module :: Module -> T_ModuleSource
wrap_Module :: T_Module -> Inh_Module -> Syn_ModuleSource
sem_Module_Module :: T_Range -> T_MaybeName -> T_MaybeExports -> T_Body -> T_ModuleSource
wrap_Names :: T_Names -> Inh_Names -> Syn_NamesSource
sem_Names_Cons :: T_Name -> T_Names -> T_NamesSource
sem_Pattern_Hole :: T_Range -> Integer -> T_PatternSource
sem_Pattern_Variable :: T_Range -> T_Name -> T_PatternSource
sem_Pattern_Constructor :: T_Range -> T_Name -> T_Patterns -> T_PatternSource
sem_Pattern_List :: T_Range -> T_Patterns -> T_PatternSource
type T_Patterns = PatternsSource
type T_Position = PositionSource
sem_Position_Position :: String -> Int -> Int -> T_PositionSource
type T_Qualifier = QualifierSource
type T_Qualifiers = QualifiersSource
wrap_Range :: T_Range -> Inh_Range -> Syn_RangeSource
sem_Range_Range :: T_Position -> T_Position -> T_RangeSource
wrap_RecordExpressionBinding :: T_RecordExpressionBinding -> Inh_RecordExpressionBinding -> Syn_RecordExpressionBindingSource
sem_RecordExpressionBinding_RecordExpressionBinding :: T_Range -> T_Name -> T_Expression -> T_RecordExpressionBindingSource
wrap_RecordExpressionBindings :: T_RecordExpressionBindings -> Inh_RecordExpressionBindings -> Syn_RecordExpressionBindingsSource
sem_RecordExpressionBindings_Cons :: T_RecordExpressionBinding -> T_RecordExpressionBindings -> T_RecordExpressionBindingsSource
wrap_RecordPatternBinding :: T_RecordPatternBinding -> Inh_RecordPatternBinding -> Syn_RecordPatternBindingSource
sem_RecordPatternBinding_RecordPatternBinding :: T_Range -> T_Name -> T_Pattern -> T_RecordPatternBindingSource
wrap_RecordPatternBindings :: T_RecordPatternBindings -> Inh_RecordPatternBindings -> Syn_RecordPatternBindingsSource
sem_RecordPatternBindings_Cons :: T_RecordPatternBinding -> T_RecordPatternBindings -> T_RecordPatternBindingsSource
sem_RightHandSide_Expression :: T_Range -> T_Expression -> T_MaybeDeclarations -> T_RightHandSideSource
sem_RightHandSide_Guarded :: T_Range -> T_GuardedExpressions -> T_MaybeDeclarations -> T_RightHandSideSource
type T_SimpleJudgement = [(Name, Tp)] -> [(String, Tp)] -> (Core_Judgement, SimpleJudgement, [(String, Tp)], Names)Source
type T_SimpleJudgements = [(Name, Tp)] -> [(String, Tp)] -> (Core_Judgements, SimpleJudgements, [(String, Tp)], Names)Source
type T_SimpleType = SimpleTypeSource
sem_SimpleType_SimpleType :: T_Range -> T_Name -> T_Names -> T_SimpleTypeSource
type T_Statement = StatementSource
type T_Statements = StatementsSource
sem_Strings_Cons :: String -> T_Strings -> T_StringsSource
sem_Type_Variable :: T_Range -> T_Name -> T_TypeSource
sem_Type_Constructor :: T_Range -> T_Name -> T_TypeSource
sem_Type_Qualified :: T_Range -> T_ContextItems -> T_Type -> T_TypeSource
sem_Type_Parenthesized :: T_Range -> T_Type -> T_TypeSource
type T_TypeRule = [(Name, Tp)] -> [(String, Tp)] -> (Expression, Tp, Core_TypeRule, TypeRule, [(String, Tp)], Names)Source
data Inh_TypeRule Source
Inh_TypeRule | |
|
data Syn_TypeRule Source
wrap_Types :: T_Types -> Inh_Types -> Syn_TypesSource
sem_Types_Cons :: T_Type -> T_Types -> T_TypesSource
data Inh_TypingStrategy Source
data Syn_TypingStrategy 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 Inh_UserStatement Source
sem_UserStatement_Equal :: T_Type -> T_Type -> String -> T_UserStatementSource
sem_UserStatement_Pred :: T_Name -> T_Type -> String -> T_UserStatementSource
type T_UserStatements = [((String, Maybe String), MessageBlock)] -> Names -> [(Name, Tp)] -> ConstraintInfo -> TypeConstraints ConstraintInfo -> Predicates -> (Core_UserStatements, Names, UserStatements, Names, TypeConstraints ConstraintInfo, Predicates)Source
data Inh_UserStatements Source
data Syn_UserStatements Source