void
A Haskell 98 logically uninhabited data type
| Version on this page: | 0.7.2 |
| LTS Haskell 23.19: | 0.7.3 |
| Stackage Nightly 2025-04-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.2@sha256:e07cd23407914833bc8bf726ad27fe4696c2e38685bc00031a2ca632230124ca,1527Module documentation for 0.7.2
- Data
- Data.Void
Depends on 1 package(full list with versions):
Used by 27 packages in lts-9.21(full list with versions):
adjunctions, aeson-better-errors, bytes, classy-prelude-conduit, conduit-combinators, contravariant, data-msgpack, extensible-effects, graphs, HStringTemplate, lattices, lens, linear, machines, objective, opaleye, optparse-generic, pipes, pipes-concurrency, proto-lens, rebase, stm-conduit, store, text-show, universe-instances-extended, wai-extra, wai-middleware-consul
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