The haskell-type-exts package

[ Tags: 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.


Versions 0.1.0
Change log CHANGELOG
Dependencies base (>=3 && <5), containers, haskell-src-exts (>=1.11), pretty [details]
License BSD3
Author Niklas Broberg
Maintainer Niklas Broberg <>
Category Language
Home page
Uploaded Mon Apr 2 12:23:26 UTC 2012 by NiklasBroberg
Distributions NixOS:0.1.0
Downloads 533 total (10 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI





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


Maintainer's Corner

For package maintainers and hackage trustees