diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2024-07-22 15:18:42 +0200 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2024-07-22 15:18:42 +0200 |
| commit | ead35e571ddf77c227aba555fb745fd38ff8b96f (patch) | |
| tree | 6f9fd05497c41cddb458cb3b0a995d7c8bd1b8df /src/Data/Dependent | |
| parent | fc17ab793e271f947697d42c3f9300424ae6cf4c (diff) | |
Fix type of insertWithKey
Diffstat (limited to 'src/Data/Dependent')
| -rw-r--r-- | src/Data/Dependent/EnumMap/Strict.hs | 2 |
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 |