packages feed

eq 0.3.7.1 → 3.0

raw patch · 1 files changed

+5/−4 lines, 1 filesdep ~basedep ~groupoidsdep ~semigroupoidsPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: base, groupoids, semigroupoids

API changes (from Hackage documentation)

- Data.Eq.Type: instance Category :=
- Data.Eq.Type: instance Groupoid :=
- Data.Eq.Type: instance Semigroupoid :=
+ Data.Eq.Type: instance Category (:=)
+ Data.Eq.Type: instance Groupoid (:=)
+ Data.Eq.Type: instance Semigroupoid (:=)
- Data.Eq.Type: Refl :: (forall c. c a -> c b) -> := a b
+ Data.Eq.Type: Refl :: (forall c. c a -> c b) -> (:=) a b
- Data.Eq.Type: subst :: := a b -> forall c. c a -> c b
+ Data.Eq.Type: subst :: (:=) a b -> forall c. c a -> c b

Files

eq.cabal view
@@ -1,6 +1,6 @@ name:          eq category:      Type System-version:       0.3.7.1+version:       3.0 license:       BSD3 cabal-version: >= 1.6 license-file:  LICENSE@@ -13,6 +13,7 @@ synopsis:      Leibnizian equality description:   Leibnizian equality build-type:    Simple+ extra-source-files: .travis.yml  source-repository head@@ -26,9 +27,9 @@     TypeOperators    build-depends:-    base          >= 4 && < 5,-    semigroupoids >= 1.3.1.2 && < 1.4,-    groupoids     >= 0.2.1.1 && < 0.3+    base          == 4.*,+    semigroupoids == 3.0.*,+    groupoids     == 3.0.*    exposed-modules:     Data.Eq.Type