Copyright | (C) 2008-2014 Edward Kmett |
---|---|
License | BSD-style (see the file libraries/base/LICENSE) |
Maintainer | Edward Kmett <[email protected]> |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell2010 |
A logically uninhabited data type, used to indicate that a given term should not exist.
Since: 4.8.0.0
Uninhabited data type
Since: 4.8.0.0
Eq Void | Since: 4.8.0.0 |
Data Void | |
Ord Void | Since: 4.8.0.0 |
Read Void | Reading a |
Show Void | Since: 4.8.0.0 |
Ix Void | Since: 4.8.0.0 |
Generic Void | |
Semigroup Void | Since: 4.9.0.0 |
Exception Void | Since: 4.8.0.0 |
type Rep Void | |
Since Void
values logically don't exist, this witnesses the logical reasoning tool of "ex falso quodlibet".
Since: 4.8.0.0
vacuous :: Functor f => f Void -> f a Source
If Void
is uninhabited then any Functor
that holds only values of type Void
is holding no values.
Since: 4.8.0.0
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/8.2.1/docs/html/libraries/base-4.10.0.0/Data-Void.html