boring

Boring and Absurd types

https://github.com/phadej/boring

LTS Haskell 24.39:0.2.2@rev:1
Stackage Nightly 2026-05-11:0.2.2.1
Latest on Hackage:0.2.2.1

See all snapshots boring appears in

BSD-3-Clause licensed by Oleg Grenrus
Maintained by Oleg.Grenrus
This version can be pinned in stack with:boring-0.2.2.1@sha256:8d5a55f936b2d8be727f8b4404ad914ff93491b73c7bb3094965546df6210156,1735

Module documentation for 0.2.2.1

Depends on 2 packages(full list with versions):
base, tagged
Used by 4 packages in nightly-2026-05-11(full list with versions):
constraints, dec, singleton-bool, streams

  • Boring types are isomorphic to ().

  • Absurd types are isomorphic to Void.

See What does () mean in Haskell -answer by Conor McBride

Changes

Revision history for boring

0.2.2

  • Support GHC-8.6.5…9.10.1

0.2.1

  • Add instances for SNat, SSymbol, and SChar (singletons introduced in base-4.18.0.0)

0.2

  • Make boring package dependency light. fin, bin, ral, vec, dec, singleton-bool instances are migrated to corresponding packages. Rest are migrated to boring-instances for now.
  • Data.Boring is Trustworthy
  • Add Generic derivation. Thanks to David Feuer.

0.1.3

  • Allow vec-0.3
  • Add instances for ral and bin types.

0.1.2

  • Add instances for ‘Boring’ instances for ‘SBool’, ‘SNat’ and ‘LE’.
  • Add ‘Boring (Dec a)’, ‘boringYes’ and ‘boringNo’.

0.1.1

  • Add GHC.Generics instances
  • Add :~~: and Coercion instances

0.1

  • streams, constraints, generics-sop instances.
  • Reversed dependency with vec, add fin instances.

0

  • First version. Released on an unsuspecting world.