Logically uninhabited data type
A Haskell 98 logically uninhabited data type, used to indicate that a given term should not exist.
| System | Target | Derivation | Build status |
|---|---|---|---|
| x86_64-linux | /gnu/store/04l7rl7dshaz09wjciz8grklsa1qlm42-ghc-void-0.7.3.drv | ||
| mips64el-linux | /gnu/store/andi7my338ac1hdbqxpzrbivrmkb2qrw-ghc-void-0.7.3.drv | ||
| i686-linux | /gnu/store/q64nwgddkp0d436v970ilrdx77c758m3-ghc-void-0.7.3.drv | ||
| armhf-linux | /gnu/store/dmcvk3ni02hpn18niy83sairchi5r5d0-ghc-void-0.7.3.drv | ||
| aarch64-linux | /gnu/store/9r9b6cl4gz3r19zw9zzwnnjdg62qax3k-ghc-void-0.7.3.drv |
| Linter | Message | Location |
|---|---|---|
| No lint warnings ✓ | ||