| 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 |
Data.Void
Description
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
Instances
| 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