haskell-type-exts: A type checker for Haskell/haskell-src-exts

[ bsd3, language, library ] [ Propose Tags ]

Haskell Types with Extensions (HTE, haskell-type-exts) is (an embryo of) a type checker for Haskell as embodied syntactically by the haskell-src-exts (HSE) package. At this point the type checker only handles a limited number of extensions, both regarding the various syntactic extensions handled by HSE, and the various type-level extensions implemented in e.g. GHC. The goal is to cover the full range of known Haskell extensions, but every path starts with a first step.


Automatic Flags

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 0.1.0
Change log CHANGELOG
Dependencies base (>=3 && <5), containers, haskell-src-exts (>=1.11), pretty [details]
License BSD-3-Clause
Author Niklas Broberg
Maintainer Niklas Broberg <niklas.broberg@chalmers.se>
Category Language
Home page http://code.haskell.org/haskell-type-exts
Uploaded by NiklasBroberg at 2012-04-02T12:23:26Z
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1144 total (4 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]