type-prelude: Partial port of prelude to the type level. Requires GHC 7.6.1.
This module contains functions from the prelude implemented at the type level as both type classes and type families. It comes with an Integer kind.
Modules
[Index]
Downloads
- type-prelude-0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.1 |
|---|---|
| Dependencies | base (>=4.5 && <5), ghc-prim (>=0.3 && <1) [details] |
| License | BSD-3-Clause |
| Author | Etienne Laurin |
| Maintainer | Etienne Laurin <etienne@atnnn.com> |
| Category | Development |
| Home page | http://code.atnnn.com/projects/type-prelude |
| Source repo | head: darcs get http://code.atnnn.com/darcs/type-prelude/ |
| Uploaded | by EtienneLaurin at 2012-09-06T17:31:46Z |
| Distributions | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Downloads | 1228 total (5 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Successful builds reported [all 1 reports] |