packages feed

exinst-serialise 0.7.1 → 0.9

raw patch · 4 files changed

+12/−3 lines, 4 filesdep +exinst-basedep ~exinstPVP ok

version bump matches the API change (PVP)

Dependencies added: exinst-base

Dependency ranges changed: exinst

API changes (from Hackage documentation)

- Exinst.Serialise: instance forall k1 (f :: k1 -> *). (Data.Singletons.Internal.SingKind k1, Codec.Serialise.Class.Serialise (Data.Singletons.Internal.Demote k1), Exinst.Internal.Dict1 Codec.Serialise.Class.Serialise f) => Codec.Serialise.Class.Serialise (Exinst.Internal.Some1 f)
- Exinst.Serialise: instance forall k2 k1 (f :: k2 -> k1 -> *). (Data.Singletons.Internal.SingKind k2, Data.Singletons.Internal.SingKind k1, Codec.Serialise.Class.Serialise (Data.Singletons.Internal.Demote k2), Codec.Serialise.Class.Serialise (Data.Singletons.Internal.Demote k1), Exinst.Internal.Dict2 Codec.Serialise.Class.Serialise f) => Codec.Serialise.Class.Serialise (Exinst.Internal.Some2 f)
- Exinst.Serialise: instance forall k3 k2 k1 (f :: k3 -> k2 -> k1 -> *). (Data.Singletons.Internal.SingKind k3, Data.Singletons.Internal.SingKind k2, Data.Singletons.Internal.SingKind k1, Codec.Serialise.Class.Serialise (Data.Singletons.Internal.Demote k3), Codec.Serialise.Class.Serialise (Data.Singletons.Internal.Demote k2), Codec.Serialise.Class.Serialise (Data.Singletons.Internal.Demote k1), Exinst.Internal.Dict3 Codec.Serialise.Class.Serialise f) => Codec.Serialise.Class.Serialise (Exinst.Internal.Some3 f)
- Exinst.Serialise: instance forall k4 k3 k2 k1 (f :: k4 -> k3 -> k2 -> k1 -> *). (Data.Singletons.Internal.SingKind k4, Data.Singletons.Internal.SingKind k3, Data.Singletons.Internal.SingKind k2, Data.Singletons.Internal.SingKind k1, Codec.Serialise.Class.Serialise (Data.Singletons.Internal.Demote k4), Codec.Serialise.Class.Serialise (Data.Singletons.Internal.Demote k3), Codec.Serialise.Class.Serialise (Data.Singletons.Internal.Demote k2), Codec.Serialise.Class.Serialise (Data.Singletons.Internal.Demote k1), Exinst.Internal.Dict4 Codec.Serialise.Class.Serialise f) => Codec.Serialise.Class.Serialise (Exinst.Internal.Some4 f)
+ Exinst.Serialise: instance forall k1 (f :: k1 -> *). (Data.Singletons.SingKind k1, Codec.Serialise.Class.Serialise (Data.Singletons.Demote k1), Exinst.Internal.Dict1 Codec.Serialise.Class.Serialise f) => Codec.Serialise.Class.Serialise (Exinst.Internal.Some1 f)
+ Exinst.Serialise: instance forall k2 k1 (f :: k2 -> k1 -> *). (Data.Singletons.SingKind k2, Data.Singletons.SingKind k1, Codec.Serialise.Class.Serialise (Data.Singletons.Demote k2), Codec.Serialise.Class.Serialise (Data.Singletons.Demote k1), Exinst.Internal.Dict2 Codec.Serialise.Class.Serialise f) => Codec.Serialise.Class.Serialise (Exinst.Internal.Some2 f)
+ Exinst.Serialise: instance forall k3 k2 k1 (f :: k3 -> k2 -> k1 -> *). (Data.Singletons.SingKind k3, Data.Singletons.SingKind k2, Data.Singletons.SingKind k1, Codec.Serialise.Class.Serialise (Data.Singletons.Demote k3), Codec.Serialise.Class.Serialise (Data.Singletons.Demote k2), Codec.Serialise.Class.Serialise (Data.Singletons.Demote k1), Exinst.Internal.Dict3 Codec.Serialise.Class.Serialise f) => Codec.Serialise.Class.Serialise (Exinst.Internal.Some3 f)
+ Exinst.Serialise: instance forall k4 k3 k2 k1 (f :: k4 -> k3 -> k2 -> k1 -> *). (Data.Singletons.SingKind k4, Data.Singletons.SingKind k3, Data.Singletons.SingKind k2, Data.Singletons.SingKind k1, Codec.Serialise.Class.Serialise (Data.Singletons.Demote k4), Codec.Serialise.Class.Serialise (Data.Singletons.Demote k3), Codec.Serialise.Class.Serialise (Data.Singletons.Demote k2), Codec.Serialise.Class.Serialise (Data.Singletons.Demote k1), Exinst.Internal.Dict4 Codec.Serialise.Class.Serialise f) => Codec.Serialise.Class.Serialise (Exinst.Internal.Some4 f)

Files

CHANGELOG.md view
@@ -1,3 +1,9 @@+# Version 0.9++* Builds with GHC 9.4.++* Depends on `exinst>=0.9` and `exinst-base>=0.9`+ # Version 0.7.1  * Builds with GHC 8.10.
exinst-serialise.cabal view
@@ -1,5 +1,5 @@ name:                exinst-serialise-version:             0.7.1+version:             0.9 author:              Renzo Carbonara maintainer:          renλren!zone copyright:           Renzo Carbonara 2015@@ -8,7 +8,7 @@ extra-source-files:  README.md CHANGELOG.md category:            Data build-type:          Simple-cabal-version:       >=1.18+cabal-version:       1.18 synopsis:            Dependent pairs and their instances. homepage:            https://github.com/k0001/exinst bug-reports:         https://github.com/k0001/exinst/issues@@ -22,7 +22,7 @@       base >=4.9 && <5.0     , serialise     , constraints-    , exinst >=0.7+    , exinst >=0.9     , singletons   ghcjs-options: -Wall -O3   ghc-options: -Wall -O2@@ -36,6 +36,7 @@      base    , binary    , exinst+   , exinst-base    , exinst-serialise    , QuickCheck    , serialise
lib/Exinst/Serialise.hs view
@@ -1,4 +1,5 @@ {-# LANGUAGE DataKinds #-}+{-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE PolyKinds #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeInType #-}
tests/Main.hs view
@@ -20,6 +20,7 @@ import qualified Test.Tasty.QuickCheck as QC  import Exinst+import Exinst.Base () import Exinst.Serialise ()  --------------------------------------------------------------------------------