singleton-bool: Type level booleans

[ bsd3, dependent-types, library, web ] [ Propose Tags ]

Type level booleans.

singletons package provides similar functionality, but it has tight dependency constraints.

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

Package maintainers

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]
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.7
Reverse Dependencies 6 direct, 7800 indirect [details]
Downloads 27900 total (311 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]