diff options
author | Tom Smeding <tom@tomsmeding.com> | 2025-05-13 14:13:05 +0200 |
---|---|---|
committer | Tom Smeding <tom@tomsmeding.com> | 2025-05-13 14:13:05 +0200 |
commit | 18eea16c22fdd6027c5b6a380ba5e8884bf02c34 (patch) | |
tree | 710c740f1ba621700566ac4063ce756cc7a8266a | |
parent | cff78499d8754b03254716e1d02208cadf1d8ad5 (diff) |
-rw-r--r-- | src/Data/Dependent/EnumMap/Strict/Internal.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Data/Dependent/EnumMap/Strict/Internal.hs b/src/Data/Dependent/EnumMap/Strict/Internal.hs index f797147..dcad7d1 100644 --- a/src/Data/Dependent/EnumMap/Strict/Internal.hs +++ b/src/Data/Dependent/EnumMap/Strict/Internal.hs @@ -524,7 +524,7 @@ partitionWithKey f (DEnumMap m) = bimap DEnumMap DEnumMap (IM.partitionWithKey (\i (KV inf v) -> case toEnum1 i inf of Some k -> f k (coe1 v)) m) -- | \(O(\min(n,W)^2)\). Because of the lack of a @takeWhileAntitoneWithValue@ --- operation on 'IntMap', this function performs additional lookups to +-- operation on 'Data.IntMap.Strict.IntMap', this function performs additional lookups to -- reconstruct the full keys to pass to the predicate, resulting in a somewhat -- worse complexity than 'IM.takeWhileAntitone'. takeWhileAntitone :: Enum1 k => (forall a. k a -> Bool) -> DEnumMap k v -> DEnumMap k v |