void

A Haskell 98 logically uninhabited data type http://github.com/ekmett/void

Version on this page:	0.7
LTS Haskell 8.23:	0.7.2
Stackage Nightly 2017-07-21:	0.7.2
Latest on Hackage:	0.7.2

BSD3 licensed by Edward A. Kmett

Maintained by Edward A. Kmett

Module documentation for 0.7

Data
- Data.Void
  - Data.Void.Unsafe

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

0.7.2

Only depend on deepseq, hashable, and semigroups if using GHC 7.8 or earlier.
Cleaned up spurious "redundant constraint" warnings on GHC 8+

0.7.1

Support semigroups 0.17 on older GHCs
Backported NFData's semigroup instance to older GHCs.

0.7

adapt to Data.Void being moved into base-4.8
vacuousM removed

0.6

instance Exception Void
instance Generic Void
instance Hashable Void

0.5.12

Fixed compatibility with GHC 7.2 (#6)
Added CHANGELOG.markdown and README.markdown

Depends on:

Used by 72 packages:

ACME, Cascade, Frank, HStringTemplate, LogicGrowsOnTrees, OnRmt, TeX-my-math, adjunctions, aeson-better-errors, algebra, audiovisual, bert, butcher, bytes, categorical-algebra, categories, category-extras, cg, classy-prelude-conduit, combinator-interactive, conceit, conduit-combinators, conduit-resumablesink, constrained-categories, contravariant, data-msgpack, data-msgpack-types, discrimination, dynamic-cabal, effects, equational-reasoning, extensible-effects, foldl-transduce, free-game, fusion, gpx-conduit, graphs, hask, hoq, large-hashable, lens, linear, luminance, machines, manifolds, objective, opaleye, opaleye-sqlite, optparse-generic, ord-adhoc, pcf, pipes, pipes-concurrency, pipes-core, pipes-transduce, pontarius-xmpp, process-streaming, proto-lens, react-haskell, rebase, server-generic, stm-conduit, store, sylvia, text-show, total, twiml, universe-instances-extended, wai-extra, wai-middleware-consul, yesod-platform, yet-another-logger

comments powered byDisqus