BSD-3-Clause licensed and maintained by Oleg Grenrus
This version can be pinned in stack with:singleton-bool-0.1.4@sha256:5d5b3002c5b20f9ea9c99f682ebd4f0377c23eb0b552a6517e48f19e7e228d31,1126

Module documentation for 0.1.4

  • Data
    • Data.Singletons
      • Data.Singletons.Bool
Depends on 1 package(full list with versions):
Used by 2 packages in nightly-2019-06-04(full list with versions):

singleton-bool

Build Status Hackage Stackage Nightly

Type level booleans

Changes

  • 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