Data.Void

Documentation

data Void

A logically uninhabited data type.

Instances

Eq Void

Data Void

Ord Void

Read Void

Show Void

Ix Void

Typeable Void

Semigroup Void

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

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

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

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