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 [faq] 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 620 total (9 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees