BSD-3-Clause licensed and maintained by Oleg Grenrus
This version can be pinned in stack with:singleton-bool-,1046

Module documentation for

Depends on 1 package(full list with versions):


Build Status Hackage Stackage Nightly

Type level booleans



    • Enable PolyKinds on GHC >= 7.6
    • Add sboolEqRefl :: SBoolI (a == b) => Maybe (a :~: b)

    • Add eqToRefl, eqCast, trivialRefl