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 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 Thu Sep 6 17:31:46 UTC 2012
Distributions NixOS:0.1
Downloads 551 total (13 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Successful builds reported [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees