singleton-bool

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

Version on this page:0.1.2.0
LTS Haskell 9.0:0.1.2.0
Stackage Nightly 2017-07-25:0.1.2.0
Latest on Hackage:0.1.2.0
BSD3 licensed and maintained by Oleg Grenrus

Module documentation for 0.1.2.0

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
Depends on:
Used by 1 package:
comments powered byDisqus