void: A Haskell 98 logically uninhabited data type

[ bsd3, data-structures, library ] [ Propose Tags ] [ Report a vulnerability ]

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


[Skip to Readme]

Modules

[Index] [Quick Jump]

Flags

Manual Flags

NameDescriptionDefault
safeDisabled

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

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • 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.4.1, 0.5.4.2, 0.5.4.3, 0.5.5, 0.5.5.1, 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, 0.7.4
Change log CHANGELOG.markdown
Dependencies base (>=3 && <10) [details]
Tested with ghc ==9.12.2, ghc ==9.10.3, ghc ==9.8.4, ghc ==9.6.6, ghc ==9.4.8, ghc ==9.2.8, ghc ==9.0.2, ghc ==8.10.7, ghc ==8.8.4, ghc ==8.6.5, ghc ==8.4.4, ghc ==8.2.2, ghc ==8.0.2
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 https://github.com/ekmett/void.git
Uploaded by ryanglscott at 2025-12-08T12:14:10Z
Distributions Arch:0.7.3, Debian:0.7.3, Fedora:0.7.3, FreeBSD:0.7, LTSHaskell:0.7.4, NixOS:0.7.3, Stackage:0.7.4, openSUSE:0.7.3
Reverse Dependencies 134 direct, 15510 indirect [details]
Downloads 323495 total (58 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 2025-12-08 [all 1 reports]

Readme for void-0.7.4

[back to package description]

void

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