empty-monad

A container that always has no values.

https://github.com/vadimvinnik/empty-monad

Latest on Hackage:

0.1.0.1

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

BSD-3-Clause licensed by Vadim Vinnik

Maintained by [email protected]

Like arithmetics is incomplete without zero, set theory is impossible without a notion of an empty set, algorithm theory must take into account totally undefined functions -- so the domain of data types needs its absolute zero. Void type from the void package https://hackage.haskell.org/package/void provides a zero element for the kind * of unparametrized types. This package does the same for the kind *->* of types with one parameter.