Data.Void

Documentation

data Void

A logically uninhabited data type.

Instances

Eq Void

Data Void

Ord Void

Read Void

Reading a Void value is always a parse error, considering Void as a data type with no constructors.

Show Void

Ix Void

Typeable Void

Generic Void

Exception Void

Hashable Void

Semigroup Void

absurd :: Void -> a

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