Teo Camarasu pushed to branch wip/T26930 at Glasgow Haskell Compiler / GHC

Commits:

20 changed files:

Changes:

  • libraries/ghc-internal/src/GHC/Internal/ByteOrder.hs
    ... ... @@ -27,8 +27,6 @@ module GHC.Internal.ByteOrder
    27 27
    28 28 
     import GHC.Internal.Base
    29 29 
     import GHC.Internal.Enum
    30 
    -import GHC.Internal.Generics (Generic)
    31 
    -import GHC.Internal.Text.Read
    32 30 
     import GHC.Internal.Text.Show
    33 31
    34 32 
     -- | Byte ordering.
    ... ... @@ -39,9 +37,7 @@ data ByteOrder
    39 37 
                  , Ord     -- ^ @since base-4.11.0.0
    40 38 
                  , Bounded -- ^ @since base-4.11.0.0
    41 39 
                  , Enum    -- ^ @since base-4.11.0.0
    42 
    -             , Read    -- ^ @since base-4.11.0.0
    43 40 
                  , Show    -- ^ @since base-4.11.0.0
    44 
    -             , Generic -- ^ @since base-4.15.0.0
    45 41 
                  )
    46 42
    47 43 
     -- | The byte ordering of the target machine.

  • libraries/ghc-internal/src/GHC/Internal/ByteOrder.hs-boot deleted
    1 
    -{-# LANGUAGE NoImplicitPrelude #-}
    2 
    -
    3 
    -{-
    4 
    -This SOURCE-imported hs-boot module cuts a big dependency loop:
    5 
    -
    6 
    -module ‘GHC.Stable’
    7 
    -imports module ‘GHC.Ptr’
    8 
    -imports module ‘Numeric’
    9 
    -imports module ‘GHC.Read’
    10 
    -imports module ‘GHC.Unicode’
    11 
    -imports module ‘GHC.Unicode.Internal.Char.UnicodeData.GeneralCategory’
    12 
    -imports module ‘GHC.Unicode.Internal.Bits’
    13 
    -imports module ‘GHC.ByteOrder’
    14 
    -imports module ‘GHC.Generics’
    15 
    -imports module ‘Data.Ord’
    16 
    -imports module ‘Foreign.Storable’
    17 
    -imports module ‘GHC.Stable’
    18 
    --}
    19 
    -
    20 
    -module GHC.Internal.ByteOrder where
    21 
    -
    22 
    --- See W1 of Note [Tracking dependencies on primitives] in GHC.Internal.Base
    23 
    -import GHC.Internal.Types ()
    24 
    -
    25 
    -data ByteOrder
    26 
    -    = BigEndian
    27 
    -    | LittleEndian
    28 
    -
    29 
    -targetByteOrder :: ByteOrder

  • libraries/ghc-internal/src/GHC/Internal/Control/Monad/Fix.hs
    ... ... @@ -36,7 +36,6 @@ import GHC.Internal.Data.NonEmpty ( NonEmpty(..) )
    36 36 
     import GHC.Internal.Data.Ord ( Down(..) )
    37 37 
     import GHC.Internal.Data.Tuple ( Solo(..), snd )
    38 38 
     import GHC.Internal.Base ( Monad, errorWithoutStackTrace, (.) )
    39 
    -import GHC.Internal.Generics
    40 39 
     import GHC.Internal.List ( head, drop )
    41 40 
     import GHC.Internal.Control.Monad.ST.Imp
    42 41 
     import GHC.Internal.System.IO
    ... ... @@ -146,26 +145,6 @@ instance MonadFix f => MonadFix (Alt f) where
    146 145 
     instance MonadFix f => MonadFix (Ap f) where
    147 146 
         mfix f   = Ap (mfix (getAp . f))
    148 147
    149 
    --- Instances for GHC.Generics
    150 
    --- | @since base-4.9.0.0
    151 
    -instance MonadFix Par1 where
    152 
    -    mfix f = Par1 (fix (unPar1 . f))
    153 
    -
    154 
    --- | @since base-4.9.0.0
    155 
    -instance MonadFix f => MonadFix (Rec1 f) where
    156 
    -    mfix f = Rec1 (mfix (unRec1 . f))
    157 
    -
    158 
    --- | @since base-4.9.0.0
    159 
    -instance MonadFix f => MonadFix (M1 i c f) where
    160 
    -    mfix f = M1 (mfix (unM1. f))
    161 
    -
    162 
    --- | @since base-4.9.0.0
    163 
    -instance (MonadFix f, MonadFix g) => MonadFix (f :*: g) where
    164 
    -    mfix f = (mfix (fstP . f)) :*: (mfix (sndP . f))
    165 
    -      where
    166 
    -        fstP (a :*: _) = a
    167 
    -        sndP (_ :*: b) = b
    168 
    -
    169 148 
     -- Instances for Data.Ord
    170 149
    171 150 
     -- | @since base-4.12.0.0

  • libraries/ghc-internal/src/GHC/Internal/Data/Foldable.hs
    ... ... @@ -64,7 +64,6 @@ import GHC.Internal.Arr ( Array(..), elems, numElements,
    64 64 
                       foldlElems', foldrElems',
    65 65 
                       foldl1Elems, foldr1Elems)
    66 66 
     import GHC.Internal.Base hiding ( foldr )
    67 
    -import GHC.Internal.Generics
    68 67 
     import GHC.Internal.Tuple (Solo (..))
    69 68 
     import GHC.Internal.Num  ( Num(..) )
    70 69
    ... ... @@ -859,67 +858,6 @@ instance (Foldable f) => Foldable (Alt f) where
    859 858 
     instance (Foldable f) => Foldable (Ap f) where
    860 859 
         foldMap f = foldMap f . getAp
    861 860
    862 
    --- Instances for GHC.Generics
    863 
    --- | @since base-4.9.0.0
    864 
    -instance Foldable U1 where
    865 
    -    foldMap _ _ = mempty
    866 
    -    {-# INLINE foldMap #-}
    867 
    -    fold _ = mempty
    868 
    -    {-# INLINE fold #-}
    869 
    -    foldr _ z _ = z
    870 
    -    {-# INLINE foldr #-}
    871 
    -    foldl _ z _ = z
    872 
    -    {-# INLINE foldl #-}
    873 
    -    foldl1 _ _ = errorWithoutStackTrace "foldl1: U1"
    874 
    -    foldr1 _ _ = errorWithoutStackTrace "foldr1: U1"
    875 
    -    length _   = 0
    876 
    -    null _     = True
    877 
    -    elem _ _   = False
    878 
    -    sum _      = 0
    879 
    -    product _  = 1
    880 
    -
    881 
    --- | @since base-4.9.0.0
    882 
    -deriving instance Foldable V1
    883 
    -
    884 
    --- | @since base-4.9.0.0
    885 
    -deriving instance Foldable Par1
    886 
    -
    887 
    --- | @since base-4.9.0.0
    888 
    -deriving instance Foldable f => Foldable (Rec1 f)
    889 
    -
    890 
    --- | @since base-4.9.0.0
    891 
    -deriving instance Foldable (K1 i c)
    892 
    -
    893 
    --- | @since base-4.9.0.0
    894 
    -deriving instance Foldable f => Foldable (M1 i c f)
    895 
    -
    896 
    --- | @since base-4.9.0.0
    897 
    -deriving instance (Foldable f, Foldable g) => Foldable (f :+: g)
    898 
    -
    899 
    --- | @since base-4.9.0.0
    900 
    -deriving instance (Foldable f, Foldable g) => Foldable (f :*: g)
    901 
    -
    902 
    --- | @since base-4.9.0.0
    903 
    -deriving instance (Foldable f, Foldable g) => Foldable (f :.: g)
    904 
    -
    905 
    --- | @since base-4.9.0.0
    906 
    -deriving instance Foldable UAddr
    907 
    -
    908 
    --- | @since base-4.9.0.0
    909 
    -deriving instance Foldable UChar
    910 
    -
    911 
    --- | @since base-4.9.0.0
    912 
    -deriving instance Foldable UDouble
    913 
    -
    914 
    --- | @since base-4.9.0.0
    915 
    -deriving instance Foldable UFloat
    916 
    -
    917 
    --- | @since base-4.9.0.0
    918 
    -deriving instance Foldable UInt
    919 
    -
    920 
    --- | @since base-4.9.0.0
    921 
    -deriving instance Foldable UWord
    922 
    -
    923 861 
     -- Instances for Data.Ord
    924 862 
     -- | @since base-4.12.0.0
    925 863 
     deriving instance Foldable Down

  • libraries/ghc-internal/src/GHC/Internal/Data/Functor/Const.hs
    ... ... @@ -29,7 +29,6 @@ import GHC.Internal.Ix (Ix)
    29 29 
     import GHC.Internal.Base
    30 30 
     import GHC.Internal.Enum (Bounded, Enum)
    31 31 
     import GHC.Internal.Float (Floating, RealFloat)
    32 
    -import GHC.Internal.Generics (Generic, Generic1)
    33 32 
     import GHC.Internal.Num (Num)
    34 33 
     import GHC.Internal.Real (Fractional, Integral, Real, RealFrac)
    35 34 
     import GHC.Internal.Read (Read(readsPrec), readParen, lex)
    ... ... @@ -57,8 +56,6 @@ newtype Const a b = Const { getConst :: a }
    57 56 
                  , FiniteBits -- ^ @since base-4.9.0.0
    58 57 
                  , Floating   -- ^ @since base-4.9.0.0
    59 58 
                  , Fractional -- ^ @since base-4.9.0.0
    60 
    -             , Generic    -- ^ @since base-4.9.0.0
    61 
    -             , Generic1   -- ^ @since base-4.9.0.0
    62 59 
                  , Integral   -- ^ @since base-4.9.0.0
    63 60 
                  , Ix         -- ^ @since base-4.9.0.0
    64 61 
                  , Semigroup  -- ^ @since base-4.9.0.0

  • libraries/ghc-internal/src/GHC/Internal/Data/Functor/Identity.hs
    ... ... @@ -44,7 +44,6 @@ import GHC.Internal.Base ( Applicative(..), Eq(..), Functor(..), Monad(..)
    44 44 
                     , Semigroup, Monoid, Ord(..), ($), (.) )
    45 45 
     import GHC.Internal.Enum (Bounded, Enum)
    46 46 
     import GHC.Internal.Float (Floating, RealFloat)
    47 
    -import GHC.Internal.Generics (Generic, Generic1)
    48 47 
     import GHC.Internal.Num (Num)
    49 48 
     import GHC.Internal.Read (Read(..), lex, readParen)
    50 49 
     import GHC.Internal.Real (Fractional, Integral, Real, RealFrac)
    ... ... @@ -78,8 +77,6 @@ newtype Identity a = Identity { runIdentity :: a }
    78 77 
                  , FiniteBits -- ^ @since base-4.9.0.0
    79 78 
                  , Floating   -- ^ @since base-4.9.0.0
    80 79 
                  , Fractional -- ^ @since base-4.9.0.0
    81 
    -             , Generic    -- ^ @since base-4.8.0.0
    82 
    -             , Generic1   -- ^ @since base-4.8.0.0
    83 80 
                  , Integral   -- ^ @since base-4.9.0.0
    84 81 
                  , Ix         -- ^ @since base-4.9.0.0
    85 82 
                  , Semigroup  -- ^ @since base-4.9.0.0

  • libraries/ghc-internal/src/GHC/Internal/Data/Monoid.hs
    1 
    -{-# LANGUAGE DeriveGeneric              #-}
    2 1 
     {-# LANGUAGE GeneralizedNewtypeDeriving #-}
    3 2 
     {-# LANGUAGE NoImplicitPrelude          #-}
    4 3 
     {-# LANGUAGE PolyKinds                  #-}
    ... ... @@ -85,7 +84,6 @@ module GHC.Internal.Data.Monoid (
    85 84 
     -- Push down the module in the dependency hierarchy.
    86 85 
     import GHC.Internal.Base hiding (Any)
    87 86 
     import GHC.Internal.Enum
    88 
    -import GHC.Internal.Generics
    89 87 
     import GHC.Internal.Num
    90 88 
     import GHC.Internal.Read
    91 89 
     import GHC.Internal.Show
    ... ... @@ -148,8 +146,6 @@ newtype First a = First { getFirst :: Maybe a }
    148 146 
                      , Ord         -- ^ @since base-2.01
    149 147 
                      , Read        -- ^ @since base-2.01
    150 148 
                      , Show        -- ^ @since base-2.01
    151 
    -                 , Generic     -- ^ @since base-4.7.0.0
    152 
    -                 , Generic1    -- ^ @since base-4.7.0.0
    153 149 
                      , Functor     -- ^ @since base-4.8.0.0
    154 150 
                      , Applicative -- ^ @since base-4.8.0.0
    155 151 
                      , Monad       -- ^ @since base-4.8.0.0
    ... ... @@ -190,8 +186,6 @@ newtype Last a = Last { getLast :: Maybe a }
    190 186 
                      , Ord         -- ^ @since base-2.01
    191 187 
                      , Read        -- ^ @since base-2.01
    192 188 
                      , Show        -- ^ @since base-2.01
    193 
    -                 , Generic     -- ^ @since base-4.7.0.0
    194 
    -                 , Generic1    -- ^ @since base-4.7.0.0
    195 189 
                      , Functor     -- ^ @since base-4.8.0.0
    196 190 
                      , Applicative -- ^ @since base-4.8.0.0
    197 191 
                      , Monad       -- ^ @since base-4.8.0.0
    ... ... @@ -225,8 +219,6 @@ newtype Ap f a = Ap { getAp :: f a }
    225 219 
                      , Enum        -- ^ @since base-4.12.0.0
    226 220 
                      , Eq          -- ^ @since base-4.12.0.0
    227 221 
                      , Functor     -- ^ @since base-4.12.0.0
    228 
    -                 , Generic     -- ^ @since base-4.12.0.0
    229 
    -                 , Generic1    -- ^ @since base-4.12.0.0
    230 222 
                      , Monad       -- ^ @since base-4.12.0.0
    231 223 
                      , MonadFail   -- ^ @since base-4.12.0.0
    232 224 
                      , MonadPlus   -- ^ @since base-4.12.0.0

  • libraries/ghc-internal/src/GHC/Internal/Data/Semigroup/Internal.hs
    1 1 
     {-# LANGUAGE NoImplicitPrelude #-}
    2 2 
     {-# LANGUAGE BangPatterns #-}
    3 
    -{-# LANGUAGE DeriveGeneric #-}
    4 3 
     {-# LANGUAGE GeneralizedNewtypeDeriving #-}
    5 4 
     {-# LANGUAGE PolyKinds #-}
    6 5 
     {-# LANGUAGE ScopedTypeVariables #-}
    ... ... @@ -26,7 +25,6 @@ import qualified GHC.Internal.List as List
    26 25 
     import GHC.Internal.Num
    27 26 
     import GHC.Internal.Read
    28 27 
     import GHC.Internal.Show
    29 
    -import GHC.Internal.Generics
    30 28 
     import GHC.Internal.Real
    31 29
    32 30 
     -- | This is a valid definition of 'stimes' for an idempotent 'Semigroup'.
    ... ... @@ -90,8 +88,6 @@ newtype Dual a = Dual { getDual :: a }
    90 88 
                      , Read     -- ^ @since base-2.01
    91 89 
                      , Show     -- ^ @since base-2.01
    92 90 
                      , Bounded  -- ^ @since base-2.01
    93 
    -                 , Generic  -- ^ @since base-4.7.0.0
    94 
    -                 , Generic1 -- ^ @since base-4.7.0.0
    95 91 
                      )
    96 92
    97 93 
     -- | @since base-4.9.0.0
    ... ... @@ -130,8 +126,6 @@ instance Monad Dual where
    130 126 
     -- >>> appEndo computation 1
    131 127 
     -- 6
    132 128 
     newtype Endo a = Endo { appEndo :: a -> a }
    133 
    -               deriving ( Generic -- ^ @since base-4.7.0.0
    134 
    -                        )
    135 129
    136 130 
     -- | @since base-4.9.0.0
    137 131 
     instance Semigroup (Endo a) where
    ... ... @@ -200,7 +194,6 @@ newtype All = All { getAll :: Bool }
    200 194 
                      , Read    -- ^ @since base-2.01
    201 195 
                      , Show    -- ^ @since base-2.01
    202 196 
                      , Bounded -- ^ @since base-2.01
    203 
    -                 , Generic -- ^ @since base-4.7.0.0
    204 197 
                      )
    205 198
    206 199 
     -- | @since base-4.9.0.0
    ... ... @@ -232,7 +225,6 @@ newtype Any = Any { getAny :: Bool }
    232 225 
                      , Read    -- ^ @since base-2.01
    233 226 
                      , Show    -- ^ @since base-2.01
    234 227 
                      , Bounded -- ^ @since base-2.01
    235 
    -                 , Generic -- ^ @since base-4.7.0.0
    236 228 
                      )
    237 229
    238 230 
     -- | @since base-4.9.0.0
    ... ... @@ -261,8 +253,6 @@ newtype Sum a = Sum { getSum :: a }
    261 253 
                      , Read     -- ^ @since base-2.01
    262 254 
                      , Show     -- ^ @since base-2.01
    263 255 
                      , Bounded  -- ^ @since base-2.01
    264 
    -                 , Generic  -- ^ @since base-4.7.0.0
    265 
    -                 , Generic1 -- ^ @since base-4.7.0.0
    266 256 
                      , Num      -- ^ @since base-4.7.0.0
    267 257 
                      )
    268 258
    ... ... @@ -309,8 +299,6 @@ newtype Product a = Product { getProduct :: a }
    309 299 
                      , Read     -- ^ @since base-2.01
    310 300 
                      , Show     -- ^ @since base-2.01
    311 301 
                      , Bounded  -- ^ @since base-2.01
    312 
    -                 , Generic  -- ^ @since base-4.7.0.0
    313 
    -                 , Generic1 -- ^ @since base-4.7.0.0
    314 302 
                      , Num      -- ^ @since base-4.7.0.0
    315 303 
                      )
    316 304
    ... ... @@ -355,9 +343,7 @@ instance Monad Product where
    355 343 
     --
    356 344 
     -- @since base-4.8.0.0
    357 345 
     newtype Alt f a = Alt {getAlt :: f a}
    358 
    -  deriving ( Generic     -- ^ @since base-4.8.0.0
    359 
    -           , Generic1    -- ^ @since base-4.8.0.0
    360 
    -           , Read        -- ^ @since base-4.8.0.0
    346 
    +  deriving ( Read        -- ^ @since base-4.8.0.0
    361 347 
                , Show        -- ^ @since base-4.8.0.0
    362 348 
                , Eq          -- ^ @since base-4.8.0.0
    363 349 
                , Ord         -- ^ @since base-4.8.0.0

  • libraries/ghc-internal/src/GHC/Internal/Data/Traversable.hs
    ... ... @@ -51,8 +51,7 @@ import GHC.Internal.Data.Proxy ( Proxy(..) )
    51 51
    52 52 
     import GHC.Internal.Arr
    53 53 
     import GHC.Internal.Base ( Applicative(..), Monad(..), Monoid, Maybe(..), NonEmpty(..),
    54 
    -                  ($), (.), id, flip )
    55 
    -import GHC.Internal.Generics
    54 
    +                  (.), id, flip, ($) )
    56 55 
     import qualified GHC.Internal.List as List ( foldr )
    57 56 
     import GHC.Internal.Tuple (Solo (..))
    58 57
    ... ... @@ -310,60 +309,6 @@ instance (Traversable f) => Traversable (Ap f) where
    310 309 
     deriving instance Traversable Identity
    311 310
    312 311
    313 
    --- Instances for GHC.Generics
    314 
    --- | @since base-4.9.0.0
    315 
    -instance Traversable U1 where
    316 
    -    traverse _ _ = pure U1
    317 
    -    {-# INLINE traverse #-}
    318 
    -    sequenceA _ = pure U1
    319 
    -    {-# INLINE sequenceA #-}
    320 
    -    mapM _ _ = pure U1
    321 
    -    {-# INLINE mapM #-}
    322 
    -    sequence _ = pure U1
    323 
    -    {-# INLINE sequence #-}
    324 
    -
    325 
    --- | @since base-4.9.0.0
    326 
    -deriving instance Traversable V1
    327 
    -
    328 
    --- | @since base-4.9.0.0
    329 
    -deriving instance Traversable Par1
    330 
    -
    331 
    --- | @since base-4.9.0.0
    332 
    -deriving instance Traversable f => Traversable (Rec1 f)
    333 
    -
    334 
    --- | @since base-4.9.0.0
    335 
    -deriving instance Traversable (K1 i c)
    336 
    -
    337 
    --- | @since base-4.9.0.0
    338 
    -deriving instance Traversable f => Traversable (M1 i c f)
    339 
    -
    340 
    --- | @since base-4.9.0.0
    341 
    -deriving instance (Traversable f, Traversable g) => Traversable (f :+: g)
    342 
    -
    343 
    --- | @since base-4.9.0.0
    344 
    -deriving instance (Traversable f, Traversable g) => Traversable (f :*: g)
    345 
    -
    346 
    --- | @since base-4.9.0.0
    347 
    -deriving instance (Traversable f, Traversable g) => Traversable (f :.: g)
    348 
    -
    349 
    --- | @since base-4.9.0.0
    350 
    -deriving instance Traversable UAddr
    351 
    -
    352 
    --- | @since base-4.9.0.0
    353 
    -deriving instance Traversable UChar
    354 
    -
    355 
    --- | @since base-4.9.0.0
    356 
    -deriving instance Traversable UDouble
    357 
    -
    358 
    --- | @since base-4.9.0.0
    359 
    -deriving instance Traversable UFloat
    360 
    -
    361 
    --- | @since base-4.9.0.0
    362 
    -deriving instance Traversable UInt
    363 
    -
    364 
    --- | @since base-4.9.0.0
    365 
    -deriving instance Traversable UWord
    366 
    -
    367 312 
     -- Instance for Data.Ord
    368 313 
     -- | @since base-4.12.0.0
    369 314 
     deriving instance Traversable Down

  • libraries/ghc-internal/src/GHC/Internal/Data/Version.hs
    ... ... @@ -43,7 +43,6 @@ import GHC.Internal.Data.List ( map, sort, concat, concatMap, intersperse
    43 43 
     import GHC.Internal.Data.Ord
    44 44 
     import GHC.Internal.Data.String      ( String )
    45 45 
     import GHC.Internal.Base             ( Applicative(..), (&&) )
    46 
    -import GHC.Internal.Generics
    47 46 
     import GHC.Internal.Unicode          ( isDigit, isAlphaNum )
    48 47 
     import GHC.Internal.Read
    49 48 
     import GHC.Internal.Show
    ... ... @@ -95,7 +94,6 @@ data Version =
    95 94 
             }
    96 95 
       deriving ( Read    -- ^ @since base-2.01
    97 96 
                , Show    -- ^ @since base-2.01
    98 
    -           , Generic -- ^ @since base-4.9.0.0
    99 97 
                )
    100 98 
     {-# DEPRECATED versionTags "See GHC ticket #2496" #-}
    101 99 
     -- TODO. Remove all references to versionTags in GHC 8.0 release.

  • libraries/ghc-internal/src/GHC/Internal/Functor/ZipList.hs
    1 1 
     {-# LANGUAGE NoImplicitPrelude #-}
    2 2 
     {-# LANGUAGE StandaloneDeriving #-}
    3 3 
     {-# LANGUAGE DeriveFunctor #-}
    4 
    -{-# LANGUAGE DeriveGeneric #-}
    5 4 
     {-# LANGUAGE DeriveFoldable #-}
    6 5
    7 6 
     module GHC.Internal.Functor.ZipList (ZipList(..)) where
    8 7
    9 8 
     import GHC.Internal.Base
    10 
    -import GHC.Internal.Generics
    11 9 
     import GHC.Internal.List (repeat, zipWith)
    12 10 
     import GHC.Internal.Read (Read)
    13 11 
     import GHC.Internal.Show (Show)
    ... ... @@ -41,8 +39,6 @@ newtype ZipList a = ZipList { getZipList :: [a] }
    41 39 
                                , Read     -- ^ @since base-4.7.0.0
    42 40 
                                , Functor  -- ^ @since base-2.01
    43 41 
                                , Foldable -- ^ @since base-4.9.0.0
    44 
    -                           , Generic  -- ^ @since base-4.7.0.0
    45 
    -                           , Generic1 -- ^ @since base-4.7.0.0
    46 42 
                                )
    47 43
    48 44

  • libraries/ghc-internal/src/GHC/Internal/Generics.hs
    ... ... @@ -3,7 +3,9 @@
    3 3 
     {-# LANGUAGE CPP                        #-}
    4 4 
     {-# LANGUAGE DataKinds                  #-}
    5 5 
     {-# LANGUAGE DeriveFunctor              #-}
    6 
    +{-# LANGUAGE DeriveFoldable             #-}
    6 7 
     {-# LANGUAGE DeriveGeneric              #-}
    8 
    +{-# LANGUAGE DeriveTraversable          #-}
    7 9 
     {-# LANGUAGE EmptyDataDeriving          #-}
    8 10 
     {-# LANGUAGE FlexibleContexts           #-}
    9 11 
     {-# LANGUAGE FlexibleInstances          #-}
    ... ... @@ -736,13 +738,13 @@ import GHC.Internal.Data.Ord ( Down(..) )
    736 738 
     import GHC.Internal.Bignum.Integer ( Integer, integerToInt )
    737 739 
     import GHC.Internal.Prim        ( Addr#, Char#, Double#, Float#, Int#, Word# )
    738 740 
     import GHC.Internal.Ptr         ( Ptr(..) )
    739 
    -import GHC.Internal.Types
    741 
    +import GHC.Internal.Types hiding (Any) -- clashes with the Semigroup
    740 742
    741 743 
     -- Needed for instances
    742 744 
     import GHC.Internal.Ix      ( Ix )
    743 745 
     import GHC.Internal.Base    ( Alternative(..), Applicative(..), Functor(..)
    744 746 
                        , Monad(..), MonadPlus(..), NonEmpty(..), String, coerce
    745 
    -                   , Semigroup(..), Monoid(..), Void )
    747 
    +                   , Semigroup(..), Void, errorWithoutStackTrace, (.) )
    746 748 
     import GHC.Internal.Classes ( Eq(..), Ord(..) )
    747 749 
     import GHC.Internal.Enum    ( Bounded, Enum )
    748 750 
     import GHC.Internal.Read    ( Read(..) )
    ... ... @@ -751,6 +753,18 @@ import GHC.Internal.Stack.Types ( SrcLoc(..) )
    751 753 
     import GHC.Internal.Tuple   (Solo (..))
    752 754 
     import GHC.Internal.Unicode ( GeneralCategory(..) )
    753 755 
     import GHC.Internal.Fingerprint.Type ( Fingerprint(..) )
    756 
    +import GHC.Internal.Data.Semigroup.Internal
    757 
    +import GHC.Internal.Data.Monoid
    758 
    +import GHC.Internal.Data.Foldable
    759 
    +import GHC.Internal.Data.Traversable
    760 
    +import GHC.Internal.Data.Functor.Const
    761 
    +import GHC.Internal.Data.Functor.Identity
    762 
    +import GHC.Internal.Functor.ZipList
    763 
    +import GHC.Internal.IO.Exception ( ExitCode(..) )
    764 
    +import GHC.Internal.ByteOrder ( ByteOrder(..) )
    765 
    +import GHC.Internal.Control.Monad.Fix
    766 
    +import GHC.Internal.RTS.Flags
    767 
    +import GHC.Internal.Data.Version
    754 768
    755 769 
     -- Needed for metadata
    756 770 
     import GHC.Internal.Data.Proxy   ( Proxy(..) )
    ... ... @@ -1879,3 +1893,260 @@ instance SingKind DecidedStrictness where
    1879 1893 
       fromSing SDecidedLazy   = DecidedLazy
    1880 1894 
       fromSing SDecidedStrict = DecidedStrict
    1881 1895 
       fromSing SDecidedUnpack = DecidedUnpack
    1896 
    +
    1897 
    +-- | @since base-4.7.0.0
    1898 
    +deriving instance Generic (Dual a)
    1899 
    +
    1900 
    +-- | @since base-4.7.0.0
    1901 
    +deriving instance Generic1 Dual
    1902 
    +
    1903 
    +-- | @since base-4.7.0.0
    1904 
    +deriving instance Generic (Endo a)
    1905 
    +
    1906 
    +-- | @since base-4.7.0.0
    1907 
    +deriving instance Generic All
    1908 
    +
    1909 
    +-- | @since base-4.7.0.0
    1910 
    +deriving instance Generic Any
    1911 
    +
    1912 
    +-- | @since base-4.7.0.0
    1913 
    +deriving instance Generic (Sum a)
    1914 
    +
    1915 
    +-- | @since base-4.7.0.0
    1916 
    +deriving instance Generic1 Sum
    1917 
    +
    1918 
    +-- | @since base-4.7.0.0
    1919 
    +deriving instance Generic (Product a)
    1920 
    +
    1921 
    +-- | @since base-4.7.0.0
    1922 
    +deriving instance Generic1 Product
    1923 
    +
    1924 
    +-- | @since base-4.8.0.0
    1925 
    +deriving instance Generic (Alt f a)
    1926 
    +
    1927 
    +-- | @since base-4.8.0.0
    1928 
    +deriving instance Generic1 (Alt f)
    1929 
    +
    1930 
    +-- | @since base-4.7.0.0
    1931 
    +deriving instance Generic (First a)
    1932 
    +
    1933 
    +-- | @since base-4.7.0.0
    1934 
    +deriving instance Generic1 First
    1935 
    +
    1936 
    +-- | @since base-4.7.0.0
    1937 
    +deriving instance Generic (Last a)
    1938 
    +
    1939 
    +-- | @since base-4.7.0.0
    1940 
    +deriving instance Generic1 Last
    1941 
    +
    1942 
    +-- | @since base-4.12.0.0
    1943 
    +deriving instance Generic (Ap f a)
    1944 
    +
    1945 
    +-- | @since base-4.12.0.0
    1946 
    +deriving instance Generic1 (Ap f)
    1947 
    +
    1948 
    +-- | @since base-4.9.0.0
    1949 
    +instance Foldable U1 where
    1950 
    +    foldMap _ _ = mempty
    1951 
    +    {-# INLINE foldMap #-}
    1952 
    +    fold _ = mempty
    1953 
    +    {-# INLINE fold #-}
    1954 
    +    foldr _ z _ = z
    1955 
    +    {-# INLINE foldr #-}
    1956 
    +    foldl _ z _ = z
    1957 
    +    {-# INLINE foldl #-}
    1958 
    +    foldl1 _ _ = errorWithoutStackTrace "foldl1: U1"
    1959 
    +    foldr1 _ _ = errorWithoutStackTrace "foldr1: U1"
    1960 
    +    length _   = 0
    1961 
    +    null _     = True
    1962 
    +    elem _ _   = False
    1963 
    +    sum _      = 0
    1964 
    +    product _  = 1
    1965 
    +
    1966 
    +-- | @since base-4.9.0.0
    1967 
    +deriving instance Foldable V1
    1968 
    +
    1969 
    +-- | @since base-4.9.0.0
    1970 
    +deriving instance Foldable Par1
    1971 
    +
    1972 
    +-- | @since base-4.9.0.0
    1973 
    +deriving instance Foldable f => Foldable (Rec1 f)
    1974 
    +
    1975 
    +-- | @since base-4.9.0.0
    1976 
    +deriving instance Foldable (K1 i c)
    1977 
    +
    1978 
    +-- | @since base-4.9.0.0
    1979 
    +deriving instance Foldable f => Foldable (M1 i c f)
    1980 
    +
    1981 
    +-- | @since base-4.9.0.0
    1982 
    +deriving instance (Foldable f, Foldable g) => Foldable (f :+: g)
    1983 
    +
    1984 
    +-- | @since base-4.9.0.0
    1985 
    +deriving instance (Foldable f, Foldable g) => Foldable (f :*: g)
    1986 
    +
    1987 
    +-- | @since base-4.9.0.0
    1988 
    +deriving instance (Foldable f, Foldable g) => Foldable (f :.: g)
    1989 
    +
    1990 
    +-- | @since base-4.9.0.0
    1991 
    +deriving instance Foldable UAddr
    1992 
    +
    1993 
    +-- | @since base-4.9.0.0
    1994 
    +deriving instance Foldable UChar
    1995 
    +
    1996 
    +-- | @since base-4.9.0.0
    1997 
    +deriving instance Foldable UDouble
    1998 
    +
    1999 
    +-- | @since base-4.9.0.0
    2000 
    +deriving instance Foldable UFloat
    2001 
    +
    2002 
    +-- | @since base-4.9.0.0
    2003 
    +deriving instance Foldable UInt
    2004 
    +
    2005 
    +-- | @since base-4.9.0.0
    2006 
    +deriving instance Foldable UWord
    2007 
    +
    2008 
    +-- | @since base-4.9.0.0
    2009 
    +instance Traversable U1 where
    2010 
    +    traverse _ _ = pure U1
    2011 
    +    {-# INLINE traverse #-}
    2012 
    +    sequenceA _ = pure U1
    2013 
    +    {-# INLINE sequenceA #-}
    2014 
    +    mapM _ _ = pure U1
    2015 
    +    {-# INLINE mapM #-}
    2016 
    +    sequence _ = pure U1
    2017 
    +    {-# INLINE sequence #-}
    2018 
    +
    2019 
    +-- | @since base-4.9.0.0
    2020 
    +deriving instance Traversable V1
    2021 
    +
    2022 
    +-- | @since base-4.9.0.0
    2023 
    +deriving instance Traversable Par1
    2024 
    +
    2025 
    +-- | @since base-4.9.0.0
    2026 
    +deriving instance Traversable f => Traversable (Rec1 f)
    2027 
    +
    2028 
    +-- | @since base-4.9.0.0
    2029 
    +deriving instance Traversable (K1 i c)
    2030 
    +
    2031 
    +-- | @since base-4.9.0.0
    2032 
    +deriving instance Traversable f => Traversable (M1 i c f)
    2033 
    +
    2034 
    +-- | @since base-4.9.0.0
    2035 
    +deriving instance (Traversable f, Traversable g) => Traversable (f :+: g)
    2036 
    +
    2037 
    +-- | @since base-4.9.0.0
    2038 
    +deriving instance (Traversable f, Traversable g) => Traversable (f :*: g)
    2039 
    +
    2040 
    +-- | @since base-4.9.0.0
    2041 
    +deriving instance (Traversable f, Traversable g) => Traversable (f :.: g)
    2042 
    +
    2043 
    +-- | @since base-4.9.0.0
    2044 
    +deriving instance Traversable UAddr
    2045 
    +
    2046 
    +-- | @since base-4.9.0.0
    2047 
    +deriving instance Traversable UChar
    2048 
    +
    2049 
    +-- | @since base-4.9.0.0
    2050 
    +deriving instance Traversable UDouble
    2051 
    +
    2052 
    +-- | @since base-4.9.0.0
    2053 
    +deriving instance Traversable UFloat
    2054 
    +
    2055 
    +-- | @since base-4.9.0.0
    2056 
    +deriving instance Traversable UInt
    2057 
    +
    2058 
    +-- | @since base-4.9.0.0
    2059 
    +deriving instance Traversable UWord
    2060 
    +
    2061 
    +-- | @since base-4.9.0.0
    2062 
    +deriving instance Generic (Const a b)
    2063 
    +
    2064 
    +-- | @since base-4.9.0.0
    2065 
    +deriving instance Generic1 (Const a)
    2066 
    +
    2067 
    +-- | @since base-4.8.0.0
    2068 
    +deriving instance Generic (Identity a)
    2069 
    +
    2070 
    +-- | @since base-4.8.0.0
    2071 
    +deriving instance Generic1 Identity
    2072 
    +
    2073 
    +-- | @since base-4.7.0.0
    2074 
    +deriving instance Generic (ZipList a)
    2075 
    +
    2076 
    +-- | @since base-4.7.0.0
    2077 
    +deriving instance Generic1 ZipList
    2078 
    +
    2079 
    +-- TODO: since when??
    2080 
    +deriving instance Generic ExitCode
    2081 
    +
    2082 
    +-- | @since base-4.15.0.0
    2083 
    +deriving instance Generic ByteOrder
    2084 
    +
    2085 
    +-- | @since base-4.9.0.0
    2086 
    +instance MonadFix Par1 where
    2087 
    +    mfix f = Par1 (fix (unPar1 . f))
    2088 
    +
    2089 
    +-- | @since base-4.9.0.0
    2090 
    +instance MonadFix f => MonadFix (Rec1 f) where
    2091 
    +    mfix f = Rec1 (mfix (unRec1 . f))
    2092 
    +
    2093 
    +-- | @since base-4.9.0.0
    2094 
    +instance MonadFix f => MonadFix (M1 i c f) where
    2095 
    +    mfix f = M1 (mfix (unM1. f))
    2096 
    +
    2097 
    +-- | @since base-4.9.0.0
    2098 
    +instance (MonadFix f, MonadFix g) => MonadFix (f :*: g) where
    2099 
    +    mfix f = (mfix (fstP . f)) :*: (mfix (sndP . f))
    2100 
    +      where
    2101 
    +        fstP (a :*: _) = a
    2102 
    +        sndP (_ :*: b) = b
    2103 
    +
    2104 
    +-- Instances for RTS.Flags
    2105 
    +
    2106 
    +-- | @since base-4.15.0.0
    2107 
    +deriving instance Generic GiveGCStats
    2108 
    +
    2109 
    +-- | @since base-4.15.0.0
    2110 
    +deriving instance Generic GCFlags
    2111 
    +
    2112 
    +-- | @since base-4.15.0.0
    2113 
    +deriving instance Generic ConcFlags
    2114 
    +
    2115 
    +-- | @since base-4.15.0.0
    2116 
    +deriving instance Generic MiscFlags
    2117 
    +
    2118 
    +-- | @since base-4.15.0.0
    2119 
    +deriving instance Generic DebugFlags
    2120 
    +
    2121 
    +-- | @since base-4.15.0.0
    2122 
    +deriving instance Generic DoCostCentres
    2123 
    +
    2124 
    +-- | @since base-4.15.0.0
    2125 
    +deriving instance Generic CCFlags
    2126 
    +
    2127 
    +-- | @since base-4.15.0.0
    2128 
    +deriving instance Generic DoHeapProfile
    2129 
    +
    2130 
    +-- | @since base-4.15.0.0
    2131 
    +deriving instance Generic ProfFlags
    2132 
    +
    2133 
    +-- | @since base-4.15.0.0
    2134 
    +deriving instance Generic DoTrace
    2135 
    +
    2136 
    +-- | @since base-4.15.0.0
    2137 
    +deriving instance Generic TraceFlags
    2138 
    +
    2139 
    +-- | @since base-4.15.0.0
    2140 
    +deriving instance Generic TickyFlags
    2141 
    +
    2142 
    +-- | @since base-4.15.0.0
    2143 
    +deriving instance Generic ParFlags
    2144 
    +
    2145 
    +-- | @since base-4.15.0.0
    2146 
    +deriving instance Generic HpcFlags
    2147 
    +
    2148 
    +-- | @since base-4.15.0.0
    2149 
    +deriving instance Generic RTSFlags
    2150 
    +
    2151 
    +-- | @since base-4.9.0.0
    2152 
    +deriving instance Generic Version

  • libraries/ghc-internal/src/GHC/Internal/IO/Exception.hs
    1 1 
     {-# LANGUAGE Trustworthy #-}
    2 
    -{-# LANGUAGE DeriveGeneric, NoImplicitPrelude, MagicHash,
    2 
    +{-# LANGUAGE NoImplicitPrelude, MagicHash,
    3 3 
                  ExistentialQuantification, ImplicitParams #-}
    4 4 
     {-# OPTIONS_GHC -funbox-strict-fields #-}
    5 5 
     {-# OPTIONS_HADDOCK not-home #-}
    ... ... @@ -52,7 +52,6 @@ module GHC.Internal.IO.Exception (
    52 52 
      ) where
    53 53
    54 54 
     import GHC.Internal.Base
    55 
    -import GHC.Internal.Generics
    56 55 
     import GHC.Internal.List
    57 56 
     import GHC.Internal.IO
    58 57 
     import GHC.Internal.Show
    ... ... @@ -306,7 +305,7 @@ data ExitCode
    306 305 
                     -- The exact interpretation of the code is
    307 306 
                     -- operating-system dependent.  In particular, some values
    308 307 
                     -- may be prohibited (e.g. 0 on a POSIX-compliant system).
    309 
    -  deriving (Eq, Ord, Read, Show, Generic)
    308 
    +  deriving (Eq, Ord, Read, Show)
    310 309
    311 310 
     -- | @since base-4.1.0.0
    312 311 
     instance Exception ExitCode

  • libraries/ghc-internal/src/GHC/Internal/RTS/Flags.hsc
    ... ... @@ -63,7 +63,6 @@ import GHC.Internal.Ptr
    63 63 
     import GHC.Internal.Word
    64 64 
     import GHC.Internal.Base
    65 65 
     import GHC.Internal.Enum
    66 
    -import GHC.Internal.Generics (Generic)
    67 66 
     import GHC.Internal.IO
    68 67 
     import GHC.Internal.Real
    69 68 
     import GHC.Internal.Show
    ... ... @@ -84,7 +83,6 @@ data GiveGCStats
    84 83 
         | SummaryGCStats
    85 84 
         | VerboseGCStats
    86 85 
         deriving ( Show -- ^ @since base-4.8.0.0
    87 
    -             , Generic -- ^ @since base-4.15.0.0
    88 86 
                  )
    89 87
    90 88 
     -- | @since base-4.8.0.0
    ... ... @@ -136,7 +134,6 @@ data GCFlags = GCFlags
    136 134 
         , numa                  :: Bool
    137 135 
         , numaMask              :: Word
    138 136 
         } deriving ( Show -- ^ @since base-4.8.0.0
    139 
    -               , Generic -- ^ @since base-4.15.0.0
    140 137 
                    )
    141 138
    142 139 
     -- | Parameters concerning context switching
    ... ... @@ -146,7 +143,6 @@ data ConcFlags = ConcFlags
    146 143 
         { ctxtSwitchTime  :: RtsTime
    147 144 
         , ctxtSwitchTicks :: Int
    148 145 
         } deriving ( Show -- ^ @since base-4.8.0.0
    149 
    -               , Generic -- ^ @since base-4.15.0.0
    150 146 
                    )
    151 147
    152 148 
     -- | Miscellaneous parameters
    ... ... @@ -169,7 +165,6 @@ data MiscFlags = MiscFlags
    169 165 
         , ioManager             :: IoManagerFlag
    170 166 
         , numIoWorkerThreads    :: Word32
    171 167 
         } deriving ( Show -- ^ @since base-4.8.0.0
    172 
    -               , Generic -- ^ @since base-4.15.0.0
    173 168 
                    )
    174 169
    175 170 
     -- |
    ... ... @@ -206,7 +201,6 @@ data DebugFlags = DebugFlags
    206 201 
         , hpc            :: Bool -- ^ @c@ coverage
    207 202 
         , sparks         :: Bool -- ^ @r@
    208 203 
         } deriving ( Show -- ^ @since base-4.8.0.0
    209 
    -               , Generic -- ^ @since base-4.15.0.0
    210 204 
                    )
    211 205
    212 206 
     -- | Should the RTS produce a cost-center summary?
    ... ... @@ -219,7 +213,6 @@ data DoCostCentres
    219 213 
         | CostCentresAll
    220 214 
         | CostCentresJSON
    221 215 
         deriving ( Show -- ^ @since base-4.8.0.0
    222 
    -             , Generic -- ^ @since base-4.15.0.0
    223 216 
                  )
    224 217
    225 218 
     -- | @since base-4.8.0.0
    ... ... @@ -245,7 +238,6 @@ data CCFlags = CCFlags
    245 238 
         , profilerTicks :: Int
    246 239 
         , msecsPerTick  :: Int
    247 240 
         } deriving ( Show -- ^ @since base-4.8.0.0
    248 
    -               , Generic -- ^ @since base-4.15.0.0
    249 241 
                    )
    250 242
    251 243 
     -- | What sort of heap profile are we collecting?
    ... ... @@ -263,7 +255,6 @@ data DoHeapProfile
    263 255 
         | HeapByInfoTable
    264 256 
         | HeapByEra -- ^ @since base-4.20.0.0
    265 257 
         deriving ( Show -- ^ @since base-4.8.0.0
    266 
    -             , Generic -- ^ @since base-4.15.0.0
    267 258 
                  )
    268 259
    269 260 
     -- | @since base-4.8.0.0
    ... ... @@ -315,7 +306,6 @@ data ProfFlags = ProfFlags
    315 306 
         , closureTypeSelector      :: Maybe String
    316 307 
         , infoTableSelector        :: Maybe String
    317 308 
         } deriving ( Show -- ^ @since base-4.8.0.0
    318 
    -               , Generic -- ^ @since base-4.15.0.0
    319 309 
                    )
    320 310
    321 311 
     -- | Is event tracing enabled?
    ... ... @@ -326,7 +316,6 @@ data DoTrace
    326 316 
         | TraceEventLog  -- ^ send tracing events to the event log
    327 317 
         | TraceStderr    -- ^ send tracing events to @stderr@
    328 318 
         deriving ( Show -- ^ @since base-4.8.0.0
    329 
    -             , Generic -- ^ @since base-4.15.0.0
    330 319 
                  )
    331 320
    332 321 
     -- | @since base-4.8.0.0
    ... ... @@ -354,7 +343,6 @@ data TraceFlags = TraceFlags
    354 343 
         , sparksFull     :: Bool -- ^ trace spark events 100% accurately
    355 344 
         , user           :: Bool -- ^ trace user events (emitted from Haskell code)
    356 345 
         } deriving ( Show -- ^ @since base-4.8.0.0
    357 
    -               , Generic -- ^ @since base-4.15.0.0
    358 346 
                    )
    359 347
    360 348 
     -- | Parameters pertaining to ticky-ticky profiler
    ... ... @@ -364,7 +352,6 @@ data TickyFlags = TickyFlags
    364 352 
         { showTickyStats :: Bool
    365 353 
         , tickyFile      :: Maybe FilePath
    366 354 
         } deriving ( Show -- ^ @since base-4.8.0.0
    367 
    -               , Generic -- ^ @since base-4.15.0.0
    368 355 
                    )
    369 356
    370 357 
     -- | Parameters pertaining to parallelism
    ... ... @@ -383,7 +370,6 @@ data ParFlags = ParFlags
    383 370 
         , setAffinity :: Bool
    384 371 
         }
    385 372 
         deriving ( Show -- ^ @since base-4.8.0.0
    386 
    -             , Generic -- ^ @since base-4.15.0.0
    387 373 
                  )
    388 374
    389 375 
     -- | Parameters pertaining to Haskell program coverage (HPC)
    ... ... @@ -399,7 +385,6 @@ data HpcFlags = HpcFlags
    399 385 
           -- written after the execution of the program.
    400 386 
         }
    401 387 
         deriving (Show -- ^ @since base-4.20.0.0
    402 
    -             , Generic -- ^ @since base-4.20.0.0
    403 388 
                  )
    404 389 
     -- | Parameters of the runtime system
    405 390 
     --
    ... ... @@ -416,7 +401,6 @@ data RTSFlags = RTSFlags
    416 401 
         , parFlags        :: ParFlags
    417 402 
         , hpcFlags        :: HpcFlags
    418 403 
         } deriving ( Show -- ^ @since base-4.8.0.0
    419 
    -               , Generic -- ^ @since base-4.15.0.0
    420 404 
                    )
    421 405
    422 406 
     foreign import ccall "&RtsFlags" rtsFlagsPtr :: Ptr RTSFlags

  • libraries/ghc-internal/src/GHC/Internal/Read.hs
    ... ... @@ -74,6 +74,7 @@ import GHC.Internal.Arr
    74 74 
     import GHC.Internal.Word
    75 75 
     import GHC.Internal.List (filter)
    76 76 
     import GHC.Internal.Tuple (Solo (..))
    77 
    +import GHC.Internal.ByteOrder
    77 78
    78 79
    79 80 
     -- | @'readParen' 'True' p@ parses what @p@ parses, but surrounded with
    ... ... @@ -833,3 +834,6 @@ instance (Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h,
    833 834 
                               ; return (a,b,c,d,e,f,g,h,i,j,k,l,m,n,o) })
    834 835 
       readListPrec = readListPrecDefault
    835 836 
       readList     = readListDefault
    837 
    +
    838 
    +-- | @since base-4.11.0.0
    839 
    +deriving instance Read ByteOrder

  • libraries/ghc-internal/src/GHC/Internal/Unicode/Bits.hs
    ... ... @@ -31,7 +31,7 @@ module GHC.Internal.Unicode.Bits
    31 31 
         where
    32 32
    33 33 
     import GHC.Internal.Bits (finiteBitSize, popCount)
    34 
    -import {-# SOURCE #-} GHC.Internal.ByteOrder
    34 
    +import GHC.Internal.ByteOrder
    35 35 
     import GHC.Internal.Prim
    36 36 
     import GHC.Internal.ST
    37 37 
     import GHC.Internal.Base

  • testsuite/tests/ghci/scripts/ListTuplePunsPpr.stdout
    ... ... @@ -21,13 +21,13 @@ instance Applicative Solo -- Defined in ‘GHC.Internal.Base’
    21 21 
     instance Foldable Solo -- Defined in ‘GHC.Internal.Data.Foldable’
    22 22 
     instance Functor Solo -- Defined in ‘GHC.Internal.Base’
    23 23 
     instance Monad Solo -- Defined in ‘GHC.Internal.Base’
    24 
    +instance Read a => Read (Solo a) -- Defined in ‘GHC.Internal.Read’
    24 25 
     instance Bounded a => Bounded (Solo a)
    25 26 
       -- Defined in ‘GHC.Internal.Enum’
    26 27 
     instance Enum a => Enum (Solo a) -- Defined in ‘GHC.Internal.Enum’
    27 
    -instance Read a => Read (Solo a) -- Defined in ‘GHC.Internal.Read’
    28 
    -instance Eq a => Eq (Solo a) -- Defined in ‘GHC.Internal.Classes’
    29 28 
     instance Ord a => Ord (Solo a) -- Defined in ‘GHC.Internal.Classes’
    30 29 
     instance Show a => Show (Solo a) -- Defined in ‘GHC.Internal.Show’
    30 
    +instance Eq a => Eq (Solo a) -- Defined in ‘GHC.Internal.Classes’
    31 31 
     instance Monoid a => Monoid (Solo a)
    32 32 
       -- Defined in ‘GHC.Internal.Base’
    33 33 
     instance Semigroup a => Semigroup (Solo a)

  • testsuite/tests/ghci/scripts/T10963.stderr
    1 
    -
    2 1 
     <interactive>:1:1: error: [GHC-39999]
    3 2 
         • Ambiguous type variable ‘a0’ arising from a use of ‘foo’
    4 3 
           prevents the constraint ‘(Num a0)’ from being solved.
    ... ... @@ -7,6 +6,7 @@
    7 6 
             instance Num Integer -- Defined in ‘GHC.Internal.Num’
    8 7 
             instance Num Double -- Defined in ‘GHC.Internal.Float’
    9 8 
             ...plus three others
    10 
    -        ...plus one instance involving out-of-scope types
    9 
    +        ...plus four instances involving out-of-scope types
    11 10 
             (use -fprint-potential-instances to see them all)
    12 11 
         • In the expression: foo
    12 
    +

  • testsuite/tests/ghci/scripts/ghci064.stdout
    ... ... @@ -10,11 +10,6 @@ instance MonadFail Maybe
    10 10 
     instance GHC.Internal.Base.MonadPlus Maybe
    11 11 
       -- Defined in ‘GHC.Internal.Base’
    12 12 
     instance Monad Maybe -- Defined in ‘GHC.Internal.Base’
    13 
    -instance GHC.Internal.Generics.SingKind w =>
    14 
    -         GHC.Internal.Generics.SingKind (Maybe w)
    15 
    -  -- Defined in ‘GHC.Internal.Generics’
    16 
    -instance GHC.Internal.Generics.Generic (Maybe w)
    17 
    -  -- Defined in ‘GHC.Internal.Generics’
    18 13 
     instance Semigroup w => Monoid (Maybe w)
    19 14 
       -- Defined in ‘GHC.Internal.Base’
    20 15 
     instance Read w => Read (Maybe w) -- Defined in ‘GHC.Internal.Read’
    ... ... @@ -25,26 +20,18 @@ instance [safe] Ord w => Ord (Maybe w)
    25 20 
     instance Show w => Show (Maybe w) -- Defined in ‘GHC.Internal.Show’
    26 21 
     instance [safe] Eq w => Eq (Maybe w)
    27 22 
       -- Defined in ‘GHC.Internal.Maybe’
    28 
    -instance GHC.Internal.Generics.Generic [w]
    29 
    -  -- Defined in ‘GHC.Internal.Generics’
    30 23 
     instance Read w => Read [w] -- Defined in ‘GHC.Internal.Read’
    31 
    -instance Eq w => Eq [w] -- Defined in ‘GHC.Internal.Classes’
    32 24 
     instance Ord w => Ord [w] -- Defined in ‘GHC.Internal.Classes’
    33 25 
     instance Show w => Show [w] -- Defined in ‘GHC.Internal.Show’
    26 
    +instance Eq w => Eq [w] -- Defined in ‘GHC.Internal.Classes’
    34 27 
     instance Monoid [w] -- Defined in ‘GHC.Internal.Base’
    35 28 
     instance Semigroup [w] -- Defined in ‘GHC.Internal.Base’
    36 29 
     instance [safe] MyShow w => MyShow [w]
    37 30 
       -- Defined at ghci064.hs:8:10
    38 
    -instance GHC.Internal.Generics.Generic [T]
    39 
    -  -- Defined in ‘GHC.Internal.Generics’
    40 31 
     instance Monoid [T] -- Defined in ‘GHC.Internal.Base’
    41 32 
     instance Semigroup [T] -- Defined in ‘GHC.Internal.Base’
    42 33 
     instance [safe] MyShow [T] -- Defined at ghci064.hs:16:10
    43 34 
     instance [safe] MyShow [T] -- Defined at ghci064.hs:8:10
    44 
    -instance GHC.Internal.Generics.SingKind Bool
    45 
    -  -- Defined in ‘GHC.Internal.Generics’
    46 
    -instance GHC.Internal.Generics.Generic Bool
    47 
    -  -- Defined in ‘GHC.Internal.Generics’
    48 35 
     instance GHC.Internal.Foreign.Storable.Storable Bool
    49 36 
       -- Defined in ‘GHC.Internal.Foreign.Storable’
    50 37 
     instance GHC.Internal.Bits.Bits Bool

  • testsuite/tests/interface-stability/base-exports.stdout
    ... ... @@ -11544,7 +11544,6 @@ instance forall (f :: * -> *). GHC.Internal.Control.Monad.Fail.MonadFail f => GH
    11544 11544 
     instance GHC.Internal.Control.Monad.Fail.MonadFail GHC.Internal.Text.ParserCombinators.ReadP.P -- Defined in ‘GHC.Internal.Text.ParserCombinators.ReadP’
    11545 11545 
     instance GHC.Internal.Control.Monad.Fail.MonadFail GHC.Internal.Text.ParserCombinators.ReadP.ReadP -- Defined in ‘GHC.Internal.Text.ParserCombinators.ReadP’
    11546 11546 
     instance GHC.Internal.Control.Monad.Fail.MonadFail GHC.Internal.Text.ParserCombinators.ReadPrec.ReadPrec -- Defined in ‘GHC.Internal.Text.ParserCombinators.ReadPrec’
    11547 
    -instance forall (f :: * -> *) (g :: * -> *). (GHC.Internal.Control.Monad.Fix.MonadFix f, GHC.Internal.Control.Monad.Fix.MonadFix g) => GHC.Internal.Control.Monad.Fix.MonadFix (f GHC.Internal.Generics.:*: g) -- Defined in ‘GHC.Internal.Control.Monad.Fix’
    11548 11547 
     instance forall (f :: * -> *). GHC.Internal.Control.Monad.Fix.MonadFix f => GHC.Internal.Control.Monad.Fix.MonadFix (GHC.Internal.Data.Semigroup.Internal.Alt f) -- Defined in ‘GHC.Internal.Control.Monad.Fix’
    11549 11548 
     instance forall (f :: * -> *). GHC.Internal.Control.Monad.Fix.MonadFix f => GHC.Internal.Control.Monad.Fix.MonadFix (GHC.Internal.Data.Monoid.Ap f) -- Defined in ‘GHC.Internal.Control.Monad.Fix’
    11550 11549 
     instance GHC.Internal.Control.Monad.Fix.MonadFix GHC.Internal.Data.Ord.Down -- Defined in ‘GHC.Internal.Control.Monad.Fix’
    ... ... @@ -11555,12 +11554,9 @@ instance GHC.Internal.Control.Monad.Fix.MonadFix GHC.Internal.Data.Monoid.First
    11555 11554 
     instance GHC.Internal.Control.Monad.Fix.MonadFix GHC.Internal.Types.IO -- Defined in ‘GHC.Internal.Control.Monad.Fix’
    11556 11555 
     instance GHC.Internal.Control.Monad.Fix.MonadFix GHC.Internal.Data.Monoid.Last -- Defined in ‘GHC.Internal.Control.Monad.Fix’
    11557 11556 
     instance GHC.Internal.Control.Monad.Fix.MonadFix [] -- Defined in ‘GHC.Internal.Control.Monad.Fix’
    11558 
    -instance forall (f :: * -> *) i (c :: GHC.Internal.Generics.Meta). GHC.Internal.Control.Monad.Fix.MonadFix f => GHC.Internal.Control.Monad.Fix.MonadFix (GHC.Internal.Generics.M1 i c f) -- Defined in ‘GHC.Internal.Control.Monad.Fix’
    11559 11557 
     instance GHC.Internal.Control.Monad.Fix.MonadFix GHC.Internal.Maybe.Maybe -- Defined in ‘GHC.Internal.Control.Monad.Fix’
    11560 11558 
     instance GHC.Internal.Control.Monad.Fix.MonadFix GHC.Internal.Base.NonEmpty -- Defined in ‘GHC.Internal.Control.Monad.Fix’
    11561 
    -instance GHC.Internal.Control.Monad.Fix.MonadFix GHC.Internal.Generics.Par1 -- Defined in ‘GHC.Internal.Control.Monad.Fix’
    11562 11559 
     instance GHC.Internal.Control.Monad.Fix.MonadFix GHC.Internal.Data.Semigroup.Internal.Product -- Defined in ‘GHC.Internal.Control.Monad.Fix’
    11563 
    -instance forall (f :: * -> *). GHC.Internal.Control.Monad.Fix.MonadFix f => GHC.Internal.Control.Monad.Fix.MonadFix (GHC.Internal.Generics.Rec1 f) -- Defined in ‘GHC.Internal.Control.Monad.Fix’
    11564 11560 
     instance forall s. GHC.Internal.Control.Monad.Fix.MonadFix (GHC.Internal.ST.ST s) -- Defined in ‘GHC.Internal.Control.Monad.Fix’
    11565 11561 
     instance GHC.Internal.Control.Monad.Fix.MonadFix Solo -- Defined in ‘GHC.Internal.Control.Monad.Fix’
    11566 11562 
     instance GHC.Internal.Control.Monad.Fix.MonadFix GHC.Internal.Data.Semigroup.Internal.Sum -- Defined in ‘GHC.Internal.Control.Monad.Fix’
    ... ... @@ -11573,6 +11569,10 @@ instance GHC.Internal.Control.Monad.Fix.MonadFix Data.Semigroup.First -- Defined
    11573 11569 
     instance GHC.Internal.Control.Monad.Fix.MonadFix Data.Semigroup.Last -- Defined in ‘Data.Semigroup’
    11574 11570 
     instance GHC.Internal.Control.Monad.Fix.MonadFix Data.Semigroup.Max -- Defined in ‘Data.Semigroup’
    11575 11571 
     instance GHC.Internal.Control.Monad.Fix.MonadFix Data.Semigroup.Min -- Defined in ‘Data.Semigroup’
    11572 
    +instance forall (f :: * -> *) (g :: * -> *). (GHC.Internal.Control.Monad.Fix.MonadFix f, GHC.Internal.Control.Monad.Fix.MonadFix g) => GHC.Internal.Control.Monad.Fix.MonadFix (f GHC.Internal.Generics.:*: g) -- Defined in ‘GHC.Internal.Generics’
    11573 
    +instance forall (f :: * -> *) i (c :: GHC.Internal.Generics.Meta). GHC.Internal.Control.Monad.Fix.MonadFix f => GHC.Internal.Control.Monad.Fix.MonadFix (GHC.Internal.Generics.M1 i c f) -- Defined in ‘GHC.Internal.Generics’
    11574 
    +instance GHC.Internal.Control.Monad.Fix.MonadFix GHC.Internal.Generics.Par1 -- Defined in ‘GHC.Internal.Generics’
    11575 
    +instance forall (f :: * -> *). GHC.Internal.Control.Monad.Fix.MonadFix f => GHC.Internal.Control.Monad.Fix.MonadFix (GHC.Internal.Generics.Rec1 f) -- Defined in ‘GHC.Internal.Generics’
    11576 11576 
     instance GHC.Internal.Control.Monad.IO.Class.MonadIO GHC.Internal.Types.IO -- Defined in ‘GHC.Internal.Control.Monad.IO.Class’
    11577 11577 
     instance forall (f :: * -> *) (g :: * -> *). (GHC.Internal.Control.Monad.Zip.MonadZip f, GHC.Internal.Control.Monad.Zip.MonadZip g) => GHC.Internal.Control.Monad.Zip.MonadZip (f GHC.Internal.Generics.:*: g) -- Defined in ‘GHC.Internal.Control.Monad.Zip’
    11578 11578 
     instance forall (f :: * -> *). GHC.Internal.Control.Monad.Zip.MonadZip f => GHC.Internal.Control.Monad.Zip.MonadZip (GHC.Internal.Data.Semigroup.Internal.Alt f) -- Defined in ‘GHC.Internal.Control.Monad.Zip’
    ... ... @@ -11737,9 +11737,6 @@ instance forall a. GHC.Internal.Data.Data.Data a => GHC.Internal.Data.Data.Data
    11737 11737 
     instance forall m. GHC.Internal.Data.Data.Data m => GHC.Internal.Data.Data.Data (Data.Semigroup.WrappedMonoid m) -- Defined in ‘Data.Semigroup’
    11738 11738 
     instance forall m. GHC.Internal.Data.Foldable.Foldable (GHC.Internal.Data.Functor.Const.Const m) -- Defined in ‘GHC.Internal.Data.Functor.Const’
    11739 11739 
     instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Functor.ZipList.ZipList -- Defined in ‘GHC.Internal.Functor.ZipList’
    11740 
    -instance forall (f :: * -> *) (g :: * -> *). (GHC.Internal.Data.Foldable.Foldable f, GHC.Internal.Data.Foldable.Foldable g) => GHC.Internal.Data.Foldable.Foldable (f GHC.Internal.Generics.:*: g) -- Defined in ‘GHC.Internal.Data.Foldable’
    11741 
    -instance forall (f :: * -> *) (g :: * -> *). (GHC.Internal.Data.Foldable.Foldable f, GHC.Internal.Data.Foldable.Foldable g) => GHC.Internal.Data.Foldable.Foldable (f GHC.Internal.Generics.:+: g) -- Defined in ‘GHC.Internal.Data.Foldable’
    11742 
    -instance forall (f :: * -> *) (g :: * -> *). (GHC.Internal.Data.Foldable.Foldable f, GHC.Internal.Data.Foldable.Foldable g) => GHC.Internal.Data.Foldable.Foldable (f GHC.Internal.Generics.:.: g) -- Defined in ‘GHC.Internal.Data.Foldable’
    11743 11740 
     instance forall (f :: * -> *). GHC.Internal.Data.Foldable.Foldable f => GHC.Internal.Data.Foldable.Foldable (GHC.Internal.Data.Semigroup.Internal.Alt f) -- Defined in ‘GHC.Internal.Data.Foldable’
    11744 11741 
     instance forall (f :: * -> *). GHC.Internal.Data.Foldable.Foldable f => GHC.Internal.Data.Foldable.Foldable (GHC.Internal.Data.Monoid.Ap f) -- Defined in ‘GHC.Internal.Data.Foldable’
    11745 11742 
     instance forall i. GHC.Internal.Data.Foldable.Foldable (GHC.Internal.Arr.Array i) -- Defined in ‘GHC.Internal.Data.Foldable’
    ... ... @@ -11747,27 +11744,15 @@ instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Data.Ord.Down -- Defin
    11747 11744 
     instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Data.Semigroup.Internal.Dual -- Defined in ‘GHC.Internal.Data.Foldable’
    11748 11745 
     instance forall a. GHC.Internal.Data.Foldable.Foldable (GHC.Internal.Data.Either.Either a) -- Defined in ‘GHC.Internal.Data.Foldable’
    11749 11746 
     instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Data.Monoid.First -- Defined in ‘GHC.Internal.Data.Foldable’
    11750 
    -instance forall i c. GHC.Internal.Data.Foldable.Foldable (GHC.Internal.Generics.K1 i c) -- Defined in ‘GHC.Internal.Data.Foldable’
    11751 11747 
     instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Data.Monoid.Last -- Defined in ‘GHC.Internal.Data.Foldable’
    11752 11748 
     instance GHC.Internal.Data.Foldable.Foldable [] -- Defined in ‘GHC.Internal.Data.Foldable’
    11753 
    -instance forall (f :: * -> *) i (c :: GHC.Internal.Generics.Meta). GHC.Internal.Data.Foldable.Foldable f => GHC.Internal.Data.Foldable.Foldable (GHC.Internal.Generics.M1 i c f) -- Defined in ‘GHC.Internal.Data.Foldable’
    11754 11749 
     instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Maybe.Maybe -- Defined in ‘GHC.Internal.Data.Foldable’
    11755 11750 
     instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Base.NonEmpty -- Defined in ‘GHC.Internal.Data.Foldable’
    11756 
    -instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Generics.Par1 -- Defined in ‘GHC.Internal.Data.Foldable’
    11757 11751 
     instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Data.Semigroup.Internal.Product -- Defined in ‘GHC.Internal.Data.Foldable’
    11758 11752 
     instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Data.Proxy.Proxy -- Defined in ‘GHC.Internal.Data.Foldable’
    11759 
    -instance forall (f :: * -> *). GHC.Internal.Data.Foldable.Foldable f => GHC.Internal.Data.Foldable.Foldable (GHC.Internal.Generics.Rec1 f) -- Defined in ‘GHC.Internal.Data.Foldable’
    11760 11753 
     instance GHC.Internal.Data.Foldable.Foldable Solo -- Defined in ‘GHC.Internal.Data.Foldable’
    11761 11754 
     instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Data.Semigroup.Internal.Sum -- Defined in ‘GHC.Internal.Data.Foldable’
    11762 11755 
     instance forall a. GHC.Internal.Data.Foldable.Foldable ((,) a) -- Defined in ‘GHC.Internal.Data.Foldable’
    11763 
    -instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Generics.U1 -- Defined in ‘GHC.Internal.Data.Foldable’
    11764 
    -instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Generics.UAddr -- Defined in ‘GHC.Internal.Data.Foldable’
    11765 
    -instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Generics.UChar -- Defined in ‘GHC.Internal.Data.Foldable’
    11766 
    -instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Generics.UDouble -- Defined in ‘GHC.Internal.Data.Foldable’
    11767 
    -instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Generics.UFloat -- Defined in ‘GHC.Internal.Data.Foldable’
    11768 
    -instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Generics.UInt -- Defined in ‘GHC.Internal.Data.Foldable’
    11769 
    -instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Generics.UWord -- Defined in ‘GHC.Internal.Data.Foldable’
    11770 
    -instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Generics.V1 -- Defined in ‘GHC.Internal.Data.Foldable’
    11771 11756 
     instance GHC.Internal.Data.Foldable.Foldable Data.Complex.Complex -- Defined in ‘Data.Complex’
    11772 11757 
     instance forall (f :: * -> *) (g :: * -> *). (GHC.Internal.Data.Foldable.Foldable f, GHC.Internal.Data.Foldable.Foldable g) => GHC.Internal.Data.Foldable.Foldable (Data.Functor.Compose.Compose f g) -- Defined in ‘Data.Functor.Compose’
    11773 11758 
     instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Data.Functor.Identity.Identity -- Defined in ‘GHC.Internal.Data.Functor.Identity’
    ... ... @@ -11778,13 +11763,25 @@ instance GHC.Internal.Data.Foldable.Foldable Data.Semigroup.First -- Defined in
    11778 11763 
     instance GHC.Internal.Data.Foldable.Foldable Data.Semigroup.Last -- Defined in ‘Data.Semigroup’
    11779 11764 
     instance GHC.Internal.Data.Foldable.Foldable Data.Semigroup.Max -- Defined in ‘Data.Semigroup’
    11780 11765 
     instance GHC.Internal.Data.Foldable.Foldable Data.Semigroup.Min -- Defined in ‘Data.Semigroup’
    11766 
    +instance forall (f :: * -> *) (g :: * -> *). (GHC.Internal.Data.Foldable.Foldable f, GHC.Internal.Data.Foldable.Foldable g) => GHC.Internal.Data.Foldable.Foldable (f GHC.Internal.Generics.:*: g) -- Defined in ‘GHC.Internal.Generics’
    11767 
    +instance forall (f :: * -> *) (g :: * -> *). (GHC.Internal.Data.Foldable.Foldable f, GHC.Internal.Data.Foldable.Foldable g) => GHC.Internal.Data.Foldable.Foldable (f GHC.Internal.Generics.:+: g) -- Defined in ‘GHC.Internal.Generics’
    11768 
    +instance forall (f :: * -> *) (g :: * -> *). (GHC.Internal.Data.Foldable.Foldable f, GHC.Internal.Data.Foldable.Foldable g) => GHC.Internal.Data.Foldable.Foldable (f GHC.Internal.Generics.:.: g) -- Defined in ‘GHC.Internal.Generics’
    11769 
    +instance forall i c. GHC.Internal.Data.Foldable.Foldable (GHC.Internal.Generics.K1 i c) -- Defined in ‘GHC.Internal.Generics’
    11770 
    +instance forall (f :: * -> *) i (c :: GHC.Internal.Generics.Meta). GHC.Internal.Data.Foldable.Foldable f => GHC.Internal.Data.Foldable.Foldable (GHC.Internal.Generics.M1 i c f) -- Defined in ‘GHC.Internal.Generics’
    11771 
    +instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Generics.Par1 -- Defined in ‘GHC.Internal.Generics’
    11772 
    +instance forall (f :: * -> *). GHC.Internal.Data.Foldable.Foldable f => GHC.Internal.Data.Foldable.Foldable (GHC.Internal.Generics.Rec1 f) -- Defined in ‘GHC.Internal.Generics’
    11773 
    +instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Generics.U1 -- Defined in ‘GHC.Internal.Generics’
    11774 
    +instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Generics.UAddr -- Defined in ‘GHC.Internal.Generics’
    11775 
    +instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Generics.UChar -- Defined in ‘GHC.Internal.Generics’
    11776 
    +instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Generics.UDouble -- Defined in ‘GHC.Internal.Generics’
    11777 
    +instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Generics.UFloat -- Defined in ‘GHC.Internal.Generics’
    11778 
    +instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Generics.UInt -- Defined in ‘GHC.Internal.Generics’
    11779 
    +instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Generics.UWord -- Defined in ‘GHC.Internal.Generics’
    11780 
    +instance GHC.Internal.Data.Foldable.Foldable GHC.Internal.Generics.V1 -- Defined in ‘GHC.Internal.Generics’
    11781 11781 
     instance forall a k (b :: k). GHC.Internal.Data.String.IsString a => GHC.Internal.Data.String.IsString (GHC.Internal.Data.Functor.Const.Const a b) -- Defined in ‘GHC.Internal.Data.String’
    11782 11782 
     instance forall a. GHC.Internal.Data.String.IsString a => GHC.Internal.Data.String.IsString (GHC.Internal.Data.Functor.Identity.Identity a) -- Defined in ‘GHC.Internal.Data.String’
    11783 11783 
     instance forall a. (a ~ GHC.Internal.Types.Char) => GHC.Internal.Data.String.IsString [a] -- Defined in ‘GHC.Internal.Data.String’
    11784 11784 
     instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Functor.ZipList.ZipList -- Defined in ‘GHC.Internal.Functor.ZipList’
    11785 
    -instance forall (f :: * -> *) (g :: * -> *). (GHC.Internal.Data.Traversable.Traversable f, GHC.Internal.Data.Traversable.Traversable g) => GHC.Internal.Data.Traversable.Traversable (f GHC.Internal.Generics.:*: g) -- Defined in ‘GHC.Internal.Data.Traversable’
    11786 
    -instance forall (f :: * -> *) (g :: * -> *). (GHC.Internal.Data.Traversable.Traversable f, GHC.Internal.Data.Traversable.Traversable g) => GHC.Internal.Data.Traversable.Traversable (f GHC.Internal.Generics.:+: g) -- Defined in ‘GHC.Internal.Data.Traversable’
    11787 
    -instance forall (f :: * -> *) (g :: * -> *). (GHC.Internal.Data.Traversable.Traversable f, GHC.Internal.Data.Traversable.Traversable g) => GHC.Internal.Data.Traversable.Traversable (f GHC.Internal.Generics.:.: g) -- Defined in ‘GHC.Internal.Data.Traversable’
    11788 11785 
     instance forall (f :: * -> *). GHC.Internal.Data.Traversable.Traversable f => GHC.Internal.Data.Traversable.Traversable (GHC.Internal.Data.Semigroup.Internal.Alt f) -- Defined in ‘GHC.Internal.Data.Traversable’
    11789 11786 
     instance forall (f :: * -> *). GHC.Internal.Data.Traversable.Traversable f => GHC.Internal.Data.Traversable.Traversable (GHC.Internal.Data.Monoid.Ap f) -- Defined in ‘GHC.Internal.Data.Traversable’
    11790 11787 
     instance forall i. GHC.Internal.Ix.Ix i => GHC.Internal.Data.Traversable.Traversable (GHC.Internal.Arr.Array i) -- Defined in ‘GHC.Internal.Data.Traversable’
    ... ... @@ -11794,27 +11791,15 @@ instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Data.Semigroup.I
    11794 11791 
     instance forall a. GHC.Internal.Data.Traversable.Traversable (GHC.Internal.Data.Either.Either a) -- Defined in ‘GHC.Internal.Data.Traversable’
    11795 11792 
     instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Data.Monoid.First -- Defined in ‘GHC.Internal.Data.Traversable’
    11796 11793 
     instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Data.Functor.Identity.Identity -- Defined in ‘GHC.Internal.Data.Traversable’
    11797 
    -instance forall i c. GHC.Internal.Data.Traversable.Traversable (GHC.Internal.Generics.K1 i c) -- Defined in ‘GHC.Internal.Data.Traversable’
    11798 11794 
     instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Data.Monoid.Last -- Defined in ‘GHC.Internal.Data.Traversable’
    11799 11795 
     instance GHC.Internal.Data.Traversable.Traversable [] -- Defined in ‘GHC.Internal.Data.Traversable’
    11800 
    -instance forall (f :: * -> *) i (c :: GHC.Internal.Generics.Meta). GHC.Internal.Data.Traversable.Traversable f => GHC.Internal.Data.Traversable.Traversable (GHC.Internal.Generics.M1 i c f) -- Defined in ‘GHC.Internal.Data.Traversable’
    11801 11796 
     instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Maybe.Maybe -- Defined in ‘GHC.Internal.Data.Traversable’
    11802 11797 
     instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Base.NonEmpty -- Defined in ‘GHC.Internal.Data.Traversable’
    11803 
    -instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Generics.Par1 -- Defined in ‘GHC.Internal.Data.Traversable’
    11804 11798 
     instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Data.Semigroup.Internal.Product -- Defined in ‘GHC.Internal.Data.Traversable’
    11805 11799 
     instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Data.Proxy.Proxy -- Defined in ‘GHC.Internal.Data.Traversable’
    11806 
    -instance forall (f :: * -> *). GHC.Internal.Data.Traversable.Traversable f => GHC.Internal.Data.Traversable.Traversable (GHC.Internal.Generics.Rec1 f) -- Defined in ‘GHC.Internal.Data.Traversable’
    11807 11800 
     instance GHC.Internal.Data.Traversable.Traversable Solo -- Defined in ‘GHC.Internal.Data.Traversable’
    11808 11801 
     instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Data.Semigroup.Internal.Sum -- Defined in ‘GHC.Internal.Data.Traversable’
    11809 11802 
     instance forall a. GHC.Internal.Data.Traversable.Traversable ((,) a) -- Defined in ‘GHC.Internal.Data.Traversable’
    11810 
    -instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Generics.U1 -- Defined in ‘GHC.Internal.Data.Traversable’
    11811 
    -instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Generics.UAddr -- Defined in ‘GHC.Internal.Data.Traversable’
    11812 
    -instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Generics.UChar -- Defined in ‘GHC.Internal.Data.Traversable’
    11813 
    -instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Generics.UDouble -- Defined in ‘GHC.Internal.Data.Traversable’
    11814 
    -instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Generics.UFloat -- Defined in ‘GHC.Internal.Data.Traversable’
    11815 
    -instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Generics.UInt -- Defined in ‘GHC.Internal.Data.Traversable’
    11816 
    -instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Generics.UWord -- Defined in ‘GHC.Internal.Data.Traversable’
    11817 
    -instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Generics.V1 -- Defined in ‘GHC.Internal.Data.Traversable’
    11818 11803 
     instance GHC.Internal.Data.Traversable.Traversable Data.Complex.Complex -- Defined in ‘Data.Complex’
    11819 11804 
     instance forall (f :: * -> *) (g :: * -> *). (GHC.Internal.Data.Traversable.Traversable f, GHC.Internal.Data.Traversable.Traversable g) => GHC.Internal.Data.Traversable.Traversable (Data.Functor.Compose.Compose f g) -- Defined in ‘Data.Functor.Compose’
    11820 11805 
     instance [safe] forall (f :: * -> *) (g :: * -> *). (GHC.Internal.Data.Traversable.Traversable f, GHC.Internal.Data.Traversable.Traversable g) => GHC.Internal.Data.Traversable.Traversable (Data.Functor.Product.Product f g) -- Defined in ‘Data.Functor.Product’
    ... ... @@ -11824,6 +11809,21 @@ instance GHC.Internal.Data.Traversable.Traversable Data.Semigroup.First -- Defin
    11824 11809 
     instance GHC.Internal.Data.Traversable.Traversable Data.Semigroup.Last -- Defined in ‘Data.Semigroup’
    11825 11810 
     instance GHC.Internal.Data.Traversable.Traversable Data.Semigroup.Max -- Defined in ‘Data.Semigroup’
    11826 11811 
     instance GHC.Internal.Data.Traversable.Traversable Data.Semigroup.Min -- Defined in ‘Data.Semigroup’
    11812 
    +instance forall (f :: * -> *) (g :: * -> *). (GHC.Internal.Data.Traversable.Traversable f, GHC.Internal.Data.Traversable.Traversable g) => GHC.Internal.Data.Traversable.Traversable (f GHC.Internal.Generics.:*: g) -- Defined in ‘GHC.Internal.Generics’
    11813 
    +instance forall (f :: * -> *) (g :: * -> *). (GHC.Internal.Data.Traversable.Traversable f, GHC.Internal.Data.Traversable.Traversable g) => GHC.Internal.Data.Traversable.Traversable (f GHC.Internal.Generics.:+: g) -- Defined in ‘GHC.Internal.Generics’
    11814 
    +instance forall (f :: * -> *) (g :: * -> *). (GHC.Internal.Data.Traversable.Traversable f, GHC.Internal.Data.Traversable.Traversable g) => GHC.Internal.Data.Traversable.Traversable (f GHC.Internal.Generics.:.: g) -- Defined in ‘GHC.Internal.Generics’
    11815 
    +instance forall i c. GHC.Internal.Data.Traversable.Traversable (GHC.Internal.Generics.K1 i c) -- Defined in ‘GHC.Internal.Generics’
    11816 
    +instance forall (f :: * -> *) i (c :: GHC.Internal.Generics.Meta). GHC.Internal.Data.Traversable.Traversable f => GHC.Internal.Data.Traversable.Traversable (GHC.Internal.Generics.M1 i c f) -- Defined in ‘GHC.Internal.Generics’
    11817 
    +instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Generics.Par1 -- Defined in ‘GHC.Internal.Generics’
    11818 
    +instance forall (f :: * -> *). GHC.Internal.Data.Traversable.Traversable f => GHC.Internal.Data.Traversable.Traversable (GHC.Internal.Generics.Rec1 f) -- Defined in ‘GHC.Internal.Generics’
    11819 
    +instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Generics.U1 -- Defined in ‘GHC.Internal.Generics’
    11820 
    +instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Generics.UAddr -- Defined in ‘GHC.Internal.Generics’
    11821 
    +instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Generics.UChar -- Defined in ‘GHC.Internal.Generics’
    11822 
    +instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Generics.UDouble -- Defined in ‘GHC.Internal.Generics’
    11823 
    +instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Generics.UFloat -- Defined in ‘GHC.Internal.Generics’
    11824 
    +instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Generics.UInt -- Defined in ‘GHC.Internal.Generics’
    11825 
    +instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Generics.UWord -- Defined in ‘GHC.Internal.Generics’
    11826 
    +instance GHC.Internal.Data.Traversable.Traversable GHC.Internal.Generics.V1 -- Defined in ‘GHC.Internal.Generics’
    11827 11827 
     instance GHC.Internal.Data.Type.Coercion.TestCoercion GHC.Internal.TypeNats.SNat -- Defined in ‘GHC.Internal.TypeNats’
    11828 11828 
     instance GHC.Internal.Data.Type.Coercion.TestCoercion GHC.Internal.TypeLits.SChar -- Defined in ‘GHC.Internal.TypeLits’
    11829 11829 
     instance GHC.Internal.Data.Type.Coercion.TestCoercion GHC.Internal.TypeLits.SSymbol -- Defined in ‘GHC.Internal.TypeLits’
    ... ... @@ -12110,57 +12110,70 @@ instance forall (n :: GHC.Internal.Types.Symbol) (f :: GHC.Internal.Generics.Fix
    12110 12110 
     instance forall (n :: GHC.Internal.Types.Symbol) (m :: GHC.Internal.Types.Symbol) (p :: GHC.Internal.Types.Symbol) (nt :: GHC.Internal.Types.Bool). (GHC.Internal.TypeLits.KnownSymbol n, GHC.Internal.TypeLits.KnownSymbol m, GHC.Internal.TypeLits.KnownSymbol p, GHC.Internal.Generics.SingI nt) => GHC.Internal.Generics.Datatype (GHC.Internal.Generics.MetaData n m p nt) -- Defined in ‘GHC.Internal.Generics’
    12111 12111 
     instance forall (a :: * -> * -> *) b c. GHC.Internal.Generics.Generic (Control.Applicative.WrappedArrow a b c) -- Defined in ‘Control.Applicative’
    12112 12112 
     instance forall (m :: * -> *) a. GHC.Internal.Generics.Generic (Control.Applicative.WrappedMonad m a) -- Defined in ‘Control.Applicative’
    12113 
    -instance forall a k (b :: k). GHC.Internal.Generics.Generic (GHC.Internal.Data.Functor.Const.Const a b) -- Defined in ‘GHC.Internal.Data.Functor.Const’
    12114 
    -instance forall a. GHC.Internal.Generics.Generic (GHC.Internal.Functor.ZipList.ZipList a) -- Defined in ‘GHC.Internal.Functor.ZipList’
    12115 12113 
     instance forall (m :: * -> *) a b. GHC.Internal.Generics.Generic (GHC.Internal.Control.Arrow.Kleisli m a b) -- Defined in ‘GHC.Internal.Control.Arrow’
    12116 
    -instance GHC.Internal.Generics.Generic GHC.Internal.IO.Exception.ExitCode -- Defined in ‘GHC.Internal.IO.Exception’
    12117 12114 
     instance forall a. GHC.Internal.Generics.Generic (Data.Complex.Complex a) -- Defined in ‘Data.Complex’
    12118 12115 
     instance forall k1 (f :: k1 -> *) k2 (g :: k2 -> k1) (a :: k2). GHC.Internal.Generics.Generic (Data.Functor.Compose.Compose f g a) -- Defined in ‘Data.Functor.Compose’
    12119 
    -instance forall a. GHC.Internal.Generics.Generic (GHC.Internal.Data.Functor.Identity.Identity a) -- Defined in ‘GHC.Internal.Data.Functor.Identity’
    12120 12116 
     instance [safe] forall k (f :: k -> *) (g :: k -> *) (a :: k). GHC.Internal.Generics.Generic (Data.Functor.Product.Product f g a) -- Defined in ‘Data.Functor.Product’
    12121 12117 
     instance [safe] forall k (f :: k -> *) (g :: k -> *) (a :: k). GHC.Internal.Generics.Generic (Data.Functor.Sum.Sum f g a) -- Defined in ‘Data.Functor.Sum’
    12122 
    -instance GHC.Internal.Generics.Generic GHC.Internal.Data.Semigroup.Internal.All -- Defined in ‘GHC.Internal.Data.Semigroup.Internal’
    12123 
    -instance forall k (f :: k -> *) (a :: k). GHC.Internal.Generics.Generic (GHC.Internal.Data.Semigroup.Internal.Alt f a) -- Defined in ‘GHC.Internal.Data.Semigroup.Internal’
    12124 
    -instance GHC.Internal.Generics.Generic GHC.Internal.Data.Semigroup.Internal.Any -- Defined in ‘GHC.Internal.Data.Semigroup.Internal’
    12125 
    -instance forall a. GHC.Internal.Generics.Generic (GHC.Internal.Data.Semigroup.Internal.Dual a) -- Defined in ‘GHC.Internal.Data.Semigroup.Internal’
    12126 
    -instance forall a. GHC.Internal.Generics.Generic (GHC.Internal.Data.Semigroup.Internal.Endo a) -- Defined in ‘GHC.Internal.Data.Semigroup.Internal’
    12127 
    -instance forall a. GHC.Internal.Generics.Generic (GHC.Internal.Data.Semigroup.Internal.Product a) -- Defined in ‘GHC.Internal.Data.Semigroup.Internal’
    12128 
    -instance forall a. GHC.Internal.Generics.Generic (GHC.Internal.Data.Semigroup.Internal.Sum a) -- Defined in ‘GHC.Internal.Data.Semigroup.Internal’
    12129 
    -instance forall k (f :: k -> *) (a :: k). GHC.Internal.Generics.Generic (GHC.Internal.Data.Monoid.Ap f a) -- Defined in ‘GHC.Internal.Data.Monoid’
    12130 
    -instance forall a. GHC.Internal.Generics.Generic (GHC.Internal.Data.Monoid.First a) -- Defined in ‘GHC.Internal.Data.Monoid’
    12131 
    -instance forall a. GHC.Internal.Generics.Generic (GHC.Internal.Data.Monoid.Last a) -- Defined in ‘GHC.Internal.Data.Monoid’
    12132 12118 
     instance forall a b. GHC.Internal.Generics.Generic (Data.Semigroup.Arg a b) -- Defined in ‘Data.Semigroup’
    12133 12119 
     instance forall a. GHC.Internal.Generics.Generic (Data.Semigroup.First a) -- Defined in ‘Data.Semigroup’
    12134 12120 
     instance forall a. GHC.Internal.Generics.Generic (Data.Semigroup.Last a) -- Defined in ‘Data.Semigroup’
    12135 12121 
     instance forall a. GHC.Internal.Generics.Generic (Data.Semigroup.Max a) -- Defined in ‘Data.Semigroup’
    12136 12122 
     instance forall a. GHC.Internal.Generics.Generic (Data.Semigroup.Min a) -- Defined in ‘Data.Semigroup’
    12137 12123 
     instance forall m. GHC.Internal.Generics.Generic (Data.Semigroup.WrappedMonoid m) -- Defined in ‘Data.Semigroup’
    12138 
    -instance GHC.Internal.Generics.Generic GHC.Internal.Data.Version.Version -- Defined in ‘GHC.Internal.Data.Version’
    12139 
    -instance GHC.Internal.Generics.Generic GHC.Internal.ByteOrder.ByteOrder -- Defined in ‘GHC.Internal.ByteOrder’
    12140 12124 
     instance forall k (f :: k -> *) (g :: k -> *) (p :: k). GHC.Internal.Generics.Generic ((GHC.Internal.Generics.:*:) f g p) -- Defined in ‘GHC.Internal.Generics’
    12141 12125 
     instance forall k (f :: k -> *) (g :: k -> *) (p :: k). GHC.Internal.Generics.Generic ((GHC.Internal.Generics.:+:) f g p) -- Defined in ‘GHC.Internal.Generics’
    12142 12126 
     instance forall k2 (f :: k2 -> *) k1 (g :: k1 -> k2) (p :: k1). GHC.Internal.Generics.Generic ((GHC.Internal.Generics.:.:) f g p) -- Defined in ‘GHC.Internal.Generics’
    12127 
    +instance GHC.Internal.Generics.Generic GHC.Internal.Data.Semigroup.Internal.All -- Defined in ‘GHC.Internal.Generics’
    12128 
    +instance forall k (f :: k -> *) (a :: k). GHC.Internal.Generics.Generic (GHC.Internal.Data.Semigroup.Internal.Alt f a) -- Defined in ‘GHC.Internal.Generics’
    12129 
    +instance GHC.Internal.Generics.Generic GHC.Internal.Data.Semigroup.Internal.Any -- Defined in ‘GHC.Internal.Generics’
    12130 
    +instance forall k (f :: k -> *) (a :: k). GHC.Internal.Generics.Generic (GHC.Internal.Data.Monoid.Ap f a) -- Defined in ‘GHC.Internal.Generics’
    12143 12131 
     instance GHC.Internal.Generics.Generic GHC.Internal.Generics.Associativity -- Defined in ‘GHC.Internal.Generics’
    12144 12132 
     instance GHC.Internal.Generics.Generic GHC.Internal.Types.Bool -- Defined in ‘GHC.Internal.Generics’
    12133 
    +instance GHC.Internal.Generics.Generic GHC.Internal.ByteOrder.ByteOrder -- Defined in ‘GHC.Internal.Generics’
    12134 
    +instance GHC.Internal.Generics.Generic GHC.Internal.RTS.Flags.CCFlags -- Defined in ‘GHC.Internal.Generics’
    12135 
    +instance GHC.Internal.Generics.Generic GHC.Internal.RTS.Flags.ConcFlags -- Defined in ‘GHC.Internal.Generics’
    12136 
    +instance forall k a (b :: k). GHC.Internal.Generics.Generic (GHC.Internal.Data.Functor.Const.Const a b) -- Defined in ‘GHC.Internal.Generics’
    12137 
    +instance GHC.Internal.Generics.Generic GHC.Internal.RTS.Flags.DebugFlags -- Defined in ‘GHC.Internal.Generics’
    12145 12138 
     instance GHC.Internal.Generics.Generic GHC.Internal.Generics.DecidedStrictness -- Defined in ‘GHC.Internal.Generics’
    12139 
    +instance GHC.Internal.Generics.Generic GHC.Internal.RTS.Flags.DoCostCentres -- Defined in ‘GHC.Internal.Generics’
    12140 
    +instance GHC.Internal.Generics.Generic GHC.Internal.RTS.Flags.DoHeapProfile -- Defined in ‘GHC.Internal.Generics’
    12141 
    +instance GHC.Internal.Generics.Generic GHC.Internal.RTS.Flags.DoTrace -- Defined in ‘GHC.Internal.Generics’
    12146 12142 
     instance forall a. GHC.Internal.Generics.Generic (GHC.Internal.Data.Ord.Down a) -- Defined in ‘GHC.Internal.Generics’
    12143 
    +instance forall a. GHC.Internal.Generics.Generic (GHC.Internal.Data.Semigroup.Internal.Dual a) -- Defined in ‘GHC.Internal.Generics’
    12147 12144 
     instance forall a b. GHC.Internal.Generics.Generic (GHC.Internal.Data.Either.Either a b) -- Defined in ‘GHC.Internal.Generics’
    12145 
    +instance forall a. GHC.Internal.Generics.Generic (GHC.Internal.Data.Semigroup.Internal.Endo a) -- Defined in ‘GHC.Internal.Generics’
    12146 
    +instance GHC.Internal.Generics.Generic GHC.Internal.IO.Exception.ExitCode -- Defined in ‘GHC.Internal.Generics’
    12148 12147 
     instance GHC.Internal.Generics.Generic GHC.Internal.Fingerprint.Type.Fingerprint -- Defined in ‘GHC.Internal.Generics’
    12148 
    +instance forall a. GHC.Internal.Generics.Generic (GHC.Internal.Data.Monoid.First a) -- Defined in ‘GHC.Internal.Generics’
    12149 12149 
     instance GHC.Internal.Generics.Generic GHC.Internal.Generics.Fixity -- Defined in ‘GHC.Internal.Generics’
    12150 
    +instance GHC.Internal.Generics.Generic GHC.Internal.RTS.Flags.GCFlags -- Defined in ‘GHC.Internal.Generics’
    12150 12151 
     instance GHC.Internal.Generics.Generic GHC.Internal.Unicode.GeneralCategory -- Defined in ‘GHC.Internal.Generics’
    12152 
    +instance GHC.Internal.Generics.Generic GHC.Internal.RTS.Flags.GiveGCStats -- Defined in ‘GHC.Internal.Generics’
    12153 
    +instance GHC.Internal.Generics.Generic GHC.Internal.RTS.Flags.HpcFlags -- Defined in ‘GHC.Internal.Generics’
    12154 
    +instance forall a. GHC.Internal.Generics.Generic (GHC.Internal.Data.Functor.Identity.Identity a) -- Defined in ‘GHC.Internal.Generics’
    12151 12155 
     instance forall i c k (p :: k). GHC.Internal.Generics.Generic (GHC.Internal.Generics.K1 i c p) -- Defined in ‘GHC.Internal.Generics’
    12156 
    +instance forall a. GHC.Internal.Generics.Generic (GHC.Internal.Data.Monoid.Last a) -- Defined in ‘GHC.Internal.Generics’
    12152 12157 
     instance forall a. GHC.Internal.Generics.Generic [a] -- Defined in ‘GHC.Internal.Generics’
    12153 12158 
     instance forall i (c :: GHC.Internal.Generics.Meta) k (f :: k -> *) (p :: k). GHC.Internal.Generics.Generic (GHC.Internal.Generics.M1 i c f p) -- Defined in ‘GHC.Internal.Generics’
    12154 12159 
     instance forall a. GHC.Internal.Generics.Generic (GHC.Internal.Maybe.Maybe a) -- Defined in ‘GHC.Internal.Generics’
    12160 
    +instance GHC.Internal.Generics.Generic GHC.Internal.RTS.Flags.MiscFlags -- Defined in ‘GHC.Internal.Generics’
    12155 12161 
     instance forall a. GHC.Internal.Generics.Generic (GHC.Internal.Base.NonEmpty a) -- Defined in ‘GHC.Internal.Generics’
    12156 12162 
     instance GHC.Internal.Generics.Generic GHC.Internal.Types.Ordering -- Defined in ‘GHC.Internal.Generics’
    12157 12163 
     instance forall p. GHC.Internal.Generics.Generic (GHC.Internal.Generics.Par1 p) -- Defined in ‘GHC.Internal.Generics’
    12164 
    +instance GHC.Internal.Generics.Generic GHC.Internal.RTS.Flags.ParFlags -- Defined in ‘GHC.Internal.Generics’
    12165 
    +instance forall a. GHC.Internal.Generics.Generic (GHC.Internal.Data.Semigroup.Internal.Product a) -- Defined in ‘GHC.Internal.Generics’
    12166 
    +instance GHC.Internal.Generics.Generic GHC.Internal.RTS.Flags.ProfFlags -- Defined in ‘GHC.Internal.Generics’
    12158 12167 
     instance forall k (t :: k). GHC.Internal.Generics.Generic (GHC.Internal.Data.Proxy.Proxy t) -- Defined in ‘GHC.Internal.Generics’
    12168 
    +instance GHC.Internal.Generics.Generic GHC.Internal.RTS.Flags.RTSFlags -- Defined in ‘GHC.Internal.Generics’
    12159 12169 
     instance forall k (f :: k -> *) (p :: k). GHC.Internal.Generics.Generic (GHC.Internal.Generics.Rec1 f p) -- Defined in ‘GHC.Internal.Generics’
    12160 12170 
     instance forall a. GHC.Internal.Generics.Generic (Solo a) -- Defined in ‘GHC.Internal.Generics’
    12161 12171 
     instance GHC.Internal.Generics.Generic GHC.Internal.Generics.SourceStrictness -- Defined in ‘GHC.Internal.Generics’
    12162 12172 
     instance GHC.Internal.Generics.Generic GHC.Internal.Generics.SourceUnpackedness -- Defined in ‘GHC.Internal.Generics’
    12163 12173 
     instance GHC.Internal.Generics.Generic GHC.Internal.Stack.Types.SrcLoc -- Defined in ‘GHC.Internal.Generics’
    12174 
    +instance forall a. GHC.Internal.Generics.Generic (GHC.Internal.Data.Semigroup.Internal.Sum a) -- Defined in ‘GHC.Internal.Generics’
    12175 
    +instance GHC.Internal.Generics.Generic GHC.Internal.RTS.Flags.TickyFlags -- Defined in ‘GHC.Internal.Generics’
    12176 
    +instance GHC.Internal.Generics.Generic GHC.Internal.RTS.Flags.TraceFlags -- Defined in ‘GHC.Internal.Generics’
    12164 12177 
     instance forall a b c d e f g h i j. GHC.Internal.Generics.Generic (a, b, c, d, e, f, g, h, i, j) -- Defined in ‘GHC.Internal.Generics’
    12165 12178 
     instance forall a b c d e f g h i j k. GHC.Internal.Generics.Generic (a, b, c, d, e, f, g, h, i, j, k) -- Defined in ‘GHC.Internal.Generics’
    12166 12179 
     instance forall a b c d e f g h i j k l. GHC.Internal.Generics.Generic (a, b, c, d, e, f, g, h, i, j, k, l) -- Defined in ‘GHC.Internal.Generics’
    ... ... @@ -12184,7 +12197,9 @@ instance forall k (p :: k). GHC.Internal.Generics.Generic (GHC.Internal.Generics
    12184 12197 
     instance forall k (p :: k). GHC.Internal.Generics.Generic (GHC.Internal.Generics.URec (GHC.Internal.Ptr.Ptr ()) p) -- Defined in ‘GHC.Internal.Generics’
    12185 12198 
     instance GHC.Internal.Generics.Generic () -- Defined in ‘GHC.Internal.Generics’
    12186 12199 
     instance forall k (p :: k). GHC.Internal.Generics.Generic (GHC.Internal.Generics.V1 p) -- Defined in ‘GHC.Internal.Generics’
    12200 
    +instance GHC.Internal.Generics.Generic GHC.Internal.Data.Version.Version -- Defined in ‘GHC.Internal.Generics’
    12187 12201 
     instance GHC.Internal.Generics.Generic GHC.Internal.Base.Void -- Defined in ‘GHC.Internal.Generics’
    12202 
    +instance forall a. GHC.Internal.Generics.Generic (GHC.Internal.Functor.ZipList.ZipList a) -- Defined in ‘GHC.Internal.Generics’
    12188 12203 
     instance GHC.Internal.Generics.Generic GHC.RTS.Flags.CCFlags -- Defined in ‘GHC.RTS.Flags’
    12189 12204 
     instance GHC.Internal.Generics.Generic GHC.RTS.Flags.ConcFlags -- Defined in ‘GHC.RTS.Flags’
    12190 12205 
     instance GHC.Internal.Generics.Generic GHC.RTS.Flags.DebugFlags -- Defined in ‘GHC.RTS.Flags’
    ... ... @@ -12204,15 +12219,8 @@ instance [safe] GHC.Internal.Generics.Generic GHC.Stats.GCDetails -- Defined in
    12204 12219 
     instance [safe] GHC.Internal.Generics.Generic GHC.Stats.RTSStats -- Defined in ‘GHC.Stats’
    12205 12220 
     instance forall (a :: * -> * -> *) b. GHC.Internal.Generics.Generic1 (Control.Applicative.WrappedArrow a b) -- Defined in ‘Control.Applicative’
    12206 12221 
     instance forall (m :: * -> *). GHC.Internal.Generics.Generic1 (Control.Applicative.WrappedMonad m) -- Defined in ‘Control.Applicative’
    12207 
    -instance GHC.Internal.Generics.Generic1 GHC.Internal.Functor.ZipList.ZipList -- Defined in ‘GHC.Internal.Functor.ZipList’
    12208 12222 
     instance forall (m :: * -> *) a. GHC.Internal.Generics.Generic1 (GHC.Internal.Control.Arrow.Kleisli m a) -- Defined in ‘GHC.Internal.Control.Arrow’
    12209 12223 
     instance GHC.Internal.Generics.Generic1 Data.Complex.Complex -- Defined in ‘Data.Complex’
    12210 
    -instance GHC.Internal.Generics.Generic1 GHC.Internal.Data.Functor.Identity.Identity -- Defined in ‘GHC.Internal.Data.Functor.Identity’
    12211 
    -instance GHC.Internal.Generics.Generic1 GHC.Internal.Data.Semigroup.Internal.Dual -- Defined in ‘GHC.Internal.Data.Semigroup.Internal’
    12212 
    -instance GHC.Internal.Generics.Generic1 GHC.Internal.Data.Semigroup.Internal.Product -- Defined in ‘GHC.Internal.Data.Semigroup.Internal’
    12213 
    -instance GHC.Internal.Generics.Generic1 GHC.Internal.Data.Semigroup.Internal.Sum -- Defined in ‘GHC.Internal.Data.Semigroup.Internal’
    12214 
    -instance GHC.Internal.Generics.Generic1 GHC.Internal.Data.Monoid.First -- Defined in ‘GHC.Internal.Data.Monoid’
    12215 
    -instance GHC.Internal.Generics.Generic1 GHC.Internal.Data.Monoid.Last -- Defined in ‘GHC.Internal.Data.Monoid’
    12216 12224 
     instance forall a. GHC.Internal.Generics.Generic1 (Data.Semigroup.Arg a) -- Defined in ‘Data.Semigroup’
    12217 12225 
     instance GHC.Internal.Generics.Generic1 Data.Semigroup.First -- Defined in ‘Data.Semigroup’
    12218 12226 
     instance GHC.Internal.Generics.Generic1 Data.Semigroup.Last -- Defined in ‘Data.Semigroup’
    ... ... @@ -12220,12 +12228,18 @@ instance GHC.Internal.Generics.Generic1 Data.Semigroup.Max -- Defined in ‘Data
    12220 12228 
     instance GHC.Internal.Generics.Generic1 Data.Semigroup.Min -- Defined in ‘Data.Semigroup’
    12221 12229 
     instance GHC.Internal.Generics.Generic1 Data.Semigroup.WrappedMonoid -- Defined in ‘Data.Semigroup’
    12222 12230 
     instance GHC.Internal.Generics.Generic1 GHC.Internal.Data.Ord.Down -- Defined in ‘GHC.Internal.Generics’
    12231 
    +instance GHC.Internal.Generics.Generic1 GHC.Internal.Data.Semigroup.Internal.Dual -- Defined in ‘GHC.Internal.Generics’
    12223 12232 
     instance forall a. GHC.Internal.Generics.Generic1 (GHC.Internal.Data.Either.Either a) -- Defined in ‘GHC.Internal.Generics’
    12233 
    +instance GHC.Internal.Generics.Generic1 GHC.Internal.Data.Monoid.First -- Defined in ‘GHC.Internal.Generics’
    12234 
    +instance GHC.Internal.Generics.Generic1 GHC.Internal.Data.Functor.Identity.Identity -- Defined in ‘GHC.Internal.Generics’
    12235 
    +instance GHC.Internal.Generics.Generic1 GHC.Internal.Data.Monoid.Last -- Defined in ‘GHC.Internal.Generics’
    12224 12236 
     instance GHC.Internal.Generics.Generic1 [] -- Defined in ‘GHC.Internal.Generics’
    12225 12237 
     instance GHC.Internal.Generics.Generic1 GHC.Internal.Maybe.Maybe -- Defined in ‘GHC.Internal.Generics’
    12226 12238 
     instance GHC.Internal.Generics.Generic1 GHC.Internal.Base.NonEmpty -- Defined in ‘GHC.Internal.Generics’
    12227 12239 
     instance GHC.Internal.Generics.Generic1 GHC.Internal.Generics.Par1 -- Defined in ‘GHC.Internal.Generics’
    12240 
    +instance GHC.Internal.Generics.Generic1 GHC.Internal.Data.Semigroup.Internal.Product -- Defined in ‘GHC.Internal.Generics’
    12228 12241 
     instance GHC.Internal.Generics.Generic1 Solo -- Defined in ‘GHC.Internal.Generics’
    12242 
    +instance GHC.Internal.Generics.Generic1 GHC.Internal.Data.Semigroup.Internal.Sum -- Defined in ‘GHC.Internal.Generics’
    12229 12243 
     instance forall a b c d e f g h i. GHC.Internal.Generics.Generic1 ((,,,,,,,,,) a b c d e f g h i) -- Defined in ‘GHC.Internal.Generics’
    12230 12244 
     instance forall a b c d e f g h i j. GHC.Internal.Generics.Generic1 ((,,,,,,,,,,) a b c d e f g h i j) -- Defined in ‘GHC.Internal.Generics’
    12231 12245 
     instance forall a b c d e f g h i j k. GHC.Internal.Generics.Generic1 ((,,,,,,,,,,,) a b c d e f g h i j k) -- Defined in ‘GHC.Internal.Generics’
    ... ... @@ -12240,15 +12254,16 @@ instance forall a b c d e. GHC.Internal.Generics.Generic1 ((,,,,,) a b c d e) --
    12240 12254 
     instance forall a b c d e f. GHC.Internal.Generics.Generic1 ((,,,,,,) a b c d e f) -- Defined in ‘GHC.Internal.Generics’
    12241 12255 
     instance forall a b c d e f g. GHC.Internal.Generics.Generic1 ((,,,,,,,) a b c d e f g) -- Defined in ‘GHC.Internal.Generics’
    12242 12256 
     instance forall a b c d e f g h. GHC.Internal.Generics.Generic1 ((,,,,,,,,) a b c d e f g h) -- Defined in ‘GHC.Internal.Generics’
    12243 
    -instance forall k1 a. GHC.Internal.Generics.Generic1 (GHC.Internal.Data.Functor.Const.Const a) -- Defined in ‘GHC.Internal.Data.Functor.Const’
    12257 
    +instance GHC.Internal.Generics.Generic1 GHC.Internal.Functor.ZipList.ZipList -- Defined in ‘GHC.Internal.Generics’
    12244 12258 
     instance forall (f :: * -> *) k1 (g :: k1 -> *). GHC.Internal.Base.Functor f => GHC.Internal.Generics.Generic1 (Data.Functor.Compose.Compose f g) -- Defined in ‘Data.Functor.Compose’
    12245 12259 
     instance [safe] forall k1 (f :: k1 -> *) (g :: k1 -> *). GHC.Internal.Generics.Generic1 (Data.Functor.Product.Product f g) -- Defined in ‘Data.Functor.Product’
    12246 12260 
     instance [safe] forall k1 (f :: k1 -> *) (g :: k1 -> *). GHC.Internal.Generics.Generic1 (Data.Functor.Sum.Sum f g) -- Defined in ‘Data.Functor.Sum’
    12247 
    -instance forall k1 (f :: k1 -> *). GHC.Internal.Generics.Generic1 (GHC.Internal.Data.Semigroup.Internal.Alt f) -- Defined in ‘GHC.Internal.Data.Semigroup.Internal’
    12248 
    -instance forall k1 (f :: k1 -> *). GHC.Internal.Generics.Generic1 (GHC.Internal.Data.Monoid.Ap f) -- Defined in ‘GHC.Internal.Data.Monoid’
    12249 12261 
     instance forall k (f :: k -> *) (g :: k -> *). GHC.Internal.Generics.Generic1 (f GHC.Internal.Generics.:*: g) -- Defined in ‘GHC.Internal.Generics’
    12250 12262 
     instance forall k (f :: k -> *) (g :: k -> *). GHC.Internal.Generics.Generic1 (f GHC.Internal.Generics.:+: g) -- Defined in ‘GHC.Internal.Generics’
    12251 12263 
     instance forall (f :: * -> *) k (g :: k -> *). GHC.Internal.Base.Functor f => GHC.Internal.Generics.Generic1 (f GHC.Internal.Generics.:.: g) -- Defined in ‘GHC.Internal.Generics’
    12264 
    +instance forall k (f :: k -> *). GHC.Internal.Generics.Generic1 (GHC.Internal.Data.Semigroup.Internal.Alt f) -- Defined in ‘GHC.Internal.Generics’
    12265 
    +instance forall k (f :: k -> *). GHC.Internal.Generics.Generic1 (GHC.Internal.Data.Monoid.Ap f) -- Defined in ‘GHC.Internal.Generics’
    12266 
    +instance forall k a. GHC.Internal.Generics.Generic1 (GHC.Internal.Data.Functor.Const.Const a) -- Defined in ‘GHC.Internal.Generics’
    12252 12267 
     instance forall k i c. GHC.Internal.Generics.Generic1 (GHC.Internal.Generics.K1 i c) -- Defined in ‘GHC.Internal.Generics’
    12253 12268 
     instance forall i (c :: GHC.Internal.Generics.Meta) k (f :: k -> *). GHC.Internal.Generics.Generic1 (GHC.Internal.Generics.M1 i c f) -- Defined in ‘GHC.Internal.Generics’
    12254 12269 
     instance forall k. GHC.Internal.Generics.Generic1 GHC.Internal.Data.Proxy.Proxy -- Defined in ‘GHC.Internal.Generics’
    ... ... @@ -12428,6 +12443,7 @@ instance forall a. GHC.Internal.Read.Read a => GHC.Internal.Read.Read (GHC.Inter
    12428 12443 
     instance forall a. GHC.Internal.Read.Read a => GHC.Internal.Read.Read (GHC.Internal.Data.Bits.Xor a) -- Defined in ‘GHC.Internal.Data.Bits’
    12429 12444 
     instance forall a b. (GHC.Internal.Ix.Ix a, GHC.Internal.Read.Read a, GHC.Internal.Read.Read b) => GHC.Internal.Read.Read (GHC.Internal.Arr.Array a b) -- Defined in ‘GHC.Internal.Read’
    12430 12445 
     instance GHC.Internal.Read.Read GHC.Internal.Types.Bool -- Defined in ‘GHC.Internal.Read’
    12446 
    +instance GHC.Internal.Read.Read GHC.Internal.ByteOrder.ByteOrder -- Defined in ‘GHC.Internal.Read’
    12431 12447 
     instance GHC.Internal.Read.Read GHC.Internal.Types.Char -- Defined in ‘GHC.Internal.Read’
    12432 12448 
     instance GHC.Internal.Read.Read GHC.Internal.Types.Double -- Defined in ‘GHC.Internal.Read’
    12433 12449 
     instance GHC.Internal.Read.Read GHC.Internal.Types.Float -- Defined in ‘GHC.Internal.Read’
    ... ... @@ -12523,7 +12539,6 @@ instance GHC.Internal.Read.Read GHC.Internal.Foreign.C.Types.CULong -- Defined i
    12523 12539 
     instance GHC.Internal.Read.Read GHC.Internal.Foreign.C.Types.CUSeconds -- Defined in ‘GHC.Internal.Foreign.C.Types’
    12524 12540 
     instance GHC.Internal.Read.Read GHC.Internal.Foreign.C.Types.CUShort -- Defined in ‘GHC.Internal.Foreign.C.Types’
    12525 12541 
     instance GHC.Internal.Read.Read GHC.Internal.Foreign.C.Types.CWchar -- Defined in ‘GHC.Internal.Foreign.C.Types’
    12526 
    -instance GHC.Internal.Read.Read GHC.Internal.ByteOrder.ByteOrder -- Defined in ‘GHC.Internal.ByteOrder’
    12527 12542 
     instance forall k (f :: k -> *) (g :: k -> *) (p :: k). (GHC.Internal.Read.Read (f p), GHC.Internal.Read.Read (g p)) => GHC.Internal.Read.Read ((GHC.Internal.Generics.:*:) f g p) -- Defined in ‘GHC.Internal.Generics’
    12528 12543 
     instance forall k (f :: k -> *) (g :: k -> *) (p :: k). (GHC.Internal.Read.Read (f p), GHC.Internal.Read.Read (g p)) => GHC.Internal.Read.Read ((GHC.Internal.Generics.:+:) f g p) -- Defined in ‘GHC.Internal.Generics’
    12529 12544 
     instance forall k2 (f :: k2 -> *) k1 (g :: k1 -> k2) (p :: k1). GHC.Internal.Read.Read (f (g p)) => GHC.Internal.Read.Read ((GHC.Internal.Generics.:.:) f g p) -- Defined in ‘GHC.Internal.Generics’

    • —
    View it on GitLab.
    You're receiving this email because of your account on gitlab.haskell.org. Manage all notifications · Help