@@ -9,9 +9,6 @@
9 + Added `MonadTrans` for `RWST`.
9 + Added `MonadTrans` for `RWST`.
10+ Added utility functions to `Data.SortedMap` and `Data.SortedSet` (`contrib`),
10+ Added utility functions to `Data.SortedMap` and `Data.SortedSet` (`contrib`),
11 most notably `merge`, merging two maps by their `Semigroup` op (`<+>`)
11 most notably `merge`, merging two maps by their `Semigroup` op (`<+>`)
12−+ Added utility functions to `Data.SortedMap` and `Data.SortedSet` (`contrib`),
13− most notably `merge`, merging two maps by their `Semigroup` op (`<+>`)
15+ `Prelude.WellFounded` now contains an interface `Sized a` that defines a size
12+ `Prelude.WellFounded` now contains an interface `Sized a` that defines a size
16 mapping from `a` to `Nat`. For example, there is an implementation for lists,
13 mapping from `a` to `Nat`. For example, there is an implementation for lists,
17 where `size = length`.
14 where `size = length`.