void
A Haskell 98 logically uninhabited data type
http://github.com/ekmett/void
| LTS Haskell 24.2: | 0.7.3 |
| Stackage Nightly 2025-07-30: | 0.7.3 |
| Latest on Hackage: | 0.7.3 |
Maintained by Edward A. Kmett
This version can be pinned in stack with:
void-0.7.3@sha256:13d30f62fcdf065e595d679d4ac8b4b0c1bb1a1b73db7b5b5a8f857cb5c8a546,1857Module documentation for 0.7.3
- Data
- Data.Void
Depends on 1 package(full list with versions):
Used by 22 packages in nightly-2025-07-30(full list with versions):
adjunctions, aeson-better-errors, aeson-combinators, algebra, butcher, bytes, classy-prelude-conduit, constrained-categories, data-msgpack-types, emacs-module, equational-reasoning, graphs, HStringTemplate, large-hashable, linear, machines, nvim-hs, pipes, pipes-concurrency, pseudo-boolean, rebase, store
void
This package provides a canonical ‘uninhabited’ data type for Haskell. This arises in a surprisingly wide array of situations in practice.
Contact Information
Contributions and bug reports are welcome!
Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net.
-Edward Kmett