packages feed

dependent-sum 0.6.1 → 0.6.2.0

raw patch · 3 files changed

+6/−3 lines, 3 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Data.GADT.Compare: infix 4 :~:
- Data.GADT.Compare: type (:=) = (:~:)
- Data.Some: pattern Some :: tag a -> Some tag
- Data.Some: pattern This :: tag a -> Some tag
+ Data.GADT.Compare: type := = (:~:)
- Data.Dependent.Sum: (:=>) :: !tag a -> f a -> DSum tag f
+ Data.Dependent.Sum: (:=>) :: !(tag a) -> f a -> DSum tag f
- Data.GADT.Compare: [Refl] :: forall k (a :: k) (b :: k). () => a :~: a
+ Data.GADT.Compare: [Refl] :: a :~: a
- Data.GADT.Compare: data (:~:) (a :: k) (b :: k) :: forall k. () => k -> k -> Type
+ Data.GADT.Compare: data (:~:) (a :: k) (b :: k) :: forall k. () => k -> k -> *
- Data.GADT.Show: GReadResult :: (forall b. (forall a. t a -> b) -> b) -> GReadResult t
+ Data.GADT.Show: GReadResult :: forall b. (forall a. t a -> b) -> b -> GReadResult t
- Data.GADT.Show: gshow :: GShow t => t a -> String
+ Data.GADT.Show: gshow :: (GShow t) => t a -> String

Files

ChangeLog.md view
@@ -1,5 +1,9 @@ # Revision history for dependent-sum +## 0.6.2.0 - 2019-08-04++* Revert change that increased strictness of Data.Some.Some in 0.6.1+ ## 0.6.1.0 - 2019-08-04  * Add legacy `eqTagged` and `compareTagged` functions. Fix deprecated `OrdTag` synonym (it was missing the `Has' Eq` constraint). To upgrade from dependent-sum <0.6, you will likely need to add enable the `FlexibleContexts` language extension, and possible others.
dependent-sum.cabal view
@@ -1,5 +1,5 @@ name:                   dependent-sum-version:                0.6.1+version:                0.6.2.0 stability:              provisional  cabal-version:          >= 1.6
src/Data/Some.hs view
@@ -51,13 +51,12 @@ -- Some TagBool -- newtype Some tag = UnsafeSome (tag Any)-data SBox a = SBox !a  #if __GLASGOW_HASKELL__ >= 801 {-# COMPLETE Some #-} #endif pattern Some :: tag a -> Some tag-pattern Some x <- UnsafeSome (SBox . (unsafeCoerce :: tag Any -> tag a) -> SBox x)+pattern Some x <- UnsafeSome ((unsafeCoerce :: tag Any -> tag a) -> x)   where Some x = UnsafeSome ((unsafeCoerce :: tag a -> tag Any) x)  #if __GLASGOW_HASKELL__ >= 801