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

Module documentation for 0.1.2.0

Depends on 1 package(full list with versions):

singleton-bool

Build Status Hackage Stackage Nightly

Type level booleans

Changes

  • 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