addForDeclaration | Helium.ModuleSystem.DictionaryEnvironment |
addForVariable | Helium.ModuleSystem.DictionaryEnvironment |
addHint | Helium.StaticAnalysis.Heuristics.RepairHeuristics |
addOperator | Helium.ModuleSystem.ImportEnvironment, Helium.Main.CompileUtils |
addPos | Helium.Parser.LexerMonad |
addProperties | Helium.StaticAnalysis.Miscellaneous.ConstraintInfo |
addProperty | Helium.StaticAnalysis.Miscellaneous.ConstraintInfo |
addRange | Helium.Parser.ParseLibrary |
addToTypeEnvironment | Helium.ModuleSystem.ImportEnvironment, Helium.Main.CompileUtils |
addType | Helium.ModuleSystem.ImportEnvironment, Helium.Main.CompileUtils |
addTypeConstructor | Helium.ModuleSystem.ImportEnvironment, Helium.Main.CompileUtils |
addTypeSynonym | Helium.ModuleSystem.ImportEnvironment, Helium.Main.CompileUtils |
addTypingStrategies | Helium.ModuleSystem.ImportEnvironment, Helium.Main.CompileUtils |
addValueConstructor | Helium.ModuleSystem.ImportEnvironment, Helium.Main.CompileUtils |
Alert | Helium.Main.Args, Helium.Main.CompileUtils |
AlgorithmM | Helium.Main.Args, Helium.Main.CompileUtils |
AlgorithmW | Helium.Main.Args, Helium.Main.CompileUtils |
allMatch | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allPatterns_Inh_Alternative | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allPatterns_Inh_Alternatives | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allPatterns_Inh_Body | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allPatterns_Inh_Declaration | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allPatterns_Inh_Declarations | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allPatterns_Inh_Expression | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allPatterns_Inh_Expressions | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allPatterns_Inh_FunctionBinding | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allPatterns_Inh_FunctionBindings | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allPatterns_Inh_GuardedExpression | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allPatterns_Inh_GuardedExpressions | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allPatterns_Inh_MaybeDeclarations | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allPatterns_Inh_MaybeExpression | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allPatterns_Inh_Qualifier | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allPatterns_Inh_Qualifiers | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allPatterns_Inh_RightHandSide | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allPatterns_Inh_Statement | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allPatterns_Inh_Statements | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allSubstPredicates | Helium.StaticAnalysis.Heuristics.RepairHeuristics |
allTypeConstructors_Inh_Alternative | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_Alternatives | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_AnnotatedType | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_AnnotatedTypes | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_Body | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_Constructor | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_Constructors | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_ContextItem | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_ContextItems | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_Declaration | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_Declarations | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_Expression | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_Expressions | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_FunctionBinding | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_FunctionBindings | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_GuardedExpression | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_GuardedExpressions | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_LeftHandSide | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_MaybeDeclarations | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_MaybeExpression | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_Pattern | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_Patterns | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_Qualifier | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_Qualifiers | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_RightHandSide | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_Statement | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_Statements | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_Type | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeConstructors_Inh_Types | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allTypeSchemes_Inh_Alternative | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allTypeSchemes_Inh_Alternatives | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allTypeSchemes_Inh_Body | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allTypeSchemes_Inh_Declaration | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allTypeSchemes_Inh_Declarations | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allTypeSchemes_Inh_Expression | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allTypeSchemes_Inh_Expressions | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allTypeSchemes_Inh_FunctionBinding | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allTypeSchemes_Inh_FunctionBindings | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allTypeSchemes_Inh_GuardedExpression | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allTypeSchemes_Inh_GuardedExpressions | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allTypeSchemes_Inh_MaybeDeclarations | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allTypeSchemes_Inh_MaybeExpression | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allTypeSchemes_Inh_Qualifier | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allTypeSchemes_Inh_Qualifiers | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allTypeSchemes_Inh_RecordExpressionBinding | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allTypeSchemes_Inh_RecordExpressionBindings | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allTypeSchemes_Inh_RightHandSide | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allTypeSchemes_Inh_Statement | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allTypeSchemes_Inh_Statements | Helium.StaticAnalysis.Inferencers.TypeInferencing |
allValueConstructors_Inh_Alternative | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allValueConstructors_Inh_Alternatives | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allValueConstructors_Inh_AnnotatedType | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allValueConstructors_Inh_AnnotatedTypes | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allValueConstructors_Inh_Body | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allValueConstructors_Inh_Constructor | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allValueConstructors_Inh_Constructors | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allValueConstructors_Inh_Declaration | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allValueConstructors_Inh_Declarations | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allValueConstructors_Inh_Expression | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allValueConstructors_Inh_Expressions | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allValueConstructors_Inh_FunctionBinding | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allValueConstructors_Inh_FunctionBindings | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allValueConstructors_Inh_GuardedExpression | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allValueConstructors_Inh_GuardedExpressions | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allValueConstructors_Inh_LeftHandSide | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allValueConstructors_Inh_MaybeDeclarations | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allValueConstructors_Inh_MaybeExpression | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allValueConstructors_Inh_Pattern | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allValueConstructors_Inh_Patterns | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allValueConstructors_Inh_Qualifier | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allValueConstructors_Inh_Qualifiers | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allValueConstructors_Inh_RightHandSide | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allValueConstructors_Inh_Statement | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allValueConstructors_Inh_Statements | Helium.StaticAnalysis.StaticChecks.StaticChecks |
allVariables_Syn_Expression | Helium.StaticAnalysis.Directives.TS_Analyse |
allVariables_Syn_Expressions | Helium.StaticAnalysis.Directives.TS_Analyse |
allVariables_Syn_Judgement | Helium.StaticAnalysis.Directives.TS_Analyse |
allVariables_Syn_MaybeExpression | Helium.StaticAnalysis.Directives.TS_Analyse |
Alternative | Helium.Syntax.UHA_Syntax |
Alternatives | Helium.Syntax.UHA_Syntax |
Alternative_Alternative | Helium.Syntax.UHA_Syntax |
Alternative_Empty | Helium.Syntax.UHA_Syntax |
Alternative_Feedback | Helium.Syntax.UHA_Syntax |
Alternative_Hole | Helium.Syntax.UHA_Syntax |
Ambiguous | Helium.Parser.ResolveOperators |
AmbiguousContext | Helium.StaticAnalysis.Messages.StaticErrors |
analyseTypingStrategies | Helium.StaticAnalysis.Directives.TS_Analyse |
analyseTypingStrategy | Helium.StaticAnalysis.Directives.TS_Analyse |
AnnotatedType | Helium.Syntax.UHA_Syntax |
AnnotatedTypes | Helium.Syntax.UHA_Syntax |
AnnotatedType_AnnotatedType | Helium.Syntax.UHA_Syntax |
ApplicationEdge | Helium.StaticAnalysis.Miscellaneous.ConstraintInfo |
applicationHeuristic | Helium.StaticAnalysis.Heuristics.RepairHeuristics |
applyTypingStrategy | Helium.StaticAnalysis.Directives.TS_Apply |
app_ | Helium.CodeGeneration.CoreUtils |
argcount_Syn_FunctionBinding | Helium.StaticAnalysis.Inferencers.TypeInferencing |
argcount_Syn_FunctionBindings | Helium.StaticAnalysis.Inferencers.TypeInferencing |
argcount_Syn_LeftHandSide | Helium.StaticAnalysis.Inferencers.TypeInferencing |
argsToOptions | Helium.Main.Args |
arities_Syn_FunctionBindings | Helium.StaticAnalysis.StaticChecks.StaticChecks |
ArityMismatch | Helium.StaticAnalysis.Messages.StaticErrors |
arity_Syn_FunctionBinding | |
1 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
2 (Function) | Helium.CodeGeneration.CodeGeneration |
arity_Syn_FunctionBindings | Helium.CodeGeneration.CodeGeneration |
arity_Syn_LeftHandSide | Helium.CodeGeneration.CodeGeneration |
Arrow | Helium.Utils.Texts |
assignedType | Helium.StaticAnalysis.Miscellaneous.ConstraintInfo |
Assoc | Helium.Parser.OperatorTable |
assoc | Helium.Parser.OperatorTable |
AssocLeft | Helium.Parser.OperatorTable |
AssocNone | Helium.Parser.OperatorTable |
AssocRight | Helium.Parser.OperatorTable |
Assumptions | Helium.StaticAnalysis.Inferencers.BindingGroupAnalysis |
assumptions_Inh_MaybeDeclarations | Helium.StaticAnalysis.Inferencers.TypeInferencing |
assumptions_Inh_Qualifier | Helium.StaticAnalysis.Inferencers.TypeInferencing |
assumptions_Inh_Qualifiers | Helium.StaticAnalysis.Inferencers.TypeInferencing |
assumptions_Inh_Statement | Helium.StaticAnalysis.Inferencers.TypeInferencing |
assumptions_Inh_Statements | Helium.StaticAnalysis.Inferencers.TypeInferencing |
assumptions_Syn_Alternative | Helium.StaticAnalysis.Inferencers.TypeInferencing |
assumptions_Syn_Alternatives | Helium.StaticAnalysis.Inferencers.TypeInferencing |
assumptions_Syn_AnnotatedType | Helium.StaticAnalysis.Inferencers.KindInferencing |
assumptions_Syn_AnnotatedTypes | Helium.StaticAnalysis.Inferencers.KindInferencing |
assumptions_Syn_Body | Helium.StaticAnalysis.Inferencers.TypeInferencing |
assumptions_Syn_Constructor | Helium.StaticAnalysis.Inferencers.KindInferencing |
assumptions_Syn_Constructors | Helium.StaticAnalysis.Inferencers.KindInferencing |
assumptions_Syn_Core_TypingStrategy | Helium.StaticAnalysis.Directives.TS_Apply |
assumptions_Syn_Expression | Helium.StaticAnalysis.Inferencers.TypeInferencing |
assumptions_Syn_Expressions | Helium.StaticAnalysis.Inferencers.TypeInferencing |
assumptions_Syn_FunctionBinding | Helium.StaticAnalysis.Inferencers.TypeInferencing |
assumptions_Syn_FunctionBindings | Helium.StaticAnalysis.Inferencers.TypeInferencing |
assumptions_Syn_GuardedExpression | Helium.StaticAnalysis.Inferencers.TypeInferencing |
assumptions_Syn_GuardedExpressions | Helium.StaticAnalysis.Inferencers.TypeInferencing |
assumptions_Syn_MaybeDeclarations | Helium.StaticAnalysis.Inferencers.TypeInferencing |
assumptions_Syn_MaybeExpression | Helium.StaticAnalysis.Inferencers.TypeInferencing |
assumptions_Syn_Module | Helium.StaticAnalysis.Inferencers.TypeInferencing |
assumptions_Syn_Qualifier | Helium.StaticAnalysis.Inferencers.TypeInferencing |
assumptions_Syn_Qualifiers | Helium.StaticAnalysis.Inferencers.TypeInferencing |
assumptions_Syn_RightHandSide | Helium.StaticAnalysis.Inferencers.TypeInferencing |
assumptions_Syn_Statement | Helium.StaticAnalysis.Inferencers.TypeInferencing |
assumptions_Syn_Statements | Helium.StaticAnalysis.Inferencers.TypeInferencing |
assumptions_Syn_Type | Helium.StaticAnalysis.Inferencers.KindInferencing |
assumptions_Syn_Types | Helium.StaticAnalysis.Inferencers.KindInferencing |
attach_T_Alternative | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Alternatives | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_AnnotatedType | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_AnnotatedTypes | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Body | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Constructor | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Constructors | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_ContextItem | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_ContextItems | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Declaration | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Declarations | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Export | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Exports | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Expression | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Expressions | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_FieldDeclaration | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_FieldDeclarations | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Fixity | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_FunctionBinding | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_FunctionBindings | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_GuardedExpression | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_GuardedExpressions | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Import | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_ImportDeclaration | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_ImportDeclarations | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Imports | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_ImportSpecification | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Judgement | Helium.StaticAnalysis.Directives.TS_Analyse |
attach_T_LeftHandSide | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Literal | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_MaybeDeclarations | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_MaybeExports | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_MaybeExpression | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_MaybeImportSpecification | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_MaybeInt | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_MaybeName | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_MaybeNames | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Module | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Name | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Names | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Pattern | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Patterns | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Position | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Qualifier | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Qualifiers | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Range | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_RecordExpressionBinding | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_RecordExpressionBindings | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_RecordPatternBinding | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_RecordPatternBindings | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_RightHandSide | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_SimpleJudgement | Helium.StaticAnalysis.Directives.TS_Analyse |
attach_T_SimpleJudgements | Helium.StaticAnalysis.Directives.TS_Analyse |
attach_T_SimpleType | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Statement | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Statements | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Strings | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_Type | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_TypeRule | Helium.StaticAnalysis.Directives.TS_Analyse |
attach_T_Types | |
1 (Function) | Helium.ModuleSystem.ExtractImportDecls |
2 (Function) | Helium.Syntax.UHA_Pretty |
3 (Function) | Helium.Parser.ResolveOperators |
4 (Function) | Helium.Syntax.UHA_OneLine |
5 (Function) | Helium.StaticAnalysis.Inferencers.KindInferencing |
6 (Function) | Helium.StaticAnalysis.StaticChecks.StaticChecks |
7 (Function) | Helium.StaticAnalysis.Inferencers.TypeInferencing |
8 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
9 (Function) | Helium.CodeGeneration.CodeGeneration |
attach_T_TypingStrategies | Helium.StaticAnalysis.Directives.TS_Analyse |
attach_T_TypingStrategy | Helium.StaticAnalysis.Directives.TS_Analyse |
attach_T_UserStatement | Helium.StaticAnalysis.Directives.TS_Analyse |
attach_T_UserStatements | Helium.StaticAnalysis.Directives.TS_Analyse |
Attribute | Helium.StaticAnalysis.Directives.TS_Attributes |
attribute | Helium.StaticAnalysis.Miscellaneous.DoublyLinkedTree |
attributeFieldTable | Helium.StaticAnalysis.Directives.TS_Attributes |
AttributeTable | Helium.StaticAnalysis.Directives.TS_Attributes |
attributeTable_Inh_UserStatement | |
1 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
2 (Function) | Helium.StaticAnalysis.Directives.TS_ToCore |
attributeTable_Inh_UserStatements | |
1 (Function) | Helium.StaticAnalysis.Directives.TS_Analyse |
2 (Function) | Helium.StaticAnalysis.Directives.TS_ToCore |
atype | Helium.Parser.Parser |
availablePredicates_Inh_Alternative | Helium.StaticAnalysis.Inferencers.TypeInferencing |
availablePredicates_Inh_Alternatives | Helium.StaticAnalysis.Inferencers.TypeInferencing |
availablePredicates_Inh_Body | Helium.StaticAnalysis.Inferencers.TypeInferencing |
availablePredicates_Inh_Declaration | Helium.StaticAnalysis.Inferencers.TypeInferencing |
availablePredicates_Inh_Declarations | Helium.StaticAnalysis.Inferencers.TypeInferencing |
availablePredicates_Inh_Expression | Helium.StaticAnalysis.Inferencers.TypeInferencing |
availablePredicates_Inh_Expressions | Helium.StaticAnalysis.Inferencers.TypeInferencing |
availablePredicates_Inh_FunctionBinding | Helium.StaticAnalysis.Inferencers.TypeInferencing |
availablePredicates_Inh_FunctionBindings | Helium.StaticAnalysis.Inferencers.TypeInferencing |
availablePredicates_Inh_GuardedExpression | Helium.StaticAnalysis.Inferencers.TypeInferencing |
availablePredicates_Inh_GuardedExpressions | Helium.StaticAnalysis.Inferencers.TypeInferencing |
availablePredicates_Inh_MaybeDeclarations | Helium.StaticAnalysis.Inferencers.TypeInferencing |
availablePredicates_Inh_MaybeExpression | Helium.StaticAnalysis.Inferencers.TypeInferencing |
availablePredicates_Inh_Qualifier | Helium.StaticAnalysis.Inferencers.TypeInferencing |
availablePredicates_Inh_Qualifiers | Helium.StaticAnalysis.Inferencers.TypeInferencing |
availablePredicates_Inh_RecordExpressionBinding | Helium.StaticAnalysis.Inferencers.TypeInferencing |
availablePredicates_Inh_RecordExpressionBindings | Helium.StaticAnalysis.Inferencers.TypeInferencing |
availablePredicates_Inh_RightHandSide | Helium.StaticAnalysis.Inferencers.TypeInferencing |
availablePredicates_Inh_Statement | Helium.StaticAnalysis.Inferencers.TypeInferencing |
availablePredicates_Inh_Statements | Helium.StaticAnalysis.Inferencers.TypeInferencing |
avoidApplicationConstraints | Helium.StaticAnalysis.Heuristics.OnlyResultHeuristics |
avoidFolkloreConstraints | Helium.StaticAnalysis.Heuristics.TieBreakerHeuristics |
avoidNegationConstraints | Helium.StaticAnalysis.Heuristics.OnlyResultHeuristics |
avoidTrustedConstraints | Helium.StaticAnalysis.Heuristics.TieBreakerHeuristics |