dependent-sum-template 0.0.0.1 → 0.0.0.3

raw patch · 2 files changed

+5/−2 lines, 2 filesdep ~dependent-sumPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: dependent-sum

API changes (from Hackage documentation)

Files

• dependent-sum-template.cabal +2/−2
• src/Data/GADT/Compare/TH.hs +3/−0

@@ -1,5 +1,5 @@ name:                   dependent-sum-template-version:                0.0.0.1+version:                0.0.0.3 stability:              experimental  cabal-version:          >= 1.6@@ -23,6 +23,6 @@   exposed-modules:      Data.GADT.Compare.TH                         Data.GADT.Show.TH   build-depends:        base >= 3 && <5,-                        dependent-sum == 0.2.*,+                        dependent-sum >= 0.2 && < 0.4,                         template-haskell,                         th-extras >= 0.0.0.2

@@ -93,6 +93,9 @@     return = GComparing . Right     GComparing (Left  x) >>= f = GComparing (Left x)     GComparing (Right x) >>= f = f x+instance Applicative (GComparing a b) where+    pure = return+    (<*>) = ap   geq' :: GCompare t => t a -> t b -> GComparing x y (a := b) geq' x y = GComparing (case gcompare x y of