boring

Boring and Absurd types

https://github.com/phadej/boring

Version on this page:	0.1@rev:2
LTS Haskell 23.5:	0.2.2@rev:1
Stackage Nightly 2025-01-25:	0.2.2@rev:1
Latest on Hackage:	0.2.2@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@sha256:91799c6025048dff5368a76b12ea2a3be85a8e043d7592428c703dc5885faacb,1872

Module documentation for 0.1

Data
- Data.Boring

Depends on 11 packages(full list with versions):

adjunctions, base, base-compat, constraints, fin, generics-sop, 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

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

0

First version. Released on an unsuspecting world.