finitary-derive 2.1.0.0 → 2.2.0.0
raw patch · 4 files changed
+15/−6 lines, 4 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
- Data.Finitary.PackInto: pattern Packed :: forall (b :: Type) (a :: Type). (Finitary a, Finitary b, Cardinality a <= Cardinality b) => PackInto a b -> a
+ Data.Finitary.PackInto: pattern Packed :: forall (b :: Type) (a :: Type). (Finitary a, Finitary b, Cardinality a <= Cardinality b) => a -> PackInto a b
Files
- CHANGELOG.md +5/−0
- README.md +6/−2
- finitary-derive.cabal +1/−1
- src/Data/Finitary/PackInto.hs +3/−3
CHANGELOG.md view
@@ -1,5 +1,10 @@ # Revision history for finitary-derive +## 2.2.0.0 -- 2019-11-27++* Fix definition of ``Packed`` for ``PackInto`` to actually agree with the+ documentation.+ ## 2.1.0.0 -- 2019-11-24 * Fix bug in ``Ord`` instances for the ``Pack*`` types.
README.md view
@@ -114,8 +114,12 @@ ## Sounds good! Can I use it? -Certainly - we've tested on GHC 8.4.4, 8.6.5 and 8.8.1, on GNU/Linux only. If-you would like support for any additional GHC versions, let us know.+Certainly - we've tested on the following (all x86_64 only):++* __GNU/Linux:__ GHC 8.4.4, 8.6.5, 8.8.1+* __macOS:__ GHC 8.8.1++If you would like support for any additional GHC versions, let us know. Unfortunately, while the library will _build_ on 8.4.4, due to ``hedgehog-classes`` being limited to 8.6+, tests cannot be run on this version.
finitary-derive.cabal view
@@ -3,7 +3,7 @@ -- PVP summary: +-+------- breaking API changes -- | | +----- non-breaking API additions -- | | | +--- code changes with no API change-version: 2.1.0.0+version: 2.2.0.0 synopsis: Flexible and easy deriving of type classes for finitary types. description: Provides a collection of wrappers, allowing you to easily
src/Data/Finitary/PackInto.hs view
@@ -107,9 +107,9 @@ -- mind. pattern Packed :: forall (b :: Type) (a :: Type) . (Finitary a, Finitary b, Cardinality a <= Cardinality b) =>- PackInto a b -> a-pattern Packed x <- (packInto -> x)- where Packed x = unpackOutOf x+ a -> PackInto a b+pattern Packed x <- (unpackOutOf -> x)+ where Packed x = packInto x instance (Ord a, Finitary a, Finitary b, Cardinality a <= Cardinality b) => Ord (PackInto a b) where {-# INLINE compare #-}