void-0.5.7: A Haskell 98 logically uninhabited data type

Portabilityportable
Stabilityprovisional
MaintainerEdward Kmett <[email protected]>
Safe HaskellSafe-Infered

Data.Void

Description

 

Synopsis

Documentation

data Void Source

A logically uninhabited data type.

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

If Void is uninhabited then any Functor that holds values of type Void is holding no values.

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

If Void is uninhabited then any Monad that holds values of type Void is holding no values.