type-booleans: Type-level booleans via type-families

[ bsd3, library, type-system ] [ Propose Tags ]

Type-level booleans with basic operators that short-circuit as much as possible.

Versions 0.1
Dependencies base (==4.*) [details]
License BSD-3-Clause
Author Nicolas Frisby <nicolas.frisby@gmail.com>
Maintainer Nicolas Frisby <nicolas.frisby@gmail.com>
Category Type System
Uploaded by NicolasFrisby at Sun Nov 27 00:48:38 UTC 2011
Distributions NixOS:0.1
Downloads 492 total (8 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees