helium: The Helium Compiler.
Helium is a compiler for a subset of Haskell that aims at delivering high quality type error messages particularly for beginner programmers. It also includes facilities for specializing type error diagnosis for embedded domain specific languages. The compiler supports Haskell 98, but without the ability to define new type classes and instances.
Modules
[Index]
- Helium
- CodeGeneration
- Main
- Helium.Main.Args
- Helium.Main.Compile
- Helium.Main.CompileUtils
- Helium.Main.PhaseCodeGenerator
- Helium.Main.PhaseDesugarer
- Helium.Main.PhaseImport
- Helium.Main.PhaseKindInferencer
- Helium.Main.PhaseLexer
- Helium.Main.PhaseParser
- Helium.Main.PhaseResolveOperators
- Helium.Main.PhaseStaticChecks
- Helium.Main.PhaseTypeInferencer
- Helium.Main.PhaseTypingStrategies
- Helium.Main.Version
- ModuleSystem
- Parser
- StaticAnalysis
- Directives
- Helium.StaticAnalysis.Directives.Matchers
- Helium.StaticAnalysis.Directives.TS_Analyse
- Helium.StaticAnalysis.Directives.TS_Apply
- Helium.StaticAnalysis.Directives.TS_Attributes
- Helium.StaticAnalysis.Directives.TS_Compile
- Helium.StaticAnalysis.Directives.TS_CoreSyntax
- Helium.StaticAnalysis.Directives.TS_Messages
- Helium.StaticAnalysis.Directives.TS_Parser
- Helium.StaticAnalysis.Directives.TS_Syntax
- Helium.StaticAnalysis.Directives.TS_ToCore
- Heuristics
- Helium.StaticAnalysis.Heuristics.HeuristicsInfo
- Helium.StaticAnalysis.Heuristics.ListOfHeuristics
- Helium.StaticAnalysis.Heuristics.OnlyResultHeuristics
- Helium.StaticAnalysis.Heuristics.RepairHeuristics
- Helium.StaticAnalysis.Heuristics.TieBreakerHeuristics
- Helium.StaticAnalysis.Heuristics.UnifierHeuristics
- Inferencers
- Messages
- Miscellaneous
- Helium.StaticAnalysis.Miscellaneous.ConstraintInfo
- Helium.StaticAnalysis.Miscellaneous.DoublyLinkedTree
- Helium.StaticAnalysis.Miscellaneous.TypeConstraints
- Helium.StaticAnalysis.Miscellaneous.TypeConversion
- Helium.StaticAnalysis.Miscellaneous.TypesToAlignedDocs
- Helium.StaticAnalysis.Miscellaneous.UHA_Source
- StaticChecks
- Directives
- Syntax
- Utils
Downloads
- helium-1.8.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
| Versions [RSS] | 1.8, 1.8.1 |
|---|---|
| Dependencies | base (>=3 && <5), containers, directory, filepath, lvmlib (>=1.1), mtl, network, parsec, process, Top (>=1.7), transformers, wl-pprint [details] |
| License | LicenseRef-GPL |
| Copyright | (c) 2014-2015 |
| Author | Bastiaan Heeren, Jurriaan Hage |
| Maintainer | helium@cs.uu.nl |
| Category | Compiler |
| Home page | http://www.cs.uu.nl/wiki/bin/view/Helium/WebHome |
| Source repo | head: svn checkout https://svn.science.uu.nl/repos/sci.hage0101.helium |
| Uploaded | by JurriaanHage at 2015-04-14T13:04:55Z |
| Distributions | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Executables | heliumpath, runhelium, texthint, helium |
| Downloads | 2448 total (6 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2015-04-14 [all 1 reports] |