binary-tagged 0.1.4.0 → 0.1.4.1
raw patch · 3 files changed
+12/−6 lines, 3 filesdep +base16-bytestringPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependencies added: base16-bytestring
API changes (from Hackage documentation)
- Data.Binary.Tagged: instance GHC.Generics.Constructor Data.Binary.Tagged.C1_0BinaryTagged
- Data.Binary.Tagged: instance GHC.Generics.Constructor Data.Binary.Tagged.C1_0StructuralInfo
- Data.Binary.Tagged: instance GHC.Generics.Constructor Data.Binary.Tagged.C1_1StructuralInfo
- Data.Binary.Tagged: instance GHC.Generics.Constructor Data.Binary.Tagged.C1_2StructuralInfo
- Data.Binary.Tagged: instance GHC.Generics.Datatype Data.Binary.Tagged.D1BinaryTagged
- Data.Binary.Tagged: instance GHC.Generics.Datatype Data.Binary.Tagged.D1StructuralInfo
- Data.Binary.Tagged: instance GHC.Generics.Selector Data.Binary.Tagged.S1_0_0BinaryTagged
- Data.Binary.Tagged: instance forall (k :: BOX) (v :: k) a. GHC.Base.Monoid a => GHC.Base.Monoid (Data.Binary.Tagged.BinaryTagged v a)
- Data.Binary.Tagged: instance forall (k :: BOX) (v :: k) a. GHC.Classes.Eq a => GHC.Classes.Eq (Data.Binary.Tagged.BinaryTagged v a)
- Data.Binary.Tagged: instance forall (k :: BOX) (v :: k) a. GHC.Classes.Ord a => GHC.Classes.Ord (Data.Binary.Tagged.BinaryTagged v a)
- Data.Binary.Tagged: instance forall (k :: BOX) (v :: k) a. GHC.Generics.Generic (Data.Binary.Tagged.BinaryTagged v a)
- Data.Binary.Tagged: instance forall (k :: BOX) (v :: k) a. GHC.Read.Read a => GHC.Read.Read (Data.Binary.Tagged.BinaryTagged v a)
- Data.Binary.Tagged: instance forall (k :: BOX) (v :: k) a. GHC.Show.Show a => GHC.Show.Show (Data.Binary.Tagged.BinaryTagged v a)
- Data.Binary.Tagged: instance forall (k :: BOX) (v :: k). Data.Foldable.Foldable (Data.Binary.Tagged.BinaryTagged v)
- Data.Binary.Tagged: instance forall (k :: BOX) (v :: k). Data.Traversable.Traversable (Data.Binary.Tagged.BinaryTagged v)
- Data.Binary.Tagged: instance forall (k :: BOX) (v :: k). GHC.Base.Applicative (Data.Binary.Tagged.BinaryTagged v)
- Data.Binary.Tagged: instance forall (k :: BOX) (v :: k). GHC.Base.Functor (Data.Binary.Tagged.BinaryTagged v)
- Data.Binary.Tagged: instance forall (k :: BOX) (v :: k). GHC.Base.Monad (Data.Binary.Tagged.BinaryTagged v)
- Data.Binary.Tagged: instance forall (k :: BOX) (v :: k). GHC.Generics.Generic1 (Data.Binary.Tagged.BinaryTagged v)
+ Data.Binary.Tagged: instance forall k (v :: k) a. GHC.Classes.Eq a => GHC.Classes.Eq (Data.Binary.Tagged.BinaryTagged v a)
+ Data.Binary.Tagged: instance forall k (v :: k) a. GHC.Classes.Ord a => GHC.Classes.Ord (Data.Binary.Tagged.BinaryTagged v a)
+ Data.Binary.Tagged: instance forall k (v :: k) a. GHC.Generics.Generic (Data.Binary.Tagged.BinaryTagged v a)
+ Data.Binary.Tagged: instance forall k (v :: k) a. GHC.Read.Read a => GHC.Read.Read (Data.Binary.Tagged.BinaryTagged v a)
+ Data.Binary.Tagged: instance forall k (v :: k) a. GHC.Show.Show a => GHC.Show.Show (Data.Binary.Tagged.BinaryTagged v a)
+ Data.Binary.Tagged: instance forall k (v :: k). Data.Foldable.Foldable (Data.Binary.Tagged.BinaryTagged v)
+ Data.Binary.Tagged: instance forall k (v :: k). Data.Traversable.Traversable (Data.Binary.Tagged.BinaryTagged v)
+ Data.Binary.Tagged: instance forall k (v :: k). GHC.Base.Applicative (Data.Binary.Tagged.BinaryTagged v)
+ Data.Binary.Tagged: instance forall k (v :: k). GHC.Base.Functor (Data.Binary.Tagged.BinaryTagged v)
+ Data.Binary.Tagged: instance forall k (v :: k). GHC.Base.Monad (Data.Binary.Tagged.BinaryTagged v)
+ Data.Binary.Tagged: instance forall k (v :: k). GHC.Generics.Generic1 (Data.Binary.Tagged.BinaryTagged v)
+ Data.Binary.Tagged: instance forall k a (v :: k). GHC.Base.Monoid a => GHC.Base.Monoid (Data.Binary.Tagged.BinaryTagged v a)
+ Data.Binary.Tagged: type SemanticVersion a = 0;
+ Data.Binary.Tagged: type family SemanticVersion a :: Nat;
+ Data.Binary.Tagged: }
- Data.Binary.Tagged: class KnownNat (SemanticVersion a) => HasSemanticVersion (a :: *) where type family SemanticVersion a :: Nat SemanticVersion a = 0
+ Data.Binary.Tagged: class KnownNat (SemanticVersion a) => HasSemanticVersion (a :: *) where type SemanticVersion a :: Nat type SemanticVersion a = 0 where {
- Data.Binary.Tagged: ghcStructuralInfo1 :: (Generic1 f, GDatatypeInfo (f a), HasStructuralInfo a) => Proxy (f a) -> StructuralInfo
+ Data.Binary.Tagged: ghcStructuralInfo1 :: forall f a. (Generic1 f, GDatatypeInfo (f a), HasStructuralInfo a) => Proxy (f a) -> StructuralInfo
- Data.Binary.Tagged: sopNominalType :: (Generic a, HasDatatypeInfo a) => Proxy a -> StructuralInfo
+ Data.Binary.Tagged: sopNominalType :: forall a. (Generic a, HasDatatypeInfo a) => Proxy a -> StructuralInfo
- Data.Binary.Tagged: sopStructuralInfo :: (Generic a, HasDatatypeInfo a, All2 HasStructuralInfo (Code a)) => Proxy a -> StructuralInfo
+ Data.Binary.Tagged: sopStructuralInfo :: forall a. (Generic a, HasDatatypeInfo a, All2 HasStructuralInfo (Code a)) => Proxy a -> StructuralInfo
- Data.Binary.Tagged: sopStructuralInfo1 :: (Generic (f a), HasDatatypeInfo (f a), HasStructuralInfo a) => Proxy (f a) -> StructuralInfo
+ Data.Binary.Tagged: sopStructuralInfo1 :: forall f a. (Generic (f a), HasDatatypeInfo (f a), HasStructuralInfo a) => Proxy (f a) -> StructuralInfo
- Data.Binary.Tagged: sopStructuralInfoS :: (All2 HasStructuralInfo xss, SListI2 xss) => DatatypeInfo xss -> StructuralInfo
+ Data.Binary.Tagged: sopStructuralInfoS :: forall xss. (All2 HasStructuralInfo xss, SListI2 xss) => DatatypeInfo xss -> StructuralInfo
- Data.Binary.Tagged: structuralInfo :: HasStructuralInfo a => Proxy a -> StructuralInfo
+ Data.Binary.Tagged: structuralInfo :: (HasStructuralInfo a, Generic a, All2 HasStructuralInfo (GCode a), GDatatypeInfo a, SListI2 (GCode a)) => Proxy a -> StructuralInfo
- Data.Binary.Tagged: taggedDecode :: (HasStructuralInfo a, HasSemanticVersion a, Binary a) => ByteString -> a
+ Data.Binary.Tagged: taggedDecode :: forall a. (HasStructuralInfo a, HasSemanticVersion a, Binary a) => ByteString -> a
- Data.Binary.Tagged: taggedDecodeFile :: (HasStructuralInfo a, HasSemanticVersion a, Binary a) => FilePath -> IO a
+ Data.Binary.Tagged: taggedDecodeFile :: forall a. (HasStructuralInfo a, HasSemanticVersion a, Binary a) => FilePath -> IO a
- Data.Binary.Tagged: taggedDecodeFileOrFail :: (HasStructuralInfo a, HasSemanticVersion a, Binary a) => FilePath -> IO (Either (ByteOffset, String) a)
+ Data.Binary.Tagged: taggedDecodeFileOrFail :: forall a. (HasStructuralInfo a, HasSemanticVersion a, Binary a) => FilePath -> IO (Either (ByteOffset, String) a)
- Data.Binary.Tagged: taggedDecodeOrFail :: (HasStructuralInfo a, HasSemanticVersion a, Binary a) => ByteString -> Either (ByteString, ByteOffset, String) (ByteString, ByteOffset, a)
+ Data.Binary.Tagged: taggedDecodeOrFail :: forall a. (HasStructuralInfo a, HasSemanticVersion a, Binary a) => ByteString -> Either (ByteString, ByteOffset, String) (ByteString, ByteOffset, a)
- Data.Binary.Tagged: taggedEncode :: (HasStructuralInfo a, HasSemanticVersion a, Binary a) => a -> ByteString
+ Data.Binary.Tagged: taggedEncode :: forall a. (HasStructuralInfo a, HasSemanticVersion a, Binary a) => a -> ByteString
- Data.Binary.Tagged: taggedEncodeFile :: (HasStructuralInfo a, HasSemanticVersion a, Binary a) => FilePath -> a -> IO ()
+ Data.Binary.Tagged: taggedEncodeFile :: forall a. (HasStructuralInfo a, HasSemanticVersion a, Binary a) => FilePath -> a -> IO ()
Files
- CHANGELOG.md +2/−0
- binary-tagged.cabal +8/−5
- src/Data/Binary/Tagged.hs +2/−1
CHANGELOG.md view
@@ -1,3 +1,5 @@+- 0.1.4.1 (2016-09-20)+ - Print mismatching hashes in base16 encoding - 0.1.4.0 (2016-04-12) - Add semigroups types - Add Natural
binary-tagged.cabal view
@@ -1,9 +1,9 @@--- This file has been generated from package.yaml by hpack version 0.11.2.+-- This file has been generated from package.yaml by hpack version 0.14.1. -- -- see: https://github.com/sol/hpack name: binary-tagged-version: 0.1.4.0+version: 0.1.4.1 synopsis: Tagged binary serialisation. description: Check <https://github.com/phadej/binary-tagged#readme README on Github> category: Web@@ -31,8 +31,9 @@ ghc-options: -Wall build-depends: base >=4.7 && <4.10- , aeson >=0.8 && <0.12+ , aeson >=0.8 && <1.1 , array >=0.5 && <0.6+ , base16-bytestring >=0.1.1.6 && <0.2 , binary >=0.7 && <0.9 , bytestring >=0.10 && <0.11 , containers >=0.5 && <0.6@@ -59,8 +60,9 @@ ghc-options: -Wall build-depends: base >=4.7 && <4.10- , aeson >=0.8 && <0.12+ , aeson >=0.8 && <1.1 , array >=0.5 && <0.6+ , base16-bytestring >=0.1.1.6 && <0.2 , binary >=0.7 && <0.9 , bytestring >=0.10 && <0.11 , containers >=0.5 && <0.6@@ -95,8 +97,9 @@ ghc-options: -Wall build-depends: base >=4.7 && <4.10- , aeson >=0.8 && <0.12+ , aeson >=0.8 && <1.1 , array >=0.5 && <0.6+ , base16-bytestring >=0.1.1.6 && <0.2 , binary >=0.7 && <0.9 , bytestring >=0.10 && <0.11 , containers >=0.5 && <0.6
src/Data/Binary/Tagged.hs view
@@ -97,6 +97,7 @@ import Data.Binary.Get (ByteOffset) import Data.ByteString as BS import Data.ByteString.Lazy as LBS+import qualified Data.ByteString.Base16.Lazy as Base16 import Data.Digest.Pure.SHA import Data.Monoid ((<>)) import Data.Proxy@@ -222,7 +223,7 @@ then do hash <- get if hash == hash' then fmap BinaryTagged get- else fail $ "Non matching structure hashes: got" <> show hash <> "; expected: " <> show hash'+ else fail $ "Non matching structure hashes: got" <> show (Base16.encode hash) <> "; expected: " <> show (Base16.encode hash') else fail $ "Non matching versions: got " <> show ver <> "; expected: " <> show ver' where proxyV = Proxy :: Proxy v