void: A Haskell 98 logically uninhabited data type

[ bsd3, data-structures, library ] [ Propose Tags ]

A Haskell 98 logically uninhabited data type, used to indicate that a given term should not exist.

[Skip to Readme]


[Index] [Quick Jump]


Manual Flags


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 0.1, 0.2, 0.3, 0.4, 0.5.0, 0.5.1, 0.5.2, 0.5.3, 0.5.4,,,, 0.5.5,, 0.5.6, 0.5.7, 0.5.8, 0.5.10, 0.5.11, 0.5.12, 0.6, 0.6.1, 0.7, 0.7.1, 0.7.2, 0.7.3
Change log CHANGELOG.markdown
Dependencies base (>=3 && <10), deepseq (>=1.1 && <1.5), ghc-prim, hashable (>=1.1), semigroups (>=0.8.2), template-haskell (>= && <2.11) [details]
License BSD-3-Clause
Copyright Copyright (C) 2008-2015 Edward A. Kmett
Author Edward A. Kmett
Maintainer Edward A. Kmett <ekmett@gmail.com>
Category Data Structures
Home page http://github.com/ekmett/void
Bug tracker http://github.com/ekmett/void/issues
Source repo head: git clone git://github.com/ekmett/void.git
Uploaded by ryanglscott at 2019-05-10T14:01:02Z
Distributions Arch:0.7.3, Debian:0.7.3, Fedora:0.7.3, FreeBSD:0.7, LTSHaskell:0.7.3, NixOS:0.7.3, Stackage:0.7.3, openSUSE:0.7.3
Reverse Dependencies 133 direct, 14596 indirect [details]
Downloads 320934 total (272 in the last 30 days)
Rating 2.25 (votes: 2) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2019-05-10 [all 1 reports]

Readme for void-0.7.3

[back to package description]


Hackage Build Status

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