From aa963c0c64570236da2cde86b8f369e4325f6a4c Mon Sep 17 00:00:00 2001
From: Simon Jakobi <simon.jakobi@gmail.com>
Date: Sat, 30 May 2020 01:24:22 +0200
Subject: [PATCH] Update since-annotations
Context: #717
---
containers/src/Data/IntMap/Internal.hs | 2 +-
containers/src/Data/IntMap/Strict/Internal.hs | 2 +-
containers/src/Data/IntSet/Internal.hs | 4 ++++
containers/src/Data/Map/Internal.hs | 3 ++-
containers/src/Data/Map/Strict/Internal.hs | 2 +-
containers/src/Data/Set/Internal.hs | 2 ++
6 files changed, 11 insertions(+), 4 deletions(-)
diff --git a/containers/src/Data/IntMap/Internal.hs b/containers/src/Data/IntMap/Internal.hs
index 38f7c841..b2e5abe3 100644
--- a/containers/src/Data/IntMap/Internal.hs
+++ b/containers/src/Data/IntMap/Internal.hs
@@ -781,7 +781,7 @@ disjoint t1@(Bin p1 m1 l1 r1) t2@(Bin p2 m2 l2 r2)
-- ('compose' bc ab '!?') = (bc '!?') <=< (ab '!?')
-- @
--
--- @since UNRELEASED
+-- @since 0.6.3.1
compose :: IntMap c -> IntMap Int -> IntMap c
compose bc !ab
| null bc = empty
diff --git a/containers/src/Data/IntMap/Strict/Internal.hs b/containers/src/Data/IntMap/Strict/Internal.hs
index 639d1acb..12bcdd59 100644
--- a/containers/src/Data/IntMap/Strict/Internal.hs
+++ b/containers/src/Data/IntMap/Strict/Internal.hs
@@ -731,7 +731,7 @@ intersectionWithKey f m1 m2
-- ('compose' bc ab '!?') = (bc '!?') <=< (ab '!?')
-- @
--
--- @since UNRELEASED
+-- @since 0.6.3.1
compose :: IntMap c -> IntMap Int -> IntMap c
compose bc !ab
| null bc = empty
diff --git a/containers/src/Data/IntSet/Internal.hs b/containers/src/Data/IntSet/Internal.hs
index 29215efb..7835db29 100644
--- a/containers/src/Data/IntSet/Internal.hs
+++ b/containers/src/Data/IntSet/Internal.hs
@@ -516,6 +516,8 @@ deleteBM _ _ Nil = Nil
-- @
--
-- Note: 'alterF' is a variant of the @at@ combinator from "Control.Lens.At".
+--
+-- @since 0.6.3.1
alterF :: Functor f => (Bool -> f Bool) -> Key -> IntSet -> f IntSet
alterF f k s = fmap choose (f member_)
where
@@ -957,6 +959,8 @@ map f = fromList . List.map f . toList
-- > and [x < y ==> f x < f y | x <- ls, y <- ls]
-- > ==> mapMonotonic f s == map f s
-- > where ls = toList s
+--
+-- @since 0.6.3.1
-- Note that for now the test is insufficient to support any fancier implementation.
mapMonotonic :: (Key -> Key) -> IntSet -> IntSet
diff --git a/containers/src/Data/Map/Internal.hs b/containers/src/Data/Map/Internal.hs
index 40cc2d30..1a9abb53 100644
--- a/containers/src/Data/Map/Internal.hs
+++ b/containers/src/Data/Map/Internal.hs
@@ -2104,7 +2104,7 @@ disjoint (Bin _ k _ l r) t
-- ('compose' bc ab '!?') = (bc '!?') <=< (ab '!?')
-- @
--
--- @since UNRELEASED
+-- @since 0.6.3.1
compose :: Ord b => Map b c -> Map a b -> Map a c
compose bc !ab
| null bc = empty
@@ -4282,6 +4282,7 @@ instance Foldable.Foldable (Map k) where
#endif
#if MIN_VERSION_base(4,10,0)
+-- | @since 0.6.3.1
instance Bifoldable Map where
bifold = go
where go Tip = mempty
diff --git a/containers/src/Data/Map/Strict/Internal.hs b/containers/src/Data/Map/Strict/Internal.hs
index ab1d1174..d0833962 100644
--- a/containers/src/Data/Map/Strict/Internal.hs
+++ b/containers/src/Data/Map/Strict/Internal.hs
@@ -1216,7 +1216,7 @@ forceMaybe m@(Just !_) = m
-- ('compose' bc ab '!?') = (bc '!?') <=< (ab '!?')
-- @
--
--- @since UNRELEASED
+-- @since 0.6.3.1
compose :: Ord b => Map b c -> Map a b -> Map a c
compose bc !ab
| null bc = empty
diff --git a/containers/src/Data/Set/Internal.hs b/containers/src/Data/Set/Internal.hs
index 97b11cf2..3bde46e9 100644
--- a/containers/src/Data/Set/Internal.hs
+++ b/containers/src/Data/Set/Internal.hs
@@ -612,6 +612,8 @@ delete = go
-- the given value.
--
-- Note: 'alterF' is a variant of the @at@ combinator from "Control.Lens.At".
+--
+-- @since 0.6.3.1
alterF :: (Ord a, Functor f) => (Bool -> f Bool) -> a -> Set a -> f (Set a)
alterF f k s = fmap choose (f member_)
where
--
GitLab