binary-tagged 0.1.5 → 0.1.5.1
raw patch · 3 files changed
+39/−22 lines, 3 filesdep ~arraydep ~basedep ~binaryPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: array, base, binary, bytestring, containers, generics-sop, nats, semigroups, text, time
API changes (from Hackage documentation)
- Data.Binary.Tagged: instance Data.Binary.Tagged.HasSemanticVersion Data.Monoid.All
- Data.Binary.Tagged: instance Data.Binary.Tagged.HasSemanticVersion Data.Monoid.Any
- Data.Binary.Tagged: instance Data.Binary.Tagged.HasSemanticVersion a => Data.Binary.Tagged.HasSemanticVersion (Data.List.NonEmpty.NonEmpty a)
- Data.Binary.Tagged: instance Data.Binary.Tagged.HasSemanticVersion a => Data.Binary.Tagged.HasSemanticVersion (Data.Monoid.Dual a)
- Data.Binary.Tagged: instance Data.Binary.Tagged.HasSemanticVersion a => Data.Binary.Tagged.HasSemanticVersion (Data.Monoid.Product a)
- Data.Binary.Tagged: instance Data.Binary.Tagged.HasSemanticVersion a => Data.Binary.Tagged.HasSemanticVersion (Data.Monoid.Sum a)
- Data.Binary.Tagged: instance Data.Binary.Tagged.HasStructuralInfo Data.Monoid.All
- Data.Binary.Tagged: instance Data.Binary.Tagged.HasStructuralInfo Data.Monoid.Any
- Data.Binary.Tagged: instance Data.Binary.Tagged.HasStructuralInfo a => Data.Binary.Tagged.HasStructuralInfo (Data.List.NonEmpty.NonEmpty a)
- Data.Binary.Tagged: instance Data.Binary.Tagged.HasStructuralInfo a => Data.Binary.Tagged.HasStructuralInfo (Data.Monoid.Dual a)
- Data.Binary.Tagged: instance Data.Binary.Tagged.HasStructuralInfo a => Data.Binary.Tagged.HasStructuralInfo (Data.Monoid.Product a)
- Data.Binary.Tagged: instance Data.Binary.Tagged.HasStructuralInfo a => Data.Binary.Tagged.HasStructuralInfo (Data.Monoid.Sum a)
- Data.Binary.Tagged: instance forall k a (v :: k). Data.Semigroup.Semigroup a => Data.Semigroup.Semigroup (Data.Binary.Tagged.BinaryTagged v a)
+ Data.Binary.Tagged: instance Data.Binary.Tagged.HasSemanticVersion Data.Semigroup.Internal.All
+ Data.Binary.Tagged: instance Data.Binary.Tagged.HasSemanticVersion Data.Semigroup.Internal.Any
+ Data.Binary.Tagged: instance Data.Binary.Tagged.HasSemanticVersion a => Data.Binary.Tagged.HasSemanticVersion (Data.Semigroup.Internal.Dual a)
+ Data.Binary.Tagged: instance Data.Binary.Tagged.HasSemanticVersion a => Data.Binary.Tagged.HasSemanticVersion (Data.Semigroup.Internal.Product a)
+ Data.Binary.Tagged: instance Data.Binary.Tagged.HasSemanticVersion a => Data.Binary.Tagged.HasSemanticVersion (Data.Semigroup.Internal.Sum a)
+ Data.Binary.Tagged: instance Data.Binary.Tagged.HasSemanticVersion a => Data.Binary.Tagged.HasSemanticVersion (GHC.Base.NonEmpty a)
+ Data.Binary.Tagged: instance Data.Binary.Tagged.HasStructuralInfo Data.Semigroup.Internal.All
+ Data.Binary.Tagged: instance Data.Binary.Tagged.HasStructuralInfo Data.Semigroup.Internal.Any
+ Data.Binary.Tagged: instance Data.Binary.Tagged.HasStructuralInfo a => Data.Binary.Tagged.HasStructuralInfo (Data.Semigroup.Internal.Dual a)
+ Data.Binary.Tagged: instance Data.Binary.Tagged.HasStructuralInfo a => Data.Binary.Tagged.HasStructuralInfo (Data.Semigroup.Internal.Product a)
+ Data.Binary.Tagged: instance Data.Binary.Tagged.HasStructuralInfo a => Data.Binary.Tagged.HasStructuralInfo (Data.Semigroup.Internal.Sum a)
+ Data.Binary.Tagged: instance Data.Binary.Tagged.HasStructuralInfo a => Data.Binary.Tagged.HasStructuralInfo (GHC.Base.NonEmpty a)
+ Data.Binary.Tagged: instance forall k a (v :: k). GHC.Base.Semigroup a => GHC.Base.Semigroup (Data.Binary.Tagged.BinaryTagged v a)
Files
- CHANGELOG.md +2/−0
- binary-tagged.cabal +36/−21
- src/Data/Binary/Tagged.hs +1/−1
CHANGELOG.md view
@@ -1,3 +1,5 @@+- 0.1.5.1. (2018-09-24)+ - GHC-8.6.1 - 0.1.5 (2018-05-20) - GHC-8.4.2 - Don't depend on nats and semigroups on newer GHC
binary-tagged.cabal view
@@ -1,18 +1,27 @@+cabal-version: >= 1.10 name: binary-tagged-version: 0.1.5+version: 0.1.5.1+ synopsis: Tagged binary serialisation.+category: Data description: Check <https://github.com/phadej/binary-tagged#readme README on Github>-category: Web+ homepage: https://github.com/phadej/binary-tagged#readme bug-reports: https://github.com/phadej/binary-tagged/issues author: Oleg Grenrus <oleg.grenrus@iki.fi> maintainer: Oleg Grenrus <oleg.grenrus@iki.fi> license: BSD3 license-file: LICENSE-tested-with: GHC==7.8.4, GHC==7.10.3, GHC==8.0.2, GHC==8.2.2, GHC==8.4.2 build-type: Simple-cabal-version: >= 1.10 +tested-with:+ GHC ==7.8.4+ || ==7.10.3+ || ==8.0.2+ || ==8.2.2+ || ==8.4.3+ || ==8.6.1+ extra-source-files: CHANGELOG.md README.md@@ -25,33 +34,39 @@ hs-source-dirs: src ghc-options: -Wall++ -- Libraries bundled with GHC build-depends:- base >=4.7 && <4.12- , aeson >=0.8 && <1.4- , array >=0.5 && <0.6+ base >=4.7.0.2 && <4.13+ , array >=0.5.0.0 && <0.6+ , binary >=0.7.1.0 && <0.10+ , bytestring >=0.10.4.0 && <0.11+ , containers >=0.5.5.1 && <0.7+ , text >=1.2.3.0 && <1.3+ , time >=1.4.2 && <1.9++ -- other dependencies+ build-depends:+ aeson >=0.8 && <1.5 , base16-bytestring >=0.1.1.6 && <0.2- , binary >=0.7 && <0.10- , bytestring >=0.10 && <0.11- , containers >=0.5 && <0.6- , generics-sop >=0.1 && <0.4- , hashable >=1.2 && <1.3- , scientific >=0.3 && <0.4- , SHA >=1.6 && <1.7- , tagged >=0.7 && <0.9- , text >=1.2 && <1.3- , time >=1.4 && <1.9- , unordered-containers >=0.2 && <0.3- , vector >=0.10 && <0.13+ , generics-sop >=0.3.2.0 && <0.4+ , hashable >=1.2 && <1.3+ , scientific >=0.3 && <0.4+ , SHA >=1.6 && <1.7+ , tagged >=0.7 && <0.9+ , unordered-containers >=0.2 && <0.3+ , vector >=0.10 && <0.13+ exposed-modules: Data.Binary.Tagged default-language: Haskell2010 if !impl(ghc >= 8.0) build-depends:- semigroups >=0.16 && <0.19+ semigroups >=0.18.5 && <0.19 if !impl(ghc >= 7.10) build-depends:- nats >=1 && <1.2+ nats >=1.1.2 && <1.2 test-suite binary-tagged-test type: exitcode-stdio-1.0
src/Data/Binary/Tagged.hs view
@@ -374,7 +374,7 @@ -- -- This can be calculated by @f x y = sum ([0..x+y]) + y@ type Interleave (n :: Nat) (m :: Nat) = SumUpTo (n + m) + m-type SumUpTo (n :: Nat) = Div2 (n * (n + 1))+type SumUpTo (n :: Nat) = Div2 (n GHC.TypeLits.* (n + 1)) type family Div2 (n :: Nat) :: Nat where Div2 0 = 0 Div2 1 = 0