singleton-bool: Type level booleans
Type level booleans.
singletons
package provides similar functionality,
but it has tight dependency constraints.
Downloads
- singleton-bool-0.1.8.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.1.0.0, 0.1.1.0, 0.1.2.0, 0.1.3, 0.1.4, 0.1.5, 0.1.6, 0.1.7, 0.1.8 |
---|---|
Change log | CHANGELOG.md |
Dependencies | base (>=4.12.0.0 && <4.21), boring (>=0.2.2 && <0.3), dec (>=0.0.6 && <0.1), deepseq (>=1.4.4.0 && <1.6), some (>=1.0.6 && <1.1) [details] |
Tested with | ghc ==8.6.5 || ==8.8.4 || ==8.10.7 || ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.5 || ==9.8.2 || ==9.10.1 |
License | BSD-3-Clause |
Author | Oleg Grenrus <oleg.grenrus@iki.fi> |
Maintainer | Oleg Grenrus <oleg.grenrus@iki.fi> |
Category | Dependent Types |
Home page | https://github.com/phadej/singleton-bool#readme |
Bug tracker | https://github.com/phadej/singleton-bool/issues |
Source repo | head: git clone https://github.com/phadej/singleton-bool |
Uploaded | by phadej at 2024-06-04T16:57:47Z |
Distributions | Arch:0.1.7, Debian:0.1.5, Fedora:0.1.6, LTSHaskell:0.1.8, NixOS:0.1.8, Stackage:0.1.8, openSUSE:0.1.8 |
Reverse Dependencies | 6 direct, 7903 indirect [details] |
Downloads | 29390 total (317 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2024-06-04 [all 1 reports] |