Contents
Index
helium-1.8: The Helium Compiler.
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
:
!
.
<
=
>
|
All
Index - C
CannotDerive
Helium.StaticAnalysis.Messages.StaticErrors
capitalize
Helium.StaticAnalysis.Messages.Messages
caseExprId
Helium.CodeGeneration.CodeGeneration
caseRange_Inh_Alternatives
Helium.CodeGeneration.CodeGeneration
chainCode
Helium.CodeGeneration.CodeGeneration
changeAttributes
Helium.StaticAnalysis.Directives.TS_Attributes
changeOfScope
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
changeTypeVariables
Helium.StaticAnalysis.Heuristics.TieBreakerHeuristics
checkBracketsAtEOF
Helium.Parser.LexerMonad
checkExistence
Helium.Main.CompileUtils
checkExport
Helium.StaticAnalysis.StaticChecks.StaticChecks
checkKind
Helium.StaticAnalysis.StaticChecks.StaticChecks
checkType
Helium.StaticAnalysis.StaticChecks.StaticChecks
checkTypeSignatures
Helium.StaticAnalysis.StaticChecks.StaticChecks
childConstraint
Helium.StaticAnalysis.Miscellaneous.ConstraintInfo
children
Helium.StaticAnalysis.Miscellaneous.DoublyLinkedTree
cinfoBindingGroupExplicit
Helium.StaticAnalysis.Miscellaneous.ConstraintInfo
cinfoBindingGroupExplicitTypedBinding
Helium.StaticAnalysis.Miscellaneous.ConstraintInfo
cinfoBindingGroupImplicit
Helium.StaticAnalysis.Miscellaneous.ConstraintInfo
cinfoGeneralize
Helium.StaticAnalysis.Miscellaneous.ConstraintInfo
cinfoSameBindingGroup
Helium.StaticAnalysis.Miscellaneous.ConstraintInfo
CInfo_
Helium.StaticAnalysis.Miscellaneous.ConstraintInfo
classEnvironment_Inh_Alternative
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_Alternatives
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_Body
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_Declaration
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_Declarations
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_Expression
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_Expressions
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_FunctionBinding
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_FunctionBindings
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_GuardedExpression
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_GuardedExpressions
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_MaybeDeclarations
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_MaybeExpression
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_Qualifier
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_Qualifiers
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_RecordExpressionBinding
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_RecordExpressionBindings
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_RightHandSide
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_Statement
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_Statements
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
closeBracket
Helium.Parser.LexerMonad
collectConstraints_Inh_Core_UserStatement
Helium.StaticAnalysis.Directives.TS_Apply
collectConstraints_Inh_Core_UserStatements
Helium.StaticAnalysis.Directives.TS_Apply
collectConstraints_Syn_Core_UserStatement
Helium.StaticAnalysis.Directives.TS_Apply
collectConstraints_Syn_Core_UserStatements
Helium.StaticAnalysis.Directives.TS_Apply
collectEnvironment_Syn_Module
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectErrors_Inh_Alternative
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_Alternatives
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_Body
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_Declaration
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_Declarations
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_Expression
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_Expressions
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_FunctionBinding
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_FunctionBindings
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_GuardedExpression
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_GuardedExpressions
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_MaybeDeclarations
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_MaybeExpression
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_Qualifier
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_Qualifiers
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_RecordExpressionBinding
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_RecordExpressionBindings
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_RightHandSide
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_Statement
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_Statements
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_Alternative
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_Alternatives
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_Body
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_Declaration
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_Declarations
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_Expression
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_Expressions
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_FunctionBinding
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_FunctionBindings
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_GuardedExpression
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_GuardedExpressions
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_MaybeDeclarations
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_MaybeExpression
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_Qualifier
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_Qualifiers
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_RecordExpressionBinding
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_RecordExpressionBindings
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_RightHandSide
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_Statement
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_Statements
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInfixdecls
Helium.Parser.ResolveOperators
collectInstances_Syn_Alternative
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_Alternatives
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_Body
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_Declaration
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_Declarations
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_Expression
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_Expressions
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_FunctionBinding
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_FunctionBindings
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_GuardedExpression
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_GuardedExpressions
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_MaybeDeclarations
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_MaybeExpression
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_Qualifier
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_Qualifiers
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_RecordExpressionBinding
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_RecordExpressionBindings
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_RightHandSide
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_Statement
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_Statements
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectScopeInfos_Inh_Alternative
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_Alternatives
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_Body
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_Declaration
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_Declarations
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_Expression
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_Expressions
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_FunctionBinding
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_FunctionBindings
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_GuardedExpression
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_GuardedExpressions
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_LeftHandSide
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_Literal
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_MaybeDeclarations
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_MaybeExpression
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_Pattern
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_Patterns
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_Qualifier
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_Qualifiers
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_RecordExpressionBinding
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_RecordExpressionBindings
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_RecordPatternBinding
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_RecordPatternBindings
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_RightHandSide
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_Statement
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_Statements
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_Alternative
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_Alternatives
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_Body
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_Declaration
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_Declarations
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_Expression
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_Expressions
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_FunctionBinding
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_FunctionBindings
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_GuardedExpression
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_GuardedExpressions
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_LeftHandSide
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_Literal
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_MaybeDeclarations
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_MaybeExpression
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_Pattern
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_Patterns
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_Qualifier
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_Qualifiers
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_RecordExpressionBinding
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_RecordExpressionBindings
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_RecordPatternBinding
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_RecordPatternBindings
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_RightHandSide
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_Statement
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_Statements
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectTypeConstructors_Inh_Body
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectTypeConstructors_Inh_Declaration
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectTypeConstructors_Inh_Declarations
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectTypeConstructors_Syn_Body
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectTypeConstructors_Syn_Declaration
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectTypeConstructors_Syn_Declarations
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectTypeSynonyms_Inh_Body
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectTypeSynonyms_Inh_Declaration
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectTypeSynonyms_Inh_Declarations
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectTypeSynonyms_Syn_Body
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectTypeSynonyms_Syn_Declaration
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectTypeSynonyms_Syn_Declarations
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectValueConstructors_Inh_Body
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectValueConstructors_Inh_Constructor
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectValueConstructors_Inh_Constructors
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectValueConstructors_Inh_Declaration
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectValueConstructors_Inh_Declarations
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectValueConstructors_Syn_Body
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectValueConstructors_Syn_Constructor
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectValueConstructors_Syn_Constructors
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectValueConstructors_Syn_Declaration
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectValueConstructors_Syn_Declarations
Helium.StaticAnalysis.StaticChecks.StaticChecks
collectWarnings_Inh_Alternative
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_Alternatives
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_Body
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_Declaration
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_Declarations
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_Expression
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_Expressions
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_FunctionBinding
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_FunctionBindings
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_GuardedExpression
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_GuardedExpressions
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_MaybeDeclarations
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_MaybeExpression
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_Qualifier
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_Qualifiers
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_RecordExpressionBinding
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_RecordExpressionBindings
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_RightHandSide
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_Statement
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_Statements
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_Alternative
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_Alternatives
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_Body
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_Declaration
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_Declarations
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_Expression
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_Expressions
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_FunctionBinding
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_FunctionBindings
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_GuardedExpression
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_GuardedExpressions
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_MaybeDeclarations
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_MaybeExpression
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_Qualifier
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_Qualifiers
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_RecordExpressionBinding
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_RecordExpressionBindings
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_RightHandSide
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_Statement
Helium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_Statements
Helium.StaticAnalysis.Inferencers.TypeInferencing
combine
Helium.StaticAnalysis.Inferencers.BindingGroupAnalysis
combineBindingGroup
1 (Function)
Helium.StaticAnalysis.Inferencers.BindingGroupAnalysis
2 (Function)
Helium.StaticAnalysis.Inferencers.KindInferencing
combineImportEnvironments
Helium.ModuleSystem.ImportEnvironment
, Helium.Main.CompileUtils
combinePathAndFile
Helium.Utils.Utils
,
Helium.Main.CompileUtils
commaList
Helium.Utils.Utils
commas
1 (Function)
Helium.Syntax.UHA_Pretty
2 (Function)
Helium.Parser.ParseLibrary
commas1
Helium.Parser.ParseLibrary
commasAnd
Helium.Utils.Texts
CommentOperator
Helium.Parser.LexerMessage
, Helium.Parser.Lexer
compile
Helium.Main.Compile
CompileOptions
Helium.Main.CompileUtils
complement
Helium.StaticAnalysis.Inferencers.TypeInferencing
con
Helium.Parser.ParseLibrary
concatBindingGroups
1 (Function)
Helium.StaticAnalysis.Inferencers.BindingGroupAnalysis
2 (Function)
Helium.StaticAnalysis.Inferencers.KindInferencing
conclusionAllVariables_Syn_TypeRule
Helium.StaticAnalysis.Directives.TS_Analyse
conclusionExpression_Syn_TypeRule
1 (Function)
Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)
Helium.StaticAnalysis.Directives.TS_ToCore
conclusionType_Syn_Judgement
1 (Function)
Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)
Helium.StaticAnalysis.Directives.TS_ToCore
conclusionType_Syn_TypeRule
1 (Function)
Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)
Helium.StaticAnalysis.Directives.TS_ToCore
conid
Helium.Parser.ParseLibrary
conop
Helium.Parser.ParseLibrary
cons
Helium.CodeGeneration.CoreUtils
consInScope_Inh_Export
Helium.StaticAnalysis.StaticChecks.StaticChecks
consInScope_Inh_Exports
Helium.StaticAnalysis.StaticChecks.StaticChecks
consInScope_Inh_MaybeExports
Helium.StaticAnalysis.StaticChecks.StaticChecks
ConstraintInfo
Helium.StaticAnalysis.Miscellaneous.ConstraintInfo
ConstraintPhaseNumber
Helium.StaticAnalysis.Miscellaneous.ConstraintInfo
ConstraintSet
Helium.StaticAnalysis.Miscellaneous.ConstraintInfo
ConstraintSets
Helium.StaticAnalysis.Miscellaneous.ConstraintInfo
constraintSet_Syn_Core_TypingStrategy
Helium.StaticAnalysis.Directives.TS_Apply
constraintslist_Syn_Alternatives
Helium.StaticAnalysis.Inferencers.TypeInferencing
constraintslist_Syn_Expressions
Helium.StaticAnalysis.Inferencers.TypeInferencing
constraintslist_Syn_FunctionBindings
Helium.StaticAnalysis.Inferencers.TypeInferencing
constraintslist_Syn_GuardedExpressions
Helium.StaticAnalysis.Inferencers.TypeInferencing
constraintslist_Syn_Patterns
Helium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Inh_AnnotatedType
Helium.StaticAnalysis.Inferencers.KindInferencing
constraints_Inh_AnnotatedTypes
Helium.StaticAnalysis.Inferencers.KindInferencing
constraints_Inh_Constructor
Helium.StaticAnalysis.Inferencers.KindInferencing
constraints_Inh_Constructors
Helium.StaticAnalysis.Inferencers.KindInferencing
constraints_Inh_MaybeDeclarations
Helium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Inh_Qualifier
Helium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Inh_Qualifiers
Helium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Inh_SimpleType
Helium.StaticAnalysis.Inferencers.KindInferencing
constraints_Inh_Statement
Helium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Inh_Statements
Helium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Inh_Type
Helium.StaticAnalysis.Inferencers.KindInferencing
constraints_Inh_Types
Helium.StaticAnalysis.Inferencers.KindInferencing
constraints_Syn_Alternative
Helium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_AnnotatedType
Helium.StaticAnalysis.Inferencers.KindInferencing
constraints_Syn_AnnotatedTypes
Helium.StaticAnalysis.Inferencers.KindInferencing
constraints_Syn_Body
1 (Function)
Helium.StaticAnalysis.Inferencers.KindInferencing
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_Constructor
Helium.StaticAnalysis.Inferencers.KindInferencing
constraints_Syn_Constructors
Helium.StaticAnalysis.Inferencers.KindInferencing
constraints_Syn_Core_TypeRule
Helium.StaticAnalysis.Directives.TS_Apply
constraints_Syn_Expression
Helium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_FunctionBinding
Helium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_GuardedExpression
Helium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_LeftHandSide
Helium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_MaybeDeclarations
Helium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_MaybeExpression
Helium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_Pattern
Helium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_Qualifier
Helium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_Qualifiers
Helium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_RightHandSide
Helium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_SimpleType
Helium.StaticAnalysis.Inferencers.KindInferencing
constraints_Syn_Statement
Helium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_Statements
Helium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_Type
Helium.StaticAnalysis.Inferencers.KindInferencing
constraints_Syn_Types
Helium.StaticAnalysis.Inferencers.KindInferencing
Constructor
1 (Type/Class)
Helium.Syntax.UHA_Syntax
2 (Data Constructor)
Helium.StaticAnalysis.Messages.Messages
constructorCustoms
Helium.CodeGeneration.CodeGeneration
Constructors
Helium.Syntax.UHA_Syntax
constructors
Helium.StaticAnalysis.Inferencers.TypeInferencing
Constructor_Constructor
Helium.Syntax.UHA_Syntax
Constructor_Infix
Helium.Syntax.UHA_Syntax
Constructor_Record
Helium.Syntax.UHA_Syntax
consym
Helium.Parser.ParseLibrary
cons_Syn_Constructor
Helium.CodeGeneration.CodeGeneration
cons_Syn_Constructors
Helium.CodeGeneration.CodeGeneration
cons_Syn_Export
Helium.CodeGeneration.CodeGeneration
cons_Syn_Exports
Helium.CodeGeneration.CodeGeneration
cons_Syn_MaybeExports
Helium.CodeGeneration.CodeGeneration
contextAndType
Helium.Parser.Parser
ContextItem
Helium.Syntax.UHA_Syntax
ContextItems
Helium.Syntax.UHA_Syntax
ContextItem_ContextItem
Helium.Syntax.UHA_Syntax
contextRanges_Syn_ContextItem
Helium.StaticAnalysis.StaticChecks.StaticChecks
contextRanges_Syn_ContextItems
Helium.StaticAnalysis.StaticChecks.StaticChecks
contextRange_Syn_Type
Helium.StaticAnalysis.StaticChecks.StaticChecks
contextVars_Syn_ContextItem
Helium.StaticAnalysis.StaticChecks.StaticChecks
contextVars_Syn_ContextItems
Helium.StaticAnalysis.StaticChecks.StaticChecks
convertFromSimpleTypeAndTypes
Helium.StaticAnalysis.Miscellaneous.TypeConversion
convertSources
Helium.StaticAnalysis.Miscellaneous.UHA_Source
CoreDecl
Helium.CodeGeneration.CodeGeneration
coreImportDecls_Syn_Body
Helium.ModuleSystem.ExtractImportDecls
coreImportDecls_Syn_ImportDeclaration
Helium.ModuleSystem.ExtractImportDecls
coreImportDecls_Syn_ImportDeclarations
Helium.ModuleSystem.ExtractImportDecls
coreImportDecls_Syn_Module
Helium.ModuleSystem.ExtractImportDecls
coreList
Helium.CodeGeneration.CoreUtils
CorePhase
Helium.StaticAnalysis.Directives.TS_CoreSyntax
coreToLvm
Helium.CodeGeneration.CoreToLvm
Core_Judgement
Helium.StaticAnalysis.Directives.TS_CoreSyntax
Core_Judgements
Helium.StaticAnalysis.Directives.TS_CoreSyntax
core_Syn_Alternative
Helium.CodeGeneration.CodeGeneration
core_Syn_Alternatives
Helium.CodeGeneration.CodeGeneration
core_Syn_Expression
Helium.CodeGeneration.CodeGeneration
core_Syn_Expressions
Helium.CodeGeneration.CodeGeneration
core_Syn_FunctionBinding
Helium.CodeGeneration.CodeGeneration
core_Syn_FunctionBindings
Helium.CodeGeneration.CodeGeneration
core_Syn_GuardedExpression
Helium.CodeGeneration.CodeGeneration
core_Syn_GuardedExpressions
Helium.CodeGeneration.CodeGeneration
core_Syn_Judgement
Helium.StaticAnalysis.Directives.TS_ToCore
core_Syn_Literal
Helium.CodeGeneration.CodeGeneration
core_Syn_MaybeDeclarations
Helium.CodeGeneration.CodeGeneration
core_Syn_MaybeExpression
Helium.CodeGeneration.CodeGeneration
core_Syn_Module
Helium.CodeGeneration.CodeGeneration
core_Syn_Qualifier
Helium.CodeGeneration.CodeGeneration
core_Syn_Qualifiers
Helium.CodeGeneration.CodeGeneration
core_Syn_RightHandSide
Helium.CodeGeneration.CodeGeneration
core_Syn_SimpleJudgement
Helium.StaticAnalysis.Directives.TS_ToCore
core_Syn_SimpleJudgements
Helium.StaticAnalysis.Directives.TS_ToCore
core_Syn_Statement
Helium.CodeGeneration.CodeGeneration
core_Syn_Statements
Helium.CodeGeneration.CodeGeneration
core_Syn_TypeRule
Helium.StaticAnalysis.Directives.TS_ToCore
core_Syn_TypingStrategy
Helium.StaticAnalysis.Directives.TS_ToCore
core_Syn_UserStatement
Helium.StaticAnalysis.Directives.TS_ToCore
core_Syn_UserStatements
Helium.StaticAnalysis.Directives.TS_ToCore
Core_TypeRule
Helium.StaticAnalysis.Directives.TS_CoreSyntax
Core_TypingStrategies
1 (Type/Class)
Helium.StaticAnalysis.Directives.TS_CoreSyntax
2 (Type/Class)
Helium.StaticAnalysis.Directives.TS_Apply
Core_TypingStrategy
Helium.StaticAnalysis.Directives.TS_CoreSyntax
Core_UserStatement
Helium.StaticAnalysis.Directives.TS_CoreSyntax
Core_UserStatements
Helium.StaticAnalysis.Directives.TS_CoreSyntax
counter_Inh_Alternative
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Alternatives
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_AnnotatedType
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_AnnotatedTypes
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Body
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Constructor
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Constructors
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Declaration
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Declarations
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Expression
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Expressions
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_FieldDeclaration
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_FieldDeclarations
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_FunctionBinding
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_FunctionBindings
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_GuardedExpression
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_GuardedExpressions
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_LeftHandSide
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_MaybeDeclarations
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_MaybeExpression
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Pattern
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Patterns
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Qualifier
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Qualifiers
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_RecordExpressionBinding
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_RecordExpressionBindings
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_RecordPatternBinding
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_RecordPatternBindings
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_RightHandSide
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Statement
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Statements
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Alternative
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Alternatives
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_AnnotatedType
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_AnnotatedTypes
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Body
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Constructor
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Constructors
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Declaration
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Declarations
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Expression
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Expressions
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_FieldDeclaration
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_FieldDeclarations
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_FunctionBinding
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_FunctionBindings
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_GuardedExpression
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_GuardedExpressions
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_LeftHandSide
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_MaybeDeclarations
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_MaybeExpression
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Pattern
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Patterns
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Qualifier
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Qualifiers
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_RecordExpressionBinding
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_RecordExpressionBindings
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_RecordPatternBinding
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_RecordPatternBindings
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_RightHandSide
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Statement
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Statements
1 (Function)
Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)
Helium.StaticAnalysis.Inferencers.TypeInferencing
createClassEnvironment
Helium.ModuleSystem.ImportEnvironment
, Helium.Main.CompileUtils
currentChunk_Inh_Alternative
Helium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_Alternatives
Helium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_Body
Helium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_Declaration
Helium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_Declarations
Helium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_Expression
Helium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_Expressions
Helium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_FunctionBinding
Helium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_FunctionBindings
Helium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_GuardedExpression
Helium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_GuardedExpressions
Helium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_MaybeDeclarations
Helium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_MaybeExpression
Helium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_Qualifier
Helium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_Qualifiers
Helium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_RecordExpressionBinding
Helium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_RecordExpressionBindings
Helium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_RightHandSide
Helium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_Statement
Helium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_Statements
Helium.StaticAnalysis.Inferencers.TypeInferencing
currentPhase_Inh_Core_UserStatement
Helium.StaticAnalysis.Directives.TS_Apply
currentPhase_Inh_Core_UserStatements
Helium.StaticAnalysis.Directives.TS_Apply
currentPhase_Syn_Core_UserStatement
Helium.StaticAnalysis.Directives.TS_Apply
currentPhase_Syn_Core_UserStatements
Helium.StaticAnalysis.Directives.TS_Apply
currentPosition_Inh_Core_UserStatement
Helium.StaticAnalysis.Directives.TS_Apply
currentPosition_Inh_Core_UserStatements
Helium.StaticAnalysis.Directives.TS_Apply
currentPosition_Syn_Core_UserStatement
Helium.StaticAnalysis.Directives.TS_Apply
currentPosition_Syn_Core_UserStatements
Helium.StaticAnalysis.Directives.TS_Apply
custom
Helium.CodeGeneration.CoreUtils
customStrategy
Helium.CodeGeneration.CoreUtils
C_Alternatives_s5
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Alternatives_s6
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Alternative_s2
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Alternative_s3
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_AnnotatedTypes_s11
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_AnnotatedTypes_s12
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_AnnotatedType_s8
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_AnnotatedType_s9
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Body_s14
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Body_s15
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Constructors_s20
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Constructors_s21
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Constructor_s17
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Constructor_s18
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_ContextItems_s26
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_ContextItems_s27
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_ContextItem_s23
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_ContextItem_s24
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Declarations_s32
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Declarations_s33
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Declaration_s29
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Declaration_s30
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Exports_s38
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Exports_s39
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Export_s35
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Export_s36
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Expressions_s44
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Expressions_s45
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Expression_s41
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Expression_s42
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_FieldDeclarations_s50
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_FieldDeclarations_s51
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_FieldDeclaration_s47
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_FieldDeclaration_s48
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Fixity_s53
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Fixity_s54
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_FunctionBindings_s59
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_FunctionBindings_s60
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_FunctionBinding_s56
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_FunctionBinding_s57
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_GuardedExpressions_s65
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_GuardedExpressions_s66
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_GuardedExpression_s62
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_GuardedExpression_s63
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_ImportDeclarations_s74
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_ImportDeclarations_s75
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_ImportDeclaration_s71
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_ImportDeclaration_s72
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_ImportSpecification_s77
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_ImportSpecification_s78
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Imports_s80
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Imports_s81
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Import_s68
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Import_s69
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Judgement_s83
Helium.StaticAnalysis.Directives.TS_Analyse
C_Judgement_s84
Helium.StaticAnalysis.Directives.TS_Analyse
C_LeftHandSide_s83
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_LeftHandSide_s84
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_LeftHandSide_s86
Helium.StaticAnalysis.Directives.TS_Analyse
C_LeftHandSide_s87
Helium.StaticAnalysis.Directives.TS_Analyse
C_Literal_s86
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Literal_s87
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Literal_s89
Helium.StaticAnalysis.Directives.TS_Analyse
C_Literal_s90
Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeDeclarations_s89
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_MaybeDeclarations_s90
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_MaybeDeclarations_s92
Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeDeclarations_s93
Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeExports_s92
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_MaybeExports_s93
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_MaybeExports_s95
Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeExports_s96
Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeExpression_s95
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_MaybeExpression_s96
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_MaybeExpression_s98
Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeExpression_s99
Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeImportSpecification_s101
Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeImportSpecification_s102
Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeImportSpecification_s98
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_MaybeImportSpecification_s99
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_MaybeInt_s101
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_MaybeInt_s102
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_MaybeInt_s104
Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeInt_s105
Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeNames_s107
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_MaybeNames_s108
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_MaybeNames_s110
Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeNames_s111
Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeName_s104
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_MaybeName_s105
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_MaybeName_s107
Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeName_s108
Helium.StaticAnalysis.Directives.TS_Analyse
C_Module_s110
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Module_s111
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Module_s113
Helium.StaticAnalysis.Directives.TS_Analyse
C_Module_s114
Helium.StaticAnalysis.Directives.TS_Analyse
C_Names_s116
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Names_s117
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Names_s119
Helium.StaticAnalysis.Directives.TS_Analyse
C_Names_s120
Helium.StaticAnalysis.Directives.TS_Analyse
C_Name_s113
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Name_s114
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Name_s116
Helium.StaticAnalysis.Directives.TS_Analyse
C_Name_s117
Helium.StaticAnalysis.Directives.TS_Analyse
C_Patterns_s122
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Patterns_s123
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Patterns_s125
Helium.StaticAnalysis.Directives.TS_Analyse
C_Patterns_s126
Helium.StaticAnalysis.Directives.TS_Analyse
C_Pattern_s119
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Pattern_s120
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Pattern_s122
Helium.StaticAnalysis.Directives.TS_Analyse
C_Pattern_s123
Helium.StaticAnalysis.Directives.TS_Analyse
C_Position_s125
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Position_s126
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Position_s128
Helium.StaticAnalysis.Directives.TS_Analyse
C_Position_s129
Helium.StaticAnalysis.Directives.TS_Analyse
C_Qualifiers_s131
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Qualifiers_s132
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Qualifiers_s134
Helium.StaticAnalysis.Directives.TS_Analyse
C_Qualifiers_s135
Helium.StaticAnalysis.Directives.TS_Analyse
C_Qualifier_s128
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Qualifier_s129
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Qualifier_s131
Helium.StaticAnalysis.Directives.TS_Analyse
C_Qualifier_s132
Helium.StaticAnalysis.Directives.TS_Analyse
C_Range_s134
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Range_s135
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Range_s137
Helium.StaticAnalysis.Directives.TS_Analyse
C_Range_s138
Helium.StaticAnalysis.Directives.TS_Analyse
C_RecordExpressionBindings_s140
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_RecordExpressionBindings_s141
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_RecordExpressionBindings_s143
Helium.StaticAnalysis.Directives.TS_Analyse
C_RecordExpressionBindings_s144
Helium.StaticAnalysis.Directives.TS_Analyse
C_RecordExpressionBinding_s137
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_RecordExpressionBinding_s138
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_RecordExpressionBinding_s140
Helium.StaticAnalysis.Directives.TS_Analyse
C_RecordExpressionBinding_s141
Helium.StaticAnalysis.Directives.TS_Analyse
C_RecordPatternBindings_s146
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_RecordPatternBindings_s147
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_RecordPatternBindings_s149
Helium.StaticAnalysis.Directives.TS_Analyse
C_RecordPatternBindings_s150
Helium.StaticAnalysis.Directives.TS_Analyse
C_RecordPatternBinding_s143
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_RecordPatternBinding_s144
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_RecordPatternBinding_s146
Helium.StaticAnalysis.Directives.TS_Analyse
C_RecordPatternBinding_s147
Helium.StaticAnalysis.Directives.TS_Analyse
C_RightHandSide_s149
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_RightHandSide_s150
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_RightHandSide_s152
Helium.StaticAnalysis.Directives.TS_Analyse
C_RightHandSide_s153
Helium.StaticAnalysis.Directives.TS_Analyse
C_SimpleJudgements_s158
Helium.StaticAnalysis.Directives.TS_Analyse
C_SimpleJudgements_s159
Helium.StaticAnalysis.Directives.TS_Analyse
C_SimpleJudgement_s155
Helium.StaticAnalysis.Directives.TS_Analyse
C_SimpleJudgement_s156
Helium.StaticAnalysis.Directives.TS_Analyse
C_SimpleType_s152
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_SimpleType_s153
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_SimpleType_s161
Helium.StaticAnalysis.Directives.TS_Analyse
C_SimpleType_s162
Helium.StaticAnalysis.Directives.TS_Analyse
C_Statements_s158
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Statements_s159
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Statements_s167
Helium.StaticAnalysis.Directives.TS_Analyse
C_Statements_s168
Helium.StaticAnalysis.Directives.TS_Analyse
C_Statement_s155
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Statement_s156
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Statement_s164
Helium.StaticAnalysis.Directives.TS_Analyse
C_Statement_s165
Helium.StaticAnalysis.Directives.TS_Analyse
C_Strings_s161
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Strings_s162
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Strings_s170
Helium.StaticAnalysis.Directives.TS_Analyse
C_Strings_s171
Helium.StaticAnalysis.Directives.TS_Analyse
C_TypeRule_s176
Helium.StaticAnalysis.Directives.TS_Analyse
C_TypeRule_s177
Helium.StaticAnalysis.Directives.TS_Analyse
C_Types_s167
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Types_s168
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Types_s179
Helium.StaticAnalysis.Directives.TS_Analyse
C_Types_s180
Helium.StaticAnalysis.Directives.TS_Analyse
C_Type_s164
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Type_s165
1 (Data Constructor)
Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)
Helium.Syntax.UHA_Pretty
3 (Data Constructor)
Helium.Parser.ResolveOperators
4 (Data Constructor)
Helium.Syntax.UHA_OneLine
5 (Data Constructor)
Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)
Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)
Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)
Helium.CodeGeneration.CodeGeneration
C_Type_s173
Helium.StaticAnalysis.Directives.TS_Analyse
C_Type_s174
Helium.StaticAnalysis.Directives.TS_Analyse
C_TypingStrategies_s182
Helium.StaticAnalysis.Directives.TS_Analyse
C_TypingStrategies_s183
Helium.StaticAnalysis.Directives.TS_Analyse
C_TypingStrategy_s185
Helium.StaticAnalysis.Directives.TS_Analyse
C_TypingStrategy_s186
Helium.StaticAnalysis.Directives.TS_Analyse
C_UserStatements_s191
Helium.StaticAnalysis.Directives.TS_Analyse
C_UserStatements_s192
Helium.StaticAnalysis.Directives.TS_Analyse
C_UserStatement_s188
Helium.StaticAnalysis.Directives.TS_Analyse
C_UserStatement_s189
Helium.StaticAnalysis.Directives.TS_Analyse