void: A Haskell 98 logically uninhabited data type

[ bsd3, data-structures, library ] [ Propose Tags ]
Versions 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
Change log CHANGELOG.markdown
Dependencies base (>=3 && <10), deepseq (>=1.1 && <1.5), ghc‑prim, hashable (>=1.1), semigroups (>=0.8.2) [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 EdwardKmett at Sat Mar 25 04:22:58 UTC 2017
Distributions Arch:0.7.2, Debian:0.7.1, Fedora:0.7.2, FreeBSD:0.7, LTSHaskell:0.7.2, NixOS:0.7.2, Stackage:0.7.2, openSUSE:0.7.2
Downloads 273877 total (273 in the last 30 days)
Rating 2.25 (votes: 2) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2017-03-25 [all 1 reports]
Hackage Matrix CI

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

[Skip to Readme]





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


Maintainer's Corner

For package maintainers and hackage trustees

Readme for void-0.7.2

[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