singleton-bool

Type level booleans

BSD-3-Clause licensed and maintained by Oleg Grenrus

This version can be pinned in stack with:singleton-bool-0.1.7@sha256:9a40d2fb29e7ac8821846eb3d53aedb1118ff63e4428b16fb30a91d96a899e1f,1232

Depends on 5 packages(full list with versions):

Used by 4 packages in nightly-2023-09-25(full list with versions):

Type level booleans.

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

Changes

0.1.7
- Add EqP and OrdP instances
0.1.6
- Add boring instances
- Add some (GEq etc) instances
- Add deepseq instances
- Require GHC-7.8+
0.1.5
- Add discreteBool :: Dec (a :~: b) (GHC-7.8+)
- Add Show, Eq, Ord SBool b instances.
0.1.4
- Add fromSBool and withSomeSBool.
0.1.3.0
- Add reifyBool and reflectBool.
- Drop GHC-7.4 support (broken PolyKinds)
0.1.2.0
- Enable PolyKinds on GHC >= 7.6
- Add sboolEqRefl :: SBoolI (a == b) => Maybe (a :~: b)
0.1.1.0
- Add eqToRefl, eqCast, trivialRefl