BSD-3-Clause licensed and maintained by Oleg Grenrus

Module documentation for 0.1.5

This version can be pinned in stack with:singleton-bool-0.1.5@sha256:56211ccd9f98c77e7e826c8a5db1e54b5a65b173c2c5bf3053e2619b04041285,1220

singleton-bool

Build Status Hackage Stackage Nightly

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
Depends on 2 packages(full list with versions):
Used by 3 packages in nightly-2020-09-16(full list with versions):