diff --git a/containers/src/Data/IntMap/Internal.hs b/containers/src/Data/IntMap/Internal.hs index 38f7c84195fa7ed6bdb3954ce881a7438b4be520..b2e5abe3abb2ffd21bfa1ddb0bcd59649daa4dd9 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 639d1acba49804c2cc978eb65ef8a6406d16a678..12bcdd593b39b992f4b292be1536f2c73791ff15 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 29215efbeab0c5c00fc7bcf7a7f544a7af4ad672..7835db292d68705ed3dffdcc908924fb4ae91f79 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 40cc2d3082425addabf518b42b47a9c86465b5ae..1a9abb5328c3a229cfb9a0110ac9959a8eef2a61 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 ab1d1174442218c831671aabc8a8f4c95e089ac6..d0833962cb9b427194f2febad3b2e9e9ed313235 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 97b11cf22bbff39c2f51d294570e92bcc3ad2774..3bde46e976d071cc7c475789d69dd98c79635c57 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