binary-generic-combinators 0.4.4.0 → 0.4.4.1
raw patch · 4 files changed
+9/−5 lines, 4 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Data.Binary.Combinators: instance forall k (ty :: k) (n :: GHC.Types.Nat). GHC.Classes.Eq (Data.Binary.Combinators.SkipCount ty n)
- Data.Binary.Combinators: instance forall k (ty :: k) (n :: GHC.Types.Nat). GHC.Classes.Ord (Data.Binary.Combinators.SkipCount ty n)
- Data.Binary.Combinators: instance forall k (ty :: k) (n :: GHC.Types.Nat). GHC.Show.Show (Data.Binary.Combinators.SkipCount ty n)
- Data.Binary.Combinators: instance forall k (ty :: k) (n :: GHC.Types.Nat). Test.QuickCheck.Arbitrary.Arbitrary (Data.Binary.Combinators.SkipCount ty n)
+ Data.Binary.Combinators: instance forall k (ty :: k) (n :: GHC.TypeNats.Nat). GHC.Classes.Eq (Data.Binary.Combinators.SkipCount ty n)
+ Data.Binary.Combinators: instance forall k (ty :: k) (n :: GHC.TypeNats.Nat). GHC.Classes.Ord (Data.Binary.Combinators.SkipCount ty n)
+ Data.Binary.Combinators: instance forall k (ty :: k) (n :: GHC.TypeNats.Nat). GHC.Show.Show (Data.Binary.Combinators.SkipCount ty n)
+ Data.Binary.Combinators: instance forall k (ty :: k) (n :: GHC.TypeNats.Nat). Test.QuickCheck.Arbitrary.Arbitrary (Data.Binary.Combinators.SkipCount ty n)
- Data.Binary.Combinators: CountedBy :: [a] -> CountedBy ty a
+ Data.Binary.Combinators: CountedBy :: [a] -> CountedBy (ty :: k) a
- Data.Binary.Combinators: SkipCount :: SkipCount ty (n :: Nat)
+ Data.Binary.Combinators: SkipCount :: SkipCount (ty :: k) (n :: Nat)
- Data.Binary.Combinators: [getCounted] :: CountedBy ty a -> [a]
+ Data.Binary.Combinators: [getCounted] :: CountedBy (ty :: k) a -> [a]
- Data.Binary.Combinators: data MatchBytes (ctx :: Symbol) (bytes :: [Nat]) :: Type
+ Data.Binary.Combinators: data MatchBytes (ctx :: Symbol) (bytes :: [Nat])
- Data.Binary.Combinators: data SkipCount ty (n :: Nat)
+ Data.Binary.Combinators: data SkipCount (ty :: k) (n :: Nat)
- Data.Binary.Combinators: matchASCII :: (KnownSymbol ctx, KnownSymbol ascii) => MatchASCII ctx ascii
+ Data.Binary.Combinators: matchASCII :: forall (ctx :: Symbol) (ascii :: Symbol). (KnownSymbol ctx, KnownSymbol ascii) => MatchASCII ctx ascii
- Data.Binary.Combinators: matchBytes :: MatchBytesSing ctx ns => MatchBytes ctx ns
+ Data.Binary.Combinators: matchBytes :: forall (ctx :: Symbol) (ns :: [Nat]). MatchBytesSing ctx ns => MatchBytes ctx ns
- Data.Binary.Combinators: newtype CountedBy ty a
+ Data.Binary.Combinators: newtype CountedBy (ty :: k) a
- Data.Binary.Combinators: type MatchByte ctx byte = MatchBytes ctx '[byte]
+ Data.Binary.Combinators: type MatchByte (ctx :: Symbol) (byte :: Nat) = MatchBytes ctx '[byte]
Files
- ChangeLog.md +4/−0
- binary-generic-combinators.cabal +3/−3
- src/Data/Binary/Combinators.hs +1/−1
- test/Spec.hs +1/−1
ChangeLog.md view
@@ -1,5 +1,9 @@ # Changelog for binary-generic-combinators +## v0.4.4.1++- QuickCheck 2.16 compatibility.+ ## v0.4.4.0 - Add `MatchASCII` helper.
binary-generic-combinators.cabal view
@@ -1,13 +1,13 @@ cabal-version: 1.12 --- This file has been generated from package.yaml by hpack version 0.34.4.+-- This file has been generated from package.yaml by hpack version 0.38.1. -- -- see: https://github.com/sol/hpack ----- hash: 5538ed4321c0204d5b35f264f98d0eb44d34283505bd06a5c140744f0f59dd64+-- hash: 878eb0cbcfea239b41db3096dd58b8d0819f4b7aa7b0141c3b66c74a5e1af72f name: binary-generic-combinators-version: 0.4.4.0+version: 0.4.4.1 synopsis: Combinators and utilities to make Generic-based deriving of Binary easier and more expressive description: Please see the README on GitHub at <https://github.com/0xd34df00d/binary-generic-combinators#readme> category: Data, Parsing
src/Data/Binary/Combinators.hs view
@@ -49,7 +49,7 @@ import Data.Proxy import GHC.TypeLits import Numeric-import Test.QuickCheck+import Test.QuickCheck (Arbitrary(..), getNonEmpty) -- | Zero or more elements of @a@, parsing as long as the parser for @a@ succeeds.
test/Spec.hs view
@@ -6,7 +6,7 @@ import Data.Int import GHC.Generics import Test.Hspec-import Test.QuickCheck+import Test.QuickCheck (property) import Test.QuickCheck.Arbitrary.Generic import System.ByteOrder