Use consistent notation for complexity annotation (#729)

Author: alexfmpe

containers/src/Data/IntMap/Internal.hs

@@ -771,10 +771,12 @@ disjoint t1@(Bin p1 m1 l1 r1) t2@(Bin p2 m2 l2 r2)
 {--------------------------------------------------------------------
   Compose
 --------------------------------------------------------------------}
--- | /O(|ab|*min(|bc|,W))/. Relate the keys of one map to the values of
+-- | Relate the keys of one map to the values of
 -- the other, by using the values of the former as keys for lookups
 -- in the latter.
 --
+-- Complexity: \( O(n * \min(m,W)) \), where \(m\) is the size of the first argument
+--
 -- > compose (fromList [('a', "A"), ('b', "B")]) (fromList [(1,'a'),(2,'b'),(3,'z')]) = fromList [(1,"A"),(2,"B")]
 --
 -- @

containers/src/Data/IntMap/Strict/Internal.hs

@@ -721,10 +721,12 @@ intersectionWithKey f m1 m2
 {--------------------------------------------------------------------
   Compose
 --------------------------------------------------------------------}
--- | /O(|ab|*min(|bc|,W))/. Relate the keys of one map to the values of
+-- | Relate the keys of one map to the values of
 -- the other, by using the values of the former as keys for lookups
 -- in the latter.
 --
+-- Complexity: \( O(n * \min(m,W)) \), where \(m\) is the size of the first argument
+--
 -- > compose (fromList [('a', "A"), ('b', "B")]) (fromList [(1,'a'),(2,'b'),(3,'z')]) = fromList [(1,"A"),(2,"B")]
 --
 -- @

containers/src/Data/Map/Internal.hs

@@ -2094,10 +2094,12 @@ disjoint (Bin _ k _ l r) t
 {--------------------------------------------------------------------
   Compose
 --------------------------------------------------------------------}
--- | /O(|ab|*log(|bc|))/. Relate the keys of one map to the values of
+-- | Relate the keys of one map to the values of
 -- the other, by using the values of the former as keys for lookups
 -- in the latter.
 --
+-- Complexity: \( O (n * \log(m)) \), where \(m\) is the size of the first argument
+--
 -- > compose (fromList [('a', "A"), ('b', "B")]) (fromList [(1,'a'),(2,'b'),(3,'z')]) = fromList [(1,"A"),(2,"B")]
 --
 -- @

containers/src/Data/Map/Strict/Internal.hs

@@ -1206,10 +1206,12 @@ forceMaybe m@(Just !_) = m
 {--------------------------------------------------------------------
   Compose
 --------------------------------------------------------------------}
--- | /O(|ab|*log(|bc|))/. Relate the keys of one map to the values of
+-- | Relate the keys of one map to the values of
 -- the other, by using the values of the former as keys for lookups
 -- in the latter.
 --
+-- Complexity: \( O (n * \log(m)) \), where \(m\) is the size of the first argument
+--
 -- > compose (fromList [('a', "A"), ('b', "B")]) (fromList [(1,'a'),(2,'b'),(3,'z')]) = fromList [(1,"A"),(2,"B")]
 --
 -- @