void-0.5.8: A Haskell 98 logically uninhabited data type

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

Data.Void

Description

 

Synopsis

Documentation

data Void Source

A logically uninhabited data type.

absurd :: Void -> aSource

Since Void values logically don't exist, 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 only 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.