void 0.3 → 0.4

raw patch · 2 files changed

+7/−5 lines, 2 files

Files

Data/Void.hs +6/−4
void.cabal +1/−1

Data/Void.hs view

@@ -1,7 +1,7 @@ ----------------------------------------------------------------------------- -- | -- Module      :  Data.Void--- Copyright   :  (C) 2008 Edward Kmett+-- Copyright   :  (C) 2008-2011 Edward Kmett -- License     :  BSD-style (see the file LICENSE) -- -- Maintainer  :  Edward Kmett <ekmett@gmail.com>@@ -9,9 +9,11 @@ -- Portability :  portable -- -----------------------------------------------------------------------------module Data.Void (Void, void) where+module Data.Void (Void, absurd) where  newtype Void = Void Void deriving (Eq,Ord,Show,Read) -void :: Void -> a-void (Void a) = void a+-- | Since Void values are logically uninhabited, this witnesses the logical+-- reasoning tool of 'ex falso quodlibet'.+absurd :: Void -> a+absurd (Void a) = absurd a

void.cabal view

@@ -1,6 +1,6 @@ name:          void category:      Data Structures-version:       0.3+version:       0.4 license:       BSD3 cabal-version: >= 1.6 license-file:  LICENSE