category 0.2.3.0 → 0.2.4.0
raw patch · 2 files changed
+7/−1 lines, 2 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
+ Control.Categorical.Functor: instance forall k1 k2 α (s :: α -> α -> *) (t :: k2 -> k2 -> *) (f :: α -> k1 -> k2). (Control.Category.Category s, Control.Category.Category t, Control.Categorical.Functor.Functor s (Control.Categorical.Functor.NT (Control.Category.Dual.Dual t)) f) => Control.Categorical.Functor.Functor s (Control.Category.Dual.Dual (Control.Categorical.Functor.NT t)) f
+ Control.Categorical.Functor: instance forall k1 α k2 (t :: k2 -> k2 -> *) (s :: α -> α -> *) (f :: α -> k1 -> k2). (Control.Category.Category t, Control.Categorical.Functor.Functor s (Control.Categorical.Functor.NT t) f) => Control.Categorical.Functor.Functor (Control.Category.Dual.Dual s) (Control.Categorical.Functor.NT (Control.Category.Dual.Dual t)) f
Files
- Control/Categorical/Functor.hs +6/−0
- category.cabal +1/−1
Control/Categorical/Functor.hs view
@@ -101,3 +101,9 @@ instance Functor s t f => Functor (Dual s) (Dual t) f where map (Dual f) = Dual (map f)++instance (Category t, Functor s (NT t) f) => Functor (Dual s) (NT (Dual t)) f where+ map (Dual f) = NT (Dual (nt (map f)))++instance (Category s, Category t, Functor s (NT (Dual t)) f) => Functor s (Dual (NT t)) f where+ map f = Dual (NT (dual (nt (map f))))
category.cabal view
@@ -1,5 +1,5 @@ name: category-version: 0.2.3.0+version: 0.2.4.0 synopsis: Categorical types and classes -- description: license: BSD3