void-0.4: A Haskell 98 logically uninhabited data type

Portabilityportable
Stabilityprovisional
MaintainerEdward Kmett <ekmett@gmail.com>

Data.Void

Description

 

Synopsis

Documentation

data Void Source

Instances

absurd :: Void -> aSource

Since Void values are logically uninhabited, this witnesses the logical reasoning tool of 'ex falso quodlibet'.