- Update to GHC 8.8.2 and singletons-2.6.
- Made NMap and NSum polymorphic over the kind of the key. (Perhaps 'Natural' keys would be useful as well.) This is a breaking API change, because the qualifier for the kind of the key must go before the qualifier for the typelevel lists, potentially breaking TypeApplication uses.
- Add Eq and Ord instances for NMap and NSum
- Add a testsuite
Quickfix for an oversight in the uninsertSum
function that broke
splitSum
.
Initial release. Expect the public-facing API to change as the library is reworked.