void-0.6.1: A Haskell 98 logically uninhabited data type

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

Data.Void.Unsafe

Description

 

Synopsis

Documentation

unsafeVacuous :: Functor f => f Void -> f aSource

If Void is uninhabited than any Functor that holds only values of the type Void is holding no values.

This is only safe for valid functors that do not perform GADT-like analysis on the argument.

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

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

This is only safe for valid monads that do not perform GADT-like analysis on the argument.