eq 4.0.3 → 4.0.4

raw patch · 1 files changed

+2/−2 lines, 1 filesdep ~semigroupoidsPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: 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 +2/−2

eq.cabal view

@@ -1,6 +1,6 @@ name:          eq category:      Type System-version:       4.0.3+version:       4.0.4 license:       BSD3 cabal-version: >= 1.6 license-file:  LICENSE@@ -34,7 +34,7 @@    build-depends:     base          == 4.*,-    semigroupoids == 4.*+    semigroupoids >= 4 && < 6    exposed-modules:     Data.Eq.Type