singleton-bool

Type level booleans

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

Version on this page:0.1.2.0@rev:1
LTS Haskell 22.39:0.1.8
Stackage Nightly 2024-10-31:0.1.8
Latest on Hackage:0.1.8

See all snapshots singleton-bool appears in

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

Module documentation for 0.1.2.0

Depends on 1 package(full list with versions):
base

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