singleton-bool

Type level booleans

https://github.com/phadej/singleton-bool#readme

LTS Haskell 23.1:0.1.8
Stackage Nightly 2024-12-22:0.1.8
Latest on Hackage:0.1.8

See all snapshots singleton-bool appears in

BSD-3-Clause licensed and maintained by Oleg Grenrus
This version can be pinned in stack with:singleton-bool-0.1.8@sha256:b1c1348cb388f0eb39e963cc7b832fa87c9d26045d59ee813931dde5ea27472d,1207

Module documentation for 0.1.8

Depends on 5 packages(full list with versions):
base, boring, dec, deepseq, some

Type level booleans.

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

Changes

  • 0.1.8

    • Support GHC-8.6.5…9.10.1

  • 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