void-0.5.6: A Haskell 98 logically uninhabited data type

Portabilityportable
Stabilityprovisional
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellNone

Data.Void

Description

 

Synopsis

Documentation

data Void

Instances

absurd :: Void -> a

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

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

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