boring

Boring and Absurd types

https://github.com/phadej/boring

Version on this page:	0.2
LTS Haskell 21.12:	0.2.1
Stackage Nightly 2023-09-22:	0.2.1
Latest on Hackage:	0.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@sha256:f3385e3c204f8cb943efff70471677d641c2ae1af38406805f748df68b340fe4,2043

Module documentation for 0.2

Data
- Data.Boring

Depends on 3 packages(full list with versions):

base, tagged, transformers

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

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.