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.


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • 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
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1203 total (6 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]