BSD-3-Clause licensed by Oleg Grenrus
Maintained by Oleg.Grenrus
This version can be pinned in stack with:boring-0.1@sha256:2d9d999c5d1b9a2f97c8fdc480451135d791df9be0796272a7eac97c54166e09,1836

Module documentation for 0.1

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