X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Data%2FEither.hs;fp=Data%2FEither.hs;h=0c72f97ed392c7e25a4001cd8ac6046cd661d398;hb=9d3a29e4b8feff1387fc26d3d6431356e1c74d51;hp=b45609b005a140e1b404fbd054dd580b11110890;hpb=092841be56472fe1dae12f745df6a72abbf44c40;p=ghc-base.git diff --git a/Data/Either.hs b/Data/Either.hs index b45609b..0c72f97 100644 --- a/Data/Either.hs +++ b/Data/Either.hs @@ -1,6 +1,6 @@ {-# LANGUAGE CPP, NoImplicitPrelude #-} #ifdef __GLASGOW_HASKELL__ -{-# LANGUAGE DeriveDataTypeable, StandaloneDeriving #-} +{-# LANGUAGE DeriveDataTypeable, DeriveRepresentable, StandaloneDeriving #-} #endif ----------------------------------------------------------------------------- @@ -34,6 +34,7 @@ import GHC.Read #endif import Data.Typeable +import GHC.Generics (Representable0) #ifdef __GLASGOW_HASKELL__ {- @@ -51,7 +52,8 @@ either correct or an error; by convention, the 'Left' constructor is used to hold an error value and the 'Right' constructor is used to hold a correct value (mnemonic: \"right\" also means \"correct\"). -} -data Either a b = Left a | Right b deriving (Eq, Ord, Read, Show) +data Either a b = Left a | Right b + deriving (Eq, Ord, Read, Show, Representable0) -- | Case analysis for the 'Either' type. -- If the value is @'Left' a@, apply the first function to @a@;