void

A Haskell 98 logically uninhabited data type

http://github.com/ekmett/void

Version on this page:	0.7.1
LTS Haskell 20.24:	0.7.3
Stackage Nightly 2023-06-08:	0.7.3
Latest on Hackage:	0.7.3

See all snapshots void appears in

BSD-3-Clause licensed by Edward A. Kmett

Maintained by Edward A. Kmett

This version can be pinned in stack with:void-0.7.1@sha256:7bf2687310032d4d214106a0128f5dfe275ff7a3fbc32a34315cb5766fadd84c,1499

Module documentation for 0.7.1

Data
- Data.Void
  - Data.Void.Unsafe

Depends on 5 packages(full list with versions):

base, deepseq, ghc-prim, hashable, semigroups

Used by 18 packages in lts-3.22(full list with versions):

adjunctions, aeson-better-errors, bytes, classy-prelude-conduit, conduit-combinators, contravariant, graphs, HStringTemplate, lens, linear, machines, objective, opaleye, stack, stm-conduit, text-show, 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

Changes

0.7.1

Support semigroups 0.17 on older GHCs
Backported NFData’s semigroup instance to older GHCs.

0.7

adapt to Data.Void being moved into base-4.8
vacuousM removed

0.6

instance Exception Void
instance Generic Void
instance Hashable Void

0.5.12

Fixed compatibility with GHC 7.2 (#6)
Added CHANGELOG.markdown and README.markdown