summaryrefslogtreecommitdiff
path: root/src/Data/Dependent
diff options
context:
space:
mode:
authorTom Smeding <t.j.smeding@uu.nl>2024-07-22 15:18:42 +0200
committerTom Smeding <t.j.smeding@uu.nl>2024-07-22 15:18:42 +0200
commitead35e571ddf77c227aba555fb745fd38ff8b96f (patch)
tree6f9fd05497c41cddb458cb3b0a995d7c8bd1b8df /src/Data/Dependent
parentfc17ab793e271f947697d42c3f9300424ae6cf4c (diff)
Fix type of insertWithKey
Diffstat (limited to 'src/Data/Dependent')
-rw-r--r--src/Data/Dependent/EnumMap/Strict.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Data/Dependent/EnumMap/Strict.hs b/src/Data/Dependent/EnumMap/Strict.hs
index 6c1f11a..21db518 100644
--- a/src/Data/Dependent/EnumMap/Strict.hs
+++ b/src/Data/Dependent/EnumMap/Strict.hs
@@ -61,7 +61,7 @@ insert k v (DEnumMap m) =
-- insertWith
insertWithKey :: Enum1 k
- => (forall b. k b -> v b -> v b -> v b)
+ => (k a -> v a -> v a -> v a)
-> k a -> v a -> DEnumMap k v -> DEnumMap k v
insertWithKey f k v (DEnumMap m) =
let (i, inf) = fromEnum1 k