void 0.5.11 → 0.5.12

raw patch · 5 files changed

+31/−7 lines, 5 filesdep ~base

Dependency ranges changed: base

Files

CHANGELOG.markdown +4/−0
Data/Void.hs +9/−4
Data/Void/Unsafe.hs +1/−1
README.markdown +15/−0
void.cabal +2/−2

+ CHANGELOG.markdown view

@@ -0,0 +1,4 @@+0.5.12+------+* Fixed compatibility with GHC 7.2 (#6)+* Added `CHANGELOG.markdown` and `README.markdown`

Data/Void.hs view

@@ -31,18 +31,23 @@ #else newtype Void = Void Void #endif-  deriving-  ( Show, Read #ifdef LANGUAGE_DeriveDataTypeable-  , Data, Typeable+  deriving (Data, Typeable) #endif-  )  instance Eq Void where   _ == _ = True  instance Ord Void where   compare _ _ = EQ++instance Show Void where+  showsPrec _ = absurd++-- | Reading a 'Void' value is always a parse error, considering 'Void' as+-- a data type with no constructors.+instance Read Void where+  readsPrec _ _ = []  -- | Since 'Void' values logically don't exist, this witnesses the logical -- reasoning tool of \"ex falso quodlibet\".

Data/Void/Unsafe.hs view

@@ -1,5 +1,5 @@ {-# LANGUAGE CPP #-}-#if !defined(SAFE) && defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702+#if !defined(SAFE) && defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 704 #define UNSAFE {-# LANGUAGE Unsafe #-} #endif

+ README.markdown view

@@ -0,0 +1,15 @@+void+====++[![Build Status](https://secure.travis-ci.org/ekmett/void.png?branch=master)](http://travis-ci.org/ekmett/void)++This package provides a canonical 'uninhabited' data type for Haskell. This arises in a surprisingly wide array of situations in practice.++Contact Information+-------------------++Contributions and bug reports are welcome!++Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net.++-Edward Kmett

void.cabal view

@@ -1,6 +1,6 @@ name:          void category:      Data Structures-version:       0.5.11+version:       0.5.12 license:       BSD3 cabal-version: >= 1.6 license-file:  LICENSE@@ -14,7 +14,7 @@ description:   A Haskell 98 logically uninhabited data type, used to indicate that a given term should not exist. build-type:    Simple -extra-source-files: .travis.yml+extra-source-files: .travis.yml CHANGELOG.markdown README.markdown  source-repository head   type: git