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.

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1
Dependencies base (>=4 && <5) [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 1005 total (7 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]