boring

Boring and Absurd types

https://github.com/phadej/boring

Version on this page:	0.1.2
LTS Haskell 22.18:	0.2.1@rev:1
Stackage Nightly 2024-04-22:	0.2.1@rev:1
Latest on Hackage:	0.2.1@rev: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.1.2@sha256:e0c4accea576c7a2953119ea915402e1d92ecae7defc100cae785503a6f59524,1904

Module documentation for 0.1.2

Data
- Data.Boring

Depends on 13 packages(full list with versions):

adjunctions, base, base-compat, constraints, dec, fin, generics-sop, singleton-bool, streams, tagged, transformers, transformers-compat, vec

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.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.