summaryrefslogtreecommitdiff
path: root/libraries/base/Data/Foldable.hs
diff options
context:
space:
mode:
authorChaitanya Koparkar <ckoparkar@gmail.com>2018-03-02 16:12:56 -0500
committerBen Gamari <ben@smart-cactus.org>2018-03-02 16:13:07 -0500
commit5c28ee88dd66617b0fd5dbe0d90142ce983a547e (patch)
tree8322c8ec668e4a3db7eeafe6ac11f113ea570094 /libraries/base/Data/Foldable.hs
parent6a7e159ce25b432824f8757e0c768f2b2e2754df (diff)
downloadhaskell-5c28ee88dd66617b0fd5dbe0d90142ce983a547e.tar.gz
Add @since annotations for derived instances in base
Test Plan: ./validate Reviewers: hvr, goldfire, bgamari, RyanGlScott Reviewed By: RyanGlScott Subscribers: rwbarton, thomie, carter GHC Trac Issues: #11767 Differential Revision: https://phabricator.haskell.org/D4452
Diffstat (limited to 'libraries/base/Data/Foldable.hs')
-rw-r--r--libraries/base/Data/Foldable.hs27
1 files changed, 27 insertions, 0 deletions
diff --git a/libraries/base/Data/Foldable.hs b/libraries/base/Data/Foldable.hs
index 2656efa103..3fa57485d6 100644
--- a/libraries/base/Data/Foldable.hs
+++ b/libraries/base/Data/Foldable.hs
@@ -439,19 +439,46 @@ instance Foldable U1 where
sum _ = 0
product _ = 1
+-- | @since 4.9.0.0
deriving instance Foldable V1
+
+-- | @since 4.9.0.0
deriving instance Foldable Par1
+
+-- | @since 4.9.0.0
deriving instance Foldable f => Foldable (Rec1 f)
+
+-- | @since 4.9.0.0
deriving instance Foldable (K1 i c)
+
+-- | @since 4.9.0.0
deriving instance Foldable f => Foldable (M1 i c f)
+
+-- | @since 4.9.0.0
deriving instance (Foldable f, Foldable g) => Foldable (f :+: g)
+
+-- | @since 4.9.0.0
deriving instance (Foldable f, Foldable g) => Foldable (f :*: g)
+
+-- | @since 4.9.0.0
deriving instance (Foldable f, Foldable g) => Foldable (f :.: g)
+
+-- | @since 4.9.0.0
deriving instance Foldable UAddr
+
+-- | @since 4.9.0.0
deriving instance Foldable UChar
+
+-- | @since 4.9.0.0
deriving instance Foldable UDouble
+
+-- | @since 4.9.0.0
deriving instance Foldable UFloat
+
+-- | @since 4.9.0.0
deriving instance Foldable UInt
+
+-- | @since 4.9.0.0
deriving instance Foldable UWord
-- | Monadic fold over the elements of a structure,