void-0.5.6: A Haskell 98 logically uninhabited data type

Portabilityportable
Stabilityprovisional
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellSafe-Infered

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'.

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

vacuousM :: Monad m => m Void -> m aSource