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.

Downloads

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 NixOS:0.1
Downloads 1083 total (9 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]