void
A Haskell 98 logically uninhabited data type http://github.com/ekmett/void
| Version on this page: | 0.7 |
| LTS Haskell 13.3: | 0.7.2 |
| Stackage Nightly 2019-01-19: | 0.7.2 |
| Latest on Hackage: | 0.7.2 |
Maintained by Edward A. Kmett
Module documentation for 0.7
- Data
- Data.Void
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
Depends on 1 package:
Used by 75 packages:
ACME, adjunctions, aeson-better-errors, algebra, amazonka, audiovisual, bert, butcher, bytes, Cascade, categorical-algebra, categories, category-extras, cg, classy-prelude-conduit, combinator-interactive, conceit, conduit-resumablesink, constrained-categories, data-msgpack-types, discrimination, dynamic-cabal, effects, emacs-module, equational-reasoning, foldl-transduce, Frank, free-game, fusion, gpx-conduit, graphs, hadolint, hask, hoq, hs-conllu, HStringTemplate, large-hashable, lens, linear, LogicGrowsOnTrees, and many more
comments powered byDisqus