Add Eq, Ord, Show, and Read instances for Const
authorFumiaki Kinoshita <fumiexcel@gmail.com>
Wed, 14 Jan 2015 11:41:30 +0000 (20:41 +0900)
committerHerbert Valerio Riedel <hvr@gnu.org>
Wed, 14 Jan 2015 19:52:06 +0000 (20:52 +0100)
As suggested in

https://www.haskell.org/pipermail/libraries/2013-October/021531.html

this adds the following instances

 - `Show a => Show (Const a b)`
 - `Read a => Read (Const a b)`
 - `Eq a   => Eq   (Const a b)`
 - `Ord a  => Ord  (Const a b)`

The Read/Show instances are defined in such a way as if `Const` was defined
without record-syntax (i.e. as `newtype Const a b = Const a`)

Addresses #9984

Reviewed By: ekmett

Differential Revision: https://phabricator.haskell.org/D619

libraries/base/Control/Applicative.hs
libraries/base/changelog.md

index a0627e4..02062e2 100644 (file)
@@ -61,11 +61,19 @@ import Data.Functor ((<$>))
 import GHC.Base
 import GHC.Generics
 import GHC.List (repeat, zipWith)
-import GHC.Read (Read)
-import GHC.Show (Show)
+import GHC.Read (Read(readsPrec), readParen, lex)
+import GHC.Show (Show(showsPrec), showParen, showString)
 
 newtype Const a b = Const { getConst :: a }
-                  deriving (Generic, Generic1, Monoid)
+                  deriving (Generic, Generic1, Monoid, Eq, Ord)
+
+instance Read a => Read (Const a b) where
+    readsPrec d = readParen (d > 10)
+        $ \r -> [(Const x,t) | ("Const", s) <- lex r, (x, t) <- readsPrec 11 s]
+
+instance Show a => Show (Const a b) where
+    showsPrec d (Const x) = showParen (d > 10) $
+                            showString "Const " . showsPrec 11 x
 
 instance Foldable (Const m) where
     foldMap _ _ = mempty
index 76a6a19..83ae5e4 100644 (file)
   * There are now `Foldable` and `Traversable` instances for `Either a`,
    `Const r`, and `(,) a`.
 
-  * There is now a `Monoid`, `Generic`, and `Generic1` instance for `Const`.
+  * There are now `Show`, `Read`, `Eq`, `Ord`, `Monoid`, `Generic`, and
+    `Generic1` instances for `Const`.
 
   * There is now a `Data` instance for `Data.Version`.