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]

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
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.5.0.0 && <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, 14506 indirect [details]
Downloads 319974 total (235 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]

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