type-prelude: Partial port of prelude to the type level. Requires GHC 7.6.1.
[ bsd3, development, library ] [ Propose Tags ]
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.
- type-prelude-0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
For package maintainers and hackage trustees
- No Candidates
|Dependencies||base (>=4.5 && <5), ghc-prim (>=0.3 && <1) [details]|
|Maintainer||Etienne Laurin <email@example.com>|
|Source repo||head: darcs get http://code.atnnn.com/darcs/type-prelude/|
|Uploaded||by EtienneLaurin at 2012-09-06T17:31:46Z|
|Reverse Dependencies||1 direct, 0 indirect [details]|
|Downloads||1168 total (3 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs available [build log]
Successful builds reported [all 1 reports]