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, 7894 indirect [details] |
| Downloads | 29187 total (351 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] |