kan-extensions 0.1.1 → 0.1.2

raw patch · 3 files changed

+10/−10 lines, 3 filesdep ~adjunctionsdep ~comonaddep ~distributive

Dependency ranges changed: adjunctions, comonad, distributive, keys, representable-functors, semigroupoids, semigroups

Files

• Data/Functor/Yoneda.hs +1/−1
• Data/Functor/Yoneda/Contravariant.hs +1/−1
• kan-extensions.cabal +8/−8

@@ -116,7 +116,7 @@ instance Distributive f => Distributive (YonedaT f) where   collect f = liftYonedaT . collect (lowerYonedaT . f) -instance Index f => Index (YonedaT f) where+instance Indexable f => Indexable (YonedaT f) where   index = index . lowerYonedaT  instance Lookup f => Lookup (YonedaT f) where

@@ -104,7 +104,7 @@   mzero = lift mzero   m `mplus` n = lift $ lowerM m `mplus` lowerM n -instance (Functor f, Index f) => Index (YonedaT f) where+instance (Functor f, Indexable f) => Indexable (YonedaT f) where   index = index . lowerYonedaT  instance Representable f => Representable (YonedaT f) where

@@ -1,6 +1,6 @@ name:          kan-extensions category:      Data Structures, Monads, Comonads, Functors-version:       0.1.1+version:       0.1.2 license:       BSD3 cabal-version: >= 1.6 license-file:  LICENSE@@ -19,19 +19,19 @@  library   build-depends: -    adjunctions >= 0.8 && < 0.9,+    adjunctions >= 0.9.1 && < 0.10,     array >= 0.3.0.2 && < 0.4,     base >= 4 && < 4.4,-    comonad >= 1.0 && < 1.1,+    comonad >= 1.0.3 && < 1.1,     comonad-transformers >= 1.5.1 && < 1.6,     containers >= 0.4 && < 0.5,     contravariant >= 0.1.2 && < 0.2,-    distributive >= 0.1.1 && < 0.2,-    keys >= 0.1.0.1 && < 0.2,+    distributive >= 0.2 && < 0.3,+    keys >= 0.2.4 && < 0.3,     mtl >= 2.0.1.0 && < 2.1,-    representable-functors >= 0.2 && < 0.3,-    semigroups >= 0.3.4 && < 0.4,-    semigroupoids >= 1.1.1 && < 1.2.0,+    representable-functors >= 0.4.1 && < 0.5,+    semigroups >= 0.4 && < 0.5,+    semigroupoids >= 1.1.3 && < 1.2.0,     transformers >= 0.2.0 && < 0.3    exposed-modules: