BSD-3-Clause licensed by Oleg Grenrus
Maintained by Oleg.Grenrus

Module documentation for 0.1.2

This version can be pinned in stack with:boring-0.1.2@sha256:e16ed409ef84baaafca548de6ba1405befe836c547110d4787903eab7ed9afe1,1944
  • 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.
comments powered byDisqus