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.

Versions [faq] 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 995 total (4 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Successful builds reported [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees