Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for helium-1.8.1 candidate source tarball
helium-1.8.1/src/Helium/StaticAnalysis/
Directives/
Matchers.hs
TS_Analyse.ag
TS_Analyse.hs
TS_Apply.ag
TS_Apply.hs
TS_Attributes.hs
TS_Collect.ag
TS_Compile.hs
TS_CoreSyntax.ag
TS_CoreSyntax.hs
TS_Messages.hs
TS_Parser.hs
TS_PatternMatching.ag
TS_Syntax.ag
TS_Syntax.hs
TS_ToCore.ag
TS_ToCore.hs
Heuristics/
HeuristicsInfo.hs
ListOfHeuristics.hs
OnlyResultHeuristics.hs
RepairHeuristics.hs
TieBreakerHeuristics.hs
UnifierHeuristics.hs
Inferencers/
BindingGroupAnalysis.hs
ExpressionTypeInferencer.hs
GlobalInfo.ag
KindInferencing.ag
KindInferencing.hs
LocalInfo.ag
PatternMatchWarnings.ag
SelectConstraintSolver.hs
TypeInferenceCollect.ag
TypeInferenceInfo.ag
TypeInferenceOverloading.ag
TypeInferenceRules.ag
TypeInferencing.ag
TypeInferencing.hs
Messages/
HeliumMessages.hs
Information.hs
KindErrors.hs
Messages.hs
StaticErrors.hs
TypeErrors.hs
Warnings.hs
Miscellaneous/
ConstraintInfo.hs
DoublyLinkedTree.hs
TypeConstraints.hs
TypeConversion.hs
TypesToAlignedDocs.hs
UHA_Source.hs
StaticChecks/
Collect.ag
ExportErrors.ag
HeliumPartialSyntax.ag
KindChecking.ag
MiscErrors.ag
Scope.ag
ScopeErrors.ag
StaticChecks.ag
StaticChecks.hs
TopLevelErrors.ag
Warnings.ag