void-0.5.5: A Haskell 98 logically uninhabited data type
Data.Void
Description
Synopsis
data Void Source
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