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 2011-11-27T00:48:38Z
Distributions NixOS:0.1
Downloads 905 total (8 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees