Copyright | (C) 2008-2014 Edward Kmett |
---|---|
License | BSD-style (see the file libraries/base/LICENSE) |
Maintainer | Edward Kmett <ekmett@gmail.com> |
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
Documentation
Uninhabited data type
Since: 4.8.0.0
Eq Void Source # | Since: 4.8.0.0 |
Data Void Source # | |
Ord Void Source # | Since: 4.8.0.0 |
Read Void Source # | Reading a |
Show Void Source # | Since: 4.8.0.0 |
Ix Void Source # | Since: 4.8.0.0 |
Generic Void Source # | |
Semigroup Void Source # | Since: 4.9.0.0 |
Exception Void Source # | Since: 4.8.0.0 |
type Rep Void Source # | |
Since Void
values logically don't exist, this witnesses the
logical reasoning tool of "ex falso quodlibet".
Since: 4.8.0.0