Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Documentation
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