adjunctions 2.0.4 → 2.0.5
raw patch · 1 files changed
+5/−5 lines, 1 filesdep ~arraydep ~keysdep ~representable-functorsPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: array, keys, representable-functors, semigroupoids
API changes (from Hackage documentation)
- Data.Functor.Adjunction: class (Functor f, Representable u) => Adjunction f u | f -> u, u -> f
+ Data.Functor.Adjunction: class (Functor f, Representable u) => Adjunction f u | f -> u, u -> f where unit = leftAdjunct id counit = rightAdjunct id leftAdjunct f = fmap f . unit rightAdjunct f = counit . fmap f
- Data.Functor.Contravariant.Adjunction: class (Contravariant f, Corepresentable g) => Adjunction f g | f -> g, g -> f
+ Data.Functor.Contravariant.Adjunction: class (Contravariant f, Corepresentable g) => Adjunction f g | f -> g, g -> f where unit = leftAdjunct id counit = rightAdjunct id leftAdjunct f = contramap f . unit rightAdjunct f = contramap f . counit
Files
- adjunctions.cabal +5/−5
adjunctions.cabal view
@@ -1,6 +1,6 @@ name: adjunctions category: Data Structures, Adjunctions-version: 2.0.4+version: 2.0.5 license: BSD3 cabal-version: >= 1.6 license-file: LICENSE@@ -27,7 +27,7 @@ UndecidableInstances build-depends: - array >= 0.3.0.2 && < 0.4,+ array >= 0.3.0.2 && < 0.5, base >= 4 && < 5, transformers >= 0.2.0 && < 0.3, mtl >= 2.0.1.0 && < 2.1,@@ -35,11 +35,11 @@ comonad >= 1.1.1.1 && < 1.2, contravariant >= 0.1.2 && < 0.2, distributive >= 0.2 && < 0.3,- semigroupoids >= 1.2.4 && < 1.3,+ semigroupoids >= 1.2.6.1 && < 1.3, void >= 0.5.4.3 && < 0.6,- keys >= 2.1 && < 2.2,+ keys >= 2.1.2 && < 2.2, comonad-transformers >= 2.0.2 && < 2.1,- representable-functors >= 2.1 && < 2.2+ representable-functors >= 2.1.2 && < 2.2 exposed-modules: Data.Functor.Adjunction