singleton-bool: Type level booleans

[ bsd3, dependent-types, library ] [ Propose Tags ] [ Report a vulnerability ]

Type level booleans.

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


[Skip to Readme]

Modules

[Index]

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
Dependencies base (>=4.5 && <4.10) [details]
Tested with ghc ==7.4.2, ghc ==7.6.3, ghc ==7.8.4, ghc ==7.10.3, ghc ==8.0.1
License BSD-3-Clause
Author Oleg Grenrus <oleg.grenrus@iki.fi>
Maintainer Oleg Grenrus <oleg.grenrus@iki.fi>
Category Web
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 2016-07-31T23:59:56Z
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, 7900 indirect [details]
Downloads 29304 total (318 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2016-11-21 [all 1 reports]

Readme for singleton-bool-0.1.0.0

[back to package description]

singleton-bool

Build Status Hackage Stackage Nightly

Type level booleans