helium-1.8: The Helium Compiler.

Index - W

waitForEOFHelium.Parser.ParseLibrary
walkSpineHelium.StaticAnalysis.StaticChecks.StaticChecks
WarningHelium.StaticAnalysis.Messages.Warnings
warningHelium.Utils.Texts
WarningsHelium.StaticAnalysis.Messages.Warnings
warnings_Inh_AlternativeHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_AlternativesHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_AnnotatedTypeHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_AnnotatedTypesHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_BodyHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_ConstructorHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_ConstructorsHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_ContextItemHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_ContextItemsHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_DeclarationHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_DeclarationsHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_ExpressionHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_ExpressionsHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_FunctionBindingHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_FunctionBindingsHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_GuardedExpressionHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_GuardedExpressionsHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_LeftHandSideHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_MaybeDeclarationsHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_MaybeExpressionHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_PatternHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_PatternsHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_QualifierHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_QualifiersHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_RightHandSideHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_StatementHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_StatementsHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_TypeHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Inh_TypesHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_AlternativeHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_AlternativesHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_AnnotatedTypeHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_AnnotatedTypesHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_BodyHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_ConstructorHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_ConstructorsHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_ContextItemHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_ContextItemsHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_DeclarationHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_DeclarationsHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_ExpressionHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_ExpressionsHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_FunctionBindingHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_FunctionBindingsHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_GuardedExpressionHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_GuardedExpressionsHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_LeftHandSideHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_MaybeDeclarationsHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_MaybeExpressionHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_Module 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
warnings_Syn_PatternHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_PatternsHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_QualifierHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_QualifiersHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_RightHandSideHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_StatementHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_StatementsHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_TypeHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_TypesHelium.StaticAnalysis.StaticChecks.StaticChecks
warnings_Syn_TypingStrategyHelium.StaticAnalysis.Directives.TS_Analyse
whenHelium.Main.CompileUtils
WildcardElementHelium.StaticAnalysis.Inferencers.TypeInferencing
wildMissingHelium.StaticAnalysis.Inferencers.TypeInferencing
withBracesHelium.Parser.ParseLibrary
withBraces'Helium.Parser.ParseLibrary
WithHintHelium.StaticAnalysis.Miscellaneous.ConstraintInfo
WithHintsHelium.StaticAnalysis.Heuristics.RepairHeuristics
withLayoutHelium.Parser.ParseLibrary
withLayout1Helium.Parser.ParseLibrary
withRangeHelium.Parser.ParseLibrary
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_Core_JudgementHelium.StaticAnalysis.Directives.TS_Apply
wrap_Core_JudgementsHelium.StaticAnalysis.Directives.TS_Apply
wrap_Core_TypeRuleHelium.StaticAnalysis.Directives.TS_Apply
wrap_Core_TypingStrategyHelium.StaticAnalysis.Directives.TS_Apply
wrap_Core_UserStatementHelium.StaticAnalysis.Directives.TS_Apply
wrap_Core_UserStatementsHelium.StaticAnalysis.Directives.TS_Apply
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_Judgement 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_SimpleJudgement 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
wrap_SimpleJudgements 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_TypeRule 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
wrap_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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
wrap_TypingStrategies 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
wrap_TypingStrategy 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
wrap_UserStatement 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
wrap_UserStatements 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
WrongFileNameHelium.StaticAnalysis.Messages.StaticErrors
WrongOverloadingFlagHelium.StaticAnalysis.Messages.StaticErrors