parameterized-utils v2.1.1 Release Notes

Release Date: 2020-07-30 // about 1 year ago
    • Added drop and appendEmbeddingLeft functions to the Context module.
    • Fixes/updates to haddock documentation (fixing Issue #74).
    • Allow tasty v1.3 for testing (thanks to felixonmars)

Previous changes from v2.1.0

    • Added plusAssoc to the NatRepr module to produce + associativity evidence.
    • Changed the HashTable module to use the Basic instead of the Cuckoo implementation strategy.
    • Added explicit kind parameters to various definitions to support GHC 8.10's adoption of proposal 103. This is a modification to the type signatures which may impact backward-compatibility and require updates, especially for any uses of TypeApplications.
    • No longer verifying support for GHC 8.2 or earlier.
    • Updated the minimum cabal version to 1.10 and specify the default-language as Haskell2010.