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.5@sha256:0df3604c733618644febb8630b31f46c26ba6e71f0dcdc1c1c8fb27237644dbc,1199

Depends on 2 packages(full list with versions):

Used by 4 packages in lts-15.3(full list with versions):

Type level booleans

Changes

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