void-0.5.4: A Haskell 98 logically uninhabited data type

Portabilityportable
Stabilityprovisional
MaintainerEdward Kmett <ekmett@gmail.com>

Data.Void

Description

 

Synopsis

Documentation

absurd :: Void -> aSource

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

vacuous :: Functor f => f Void -> f aSource