singleton-bool

Type level booleans

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

Version on this page:0.1.4
LTS Haskell 23.5:0.1.8@rev:1
Stackage Nightly 2025-01-23:0.1.8@rev:1
Latest on Hackage:0.1.8@rev:1

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.4@sha256:caf291d07b24b13266145aff6a1655f47af71d5c92d96751f56127971000fc8e,1093

Module documentation for 0.1.4

Depends on 1 package(full list with versions):
base
Used by 2 packages in lts-11.22(full list with versions):
servant, servant-swagger

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