empty-monad: A container that always has no values.
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.
|Versions [faq]||0.1.0.0, 0.1.0.1|
|Dependencies||base (==4.8.*) [details]|
|Copyright||Vadim Vinnik, 2017|
|Source repo||head: git clone https://github.com/vadimvinnik/empty-monad.git|
|Uploaded||by vadimvinnik at Fri Jan 27 01:04:28 UTC 2017|
|Downloads||640 total (26 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
Docs not available [build log]
All reported builds failed as of 2017-01-27 [all 3 reports]
For package maintainers and hackage trustees