diff options
author | Tom Smeding <tom@tomsmeding.com> | 2025-05-12 21:58:28 +0200 |
---|---|---|
committer | Tom Smeding <tom@tomsmeding.com> | 2025-05-12 21:58:28 +0200 |
commit | 15940dd4f281fd76162d9f33c36abb64ffdb303c (patch) | |
tree | 98e14a46409be9f46ba13bf00734b113b4d6f199 | |
parent | 53be550fbb9068633a0709a55cfe86cd18520af5 (diff) |
Fix typo
Thanks Mikolaj :)
-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 4e4c566..2735620 100644 --- a/src/Data/Dependent/EnumMap/Strict/Internal.hs +++ b/src/Data/Dependent/EnumMap/Strict/Internal.hs @@ -525,7 +525,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 has performs additional lookups to +-- operation on '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 |