Commit 4a37a29b authored by Mario Blažević's avatar Mario Blažević Committed by Marge Bot
Browse files

Fixed issue #17435, missing Data instances

parent 34515e7c
Pipeline #12904 passed with stages
in 581 minutes and 57 seconds
......@@ -131,6 +131,8 @@ import GHC.Show
import Text.Read( reads )
-- Imports for the instances
import Control.Applicative (WrappedArrow(..), WrappedMonad(..), ZipList(..))
-- So we can give them Data instances
import Data.Functor.Identity -- So we can give Data instance for Identity
import Data.Int -- So we can give Data instance for Int8, ...
import Data.Type.Coercion
......@@ -1156,6 +1158,18 @@ instance Data a => Data [a] where
------------------------------------------------------------------------------
-- | @since 4.14.0.0
deriving instance (Typeable (a :: Type -> Type -> Type), Typeable b, Typeable c,
Data (a b c))
=> Data (WrappedArrow a b c)
-- | @since 4.14.0.0
deriving instance (Typeable (m :: Type -> Type), Typeable a, Data (m a))
=> Data (WrappedMonad m a)
-- | @since 4.14.0.0
deriving instance Data a => Data (ZipList a)
-- | @since 4.9.0.0
deriving instance Data a => Data (NonEmpty a)
......
......@@ -44,6 +44,8 @@
* Add `resizeSmallMutableArray#` to `GHC.Exts`.
* Add a `Data` instance to `WrappedArrow`, `WrappedMonad`, and `ZipList`.
## 4.13.0.0 *July 2019*
* Bundled with GHC 8.8.1
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment