Helium.StaticAnalysis.Directives.TS_ToCore

typingStrategyToCore

useNameMap

sem_Alternative

type T_Alternative

data Inh_Alternative

data Syn_Alternative

wrap_Alternative

sem_Alternative_Hole

sem_Alternative_Feedback

sem_Alternative_Alternative

sem_Alternative_Empty

sem_Alternatives

type T_Alternatives

data Inh_Alternatives

data Syn_Alternatives

wrap_Alternatives

sem_Alternatives_Cons

sem_Alternatives_Nil

sem_AnnotatedType

type T_AnnotatedType

data Inh_AnnotatedType

data Syn_AnnotatedType

wrap_AnnotatedType

sem_AnnotatedType_AnnotatedType

sem_AnnotatedTypes

type T_AnnotatedTypes

data Inh_AnnotatedTypes

data Syn_AnnotatedTypes

wrap_AnnotatedTypes

sem_AnnotatedTypes_Cons

sem_AnnotatedTypes_Nil

sem_Body

type T_Body

data Inh_Body

data Syn_Body

wrap_Body

sem_Body_Hole

sem_Body_Body

sem_Constructor

type T_Constructor

data Inh_Constructor

data Syn_Constructor

wrap_Constructor

sem_Constructor_Constructor

sem_Constructor_Infix

sem_Constructor_Record

sem_Constructors

type T_Constructors

data Inh_Constructors

data Syn_Constructors

wrap_Constructors

sem_Constructors_Cons

sem_Constructors_Nil

sem_ContextItem

type T_ContextItem

data Inh_ContextItem

data Syn_ContextItem

wrap_ContextItem

sem_ContextItem_ContextItem

sem_ContextItems

type T_ContextItems

data Inh_ContextItems

data Syn_ContextItems

wrap_ContextItems

sem_ContextItems_Cons

sem_ContextItems_Nil

sem_Declaration

type T_Declaration

data Inh_Declaration

data Syn_Declaration

wrap_Declaration

sem_Declaration_Hole

sem_Declaration_Type

sem_Declaration_Data

sem_Declaration_Newtype

sem_Declaration_Class

sem_Declaration_Instance

sem_Declaration_Default

sem_Declaration_FunctionBindings

sem_Declaration_PatternBinding

sem_Declaration_TypeSignature

sem_Declaration_Fixity

sem_Declaration_Empty

sem_Declarations

type T_Declarations

data Inh_Declarations

data Syn_Declarations

wrap_Declarations

sem_Declarations_Cons

sem_Declarations_Nil

sem_Export

type T_Export

data Inh_Export

data Syn_Export

wrap_Export

sem_Export_Variable

sem_Export_TypeOrClass

sem_Export_TypeOrClassComplete

sem_Export_Module

sem_Exports

type T_Exports

data Inh_Exports

data Syn_Exports

wrap_Exports

sem_Exports_Cons

sem_Exports_Nil

sem_Expression

type T_Expression

data Inh_Expression

data Syn_Expression

wrap_Expression

sem_Expression_Hole

sem_Expression_Feedback

sem_Expression_MustUse

sem_Expression_Literal

sem_Expression_Variable

sem_Expression_Constructor

sem_Expression_Parenthesized

sem_Expression_NormalApplication

sem_Expression_InfixApplication

sem_Expression_If

sem_Expression_Lambda

sem_Expression_Case

sem_Expression_Let

sem_Expression_Do

sem_Expression_List

sem_Expression_Tuple

sem_Expression_Comprehension

sem_Expression_Typed

sem_Expression_RecordConstruction

sem_Expression_RecordUpdate

sem_Expression_Enum

sem_Expression_Negate

sem_Expression_NegateFloat

sem_Expressions

type T_Expressions

data Inh_Expressions

data Syn_Expressions

wrap_Expressions

sem_Expressions_Cons

sem_Expressions_Nil

sem_FieldDeclaration

type T_FieldDeclaration

data Inh_FieldDeclaration

data Syn_FieldDeclaration

wrap_FieldDeclaration

sem_FieldDeclaration_FieldDeclaration

sem_FieldDeclarations

type T_FieldDeclarations

data Inh_FieldDeclarations

data Syn_FieldDeclarations

wrap_FieldDeclarations

sem_FieldDeclarations_Cons

sem_FieldDeclarations_Nil

sem_Fixity

type T_Fixity

data Inh_Fixity

data Syn_Fixity

wrap_Fixity

sem_Fixity_Infixl

sem_Fixity_Infixr

sem_Fixity_Infix

sem_FunctionBinding

type T_FunctionBinding

data Inh_FunctionBinding

data Syn_FunctionBinding

wrap_FunctionBinding

sem_FunctionBinding_Hole

sem_FunctionBinding_Feedback

sem_FunctionBinding_FunctionBinding

sem_FunctionBindings

type T_FunctionBindings

data Inh_FunctionBindings

data Syn_FunctionBindings

wrap_FunctionBindings

sem_FunctionBindings_Cons

sem_FunctionBindings_Nil

sem_GuardedExpression

type T_GuardedExpression

data Inh_GuardedExpression

data Syn_GuardedExpression

wrap_GuardedExpression

sem_GuardedExpression_GuardedExpression

sem_GuardedExpressions

type T_GuardedExpressions

data Inh_GuardedExpressions

data Syn_GuardedExpressions

wrap_GuardedExpressions

sem_GuardedExpressions_Cons

sem_GuardedExpressions_Nil

sem_Import

type T_Import

data Inh_Import

data Syn_Import

wrap_Import

sem_Import_Variable

sem_Import_TypeOrClass

sem_Import_TypeOrClassComplete

sem_ImportDeclaration

type T_ImportDeclaration

data Inh_ImportDeclaration

data Syn_ImportDeclaration

wrap_ImportDeclaration

sem_ImportDeclaration_Import

sem_ImportDeclaration_Empty

sem_ImportDeclarations

type T_ImportDeclarations

data Inh_ImportDeclarations

data Syn_ImportDeclarations

wrap_ImportDeclarations

sem_ImportDeclarations_Cons

sem_ImportDeclarations_Nil

sem_ImportSpecification

type T_ImportSpecification

data Inh_ImportSpecification

data Syn_ImportSpecification

wrap_ImportSpecification

sem_ImportSpecification_Import

sem_Imports

type T_Imports

data Inh_Imports

data Syn_Imports

wrap_Imports

sem_Imports_Cons

sem_Imports_Nil

sem_Judgement

type T_Judgement

data Inh_Judgement

data Syn_Judgement

wrap_Judgement

sem_Judgement_Judgement

sem_LeftHandSide

type T_LeftHandSide

data Inh_LeftHandSide

data Syn_LeftHandSide

wrap_LeftHandSide

sem_LeftHandSide_Function

sem_LeftHandSide_Infix

sem_LeftHandSide_Parenthesized

sem_Literal

type T_Literal

data Inh_Literal

data Syn_Literal

wrap_Literal

sem_Literal_Int

sem_Literal_Char

sem_Literal_Float

sem_Literal_String

sem_MaybeDeclarations

type T_MaybeDeclarations

data Inh_MaybeDeclarations

data Syn_MaybeDeclarations

wrap_MaybeDeclarations

sem_MaybeDeclarations_Nothing

sem_MaybeDeclarations_Just

sem_MaybeExports

type T_MaybeExports

data Inh_MaybeExports

data Syn_MaybeExports

wrap_MaybeExports

sem_MaybeExports_Nothing

sem_MaybeExports_Just

sem_MaybeExpression

type T_MaybeExpression

data Inh_MaybeExpression

data Syn_MaybeExpression

wrap_MaybeExpression

sem_MaybeExpression_Nothing

sem_MaybeExpression_Just

sem_MaybeImportSpecification

type T_MaybeImportSpecification

data Inh_MaybeImportSpecification

data Syn_MaybeImportSpecification

wrap_MaybeImportSpecification

sem_MaybeImportSpecification_Nothing

sem_MaybeImportSpecification_Just

sem_MaybeInt

type T_MaybeInt

data Inh_MaybeInt

data Syn_MaybeInt

wrap_MaybeInt

sem_MaybeInt_Nothing

sem_MaybeInt_Just

sem_MaybeName

type T_MaybeName

data Inh_MaybeName

data Syn_MaybeName

wrap_MaybeName

sem_MaybeName_Nothing

sem_MaybeName_Just

sem_MaybeNames

type T_MaybeNames

data Inh_MaybeNames

data Syn_MaybeNames

wrap_MaybeNames

sem_MaybeNames_Nothing

sem_MaybeNames_Just

sem_Module

type T_Module

data Inh_Module

data Syn_Module

wrap_Module

sem_Module_Module

sem_Name

type T_Name

data Inh_Name

data Syn_Name

wrap_Name

sem_Name_Identifier

sem_Name_Operator

sem_Name_Special

sem_Names

type T_Names

data Inh_Names

data Syn_Names

wrap_Names

sem_Names_Cons

sem_Names_Nil

sem_Pattern

type T_Pattern

data Inh_Pattern

data Syn_Pattern

wrap_Pattern

sem_Pattern_Hole

sem_Pattern_Literal

sem_Pattern_Variable

sem_Pattern_Constructor

sem_Pattern_Parenthesized

sem_Pattern_InfixConstructor

sem_Pattern_List

sem_Pattern_Tuple

sem_Pattern_Record

sem_Pattern_Negate

sem_Pattern_As

sem_Pattern_Wildcard

sem_Pattern_Irrefutable

sem_Pattern_Successor

sem_Pattern_NegateFloat

sem_Patterns

type T_Patterns

data Inh_Patterns

data Syn_Patterns

wrap_Patterns

sem_Patterns_Cons

sem_Patterns_Nil

sem_Position

type T_Position

data Inh_Position

data Syn_Position

wrap_Position

sem_Position_Position

sem_Position_Unknown

sem_Qualifier

type T_Qualifier

data Inh_Qualifier

data Syn_Qualifier

wrap_Qualifier

sem_Qualifier_Guard

sem_Qualifier_Let

sem_Qualifier_Generator

sem_Qualifier_Empty

sem_Qualifiers

type T_Qualifiers

data Inh_Qualifiers

data Syn_Qualifiers

wrap_Qualifiers

sem_Qualifiers_Cons

sem_Qualifiers_Nil

sem_Range

type T_Range

data Inh_Range

data Syn_Range

wrap_Range

sem_Range_Range

sem_RecordExpressionBinding

type T_RecordExpressionBinding

data Inh_RecordExpressionBinding

data Syn_RecordExpressionBinding

wrap_RecordExpressionBinding

sem_RecordExpressionBinding_RecordExpressionBinding

sem_RecordExpressionBindings

type T_RecordExpressionBindings

data Inh_RecordExpressionBindings

data Syn_RecordExpressionBindings

wrap_RecordExpressionBindings

sem_RecordExpressionBindings_Cons

sem_RecordExpressionBindings_Nil

sem_RecordPatternBinding

type T_RecordPatternBinding

data Inh_RecordPatternBinding

data Syn_RecordPatternBinding

wrap_RecordPatternBinding

sem_RecordPatternBinding_RecordPatternBinding

sem_RecordPatternBindings

type T_RecordPatternBindings

data Inh_RecordPatternBindings

data Syn_RecordPatternBindings

wrap_RecordPatternBindings

sem_RecordPatternBindings_Cons

sem_RecordPatternBindings_Nil

sem_RightHandSide

type T_RightHandSide

data Inh_RightHandSide

data Syn_RightHandSide

wrap_RightHandSide

sem_RightHandSide_Expression

sem_RightHandSide_Guarded

sem_SimpleJudgement

type T_SimpleJudgement

data Inh_SimpleJudgement

data Syn_SimpleJudgement

wrap_SimpleJudgement

sem_SimpleJudgement_SimpleJudgement

sem_SimpleJudgements

type T_SimpleJudgements

data Inh_SimpleJudgements

data Syn_SimpleJudgements

wrap_SimpleJudgements

sem_SimpleJudgements_Cons

sem_SimpleJudgements_Nil

sem_SimpleType

type T_SimpleType

data Inh_SimpleType

data Syn_SimpleType

wrap_SimpleType

sem_SimpleType_SimpleType

sem_Statement

type T_Statement

data Inh_Statement

data Syn_Statement

wrap_Statement

sem_Statement_Expression

sem_Statement_Let

sem_Statement_Generator

sem_Statement_Empty

sem_Statements

type T_Statements

data Inh_Statements

data Syn_Statements

wrap_Statements

sem_Statements_Cons

sem_Statements_Nil

sem_Strings

type T_Strings

data Inh_Strings

data Syn_Strings

wrap_Strings

sem_Strings_Cons

sem_Strings_Nil

sem_Type

type T_Type

data Inh_Type

data Syn_Type

wrap_Type

sem_Type_Application

sem_Type_Variable

sem_Type_Constructor

sem_Type_Qualified

sem_Type_Forall

sem_Type_Exists

sem_Type_Parenthesized

sem_TypeRule

type T_TypeRule

data Inh_TypeRule

data Syn_TypeRule

wrap_TypeRule

sem_TypeRule_TypeRule

sem_Types

type T_Types

data Inh_Types

data Syn_Types

wrap_Types

sem_Types_Cons

sem_Types_Nil

sem_TypingStrategies

type T_TypingStrategies

data Inh_TypingStrategies

data Syn_TypingStrategies

wrap_TypingStrategies

sem_TypingStrategies_Cons

sem_TypingStrategies_Nil

sem_TypingStrategy

type T_TypingStrategy

data Inh_TypingStrategy

data Syn_TypingStrategy

wrap_TypingStrategy

sem_TypingStrategy_Siblings

sem_TypingStrategy_TypingStrategy

sem_UserStatement

type T_UserStatement

data Inh_UserStatement

data Syn_UserStatement

wrap_UserStatement

sem_UserStatement_Equal

sem_UserStatement_Pred

sem_UserStatement_MetaVariableConstraints

sem_UserStatement_Phase

sem_UserStatements

type T_UserStatements

data Inh_UserStatements

data Syn_UserStatements

wrap_UserStatements

sem_UserStatements_Cons

sem_UserStatements_Nil