singleton-bool

Type level booleans

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

Version on this page:0.1.1.0
LTS Haskell 24.18:0.1.8@rev:1
Stackage Nightly 2025-11-04: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.1.0@sha256:b5f3dd4b8bcd99d37066f0713a4c7beaef428a3619c14ec0928d30978e968933,1123

Module documentation for 0.1.1.0

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

singleton-bool

Build Status Hackage Stackage Nightly

Type level booleans

Changes

  • 0.1.1.0
    • Add eqToRefl, eqCast, trivialRefl