Data.Void
Data.Void
| 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 |
Description
A logically uninhabited data type, used to indicate that a given term should not exist.
Since: 4.8.0.0
Uninhabited data type