packages feed

groupoids 0.1 → 0.1.1

raw patch · 2 files changed

+5/−1 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

+ Data.Groupoid: instance Groupoid k => Groupoid (Dual k)

Files

Data/Groupoid.hs view
@@ -3,7 +3,11 @@   ) where  import Data.Semigroupoid+import Data.Semigroupoid.Dual  -- | semigroupoid with inverses. This technically should be a category with inverses, except we need to use Ob to define the valid objects for the category class Semigroupoid k => Groupoid k where   inv :: k a b -> k b a++instance Groupoid k => Groupoid (Dual k) where+  inv (Dual k) = Dual (inv k)
groupoids.cabal view
@@ -1,6 +1,6 @@ name:          groupoids category:      Control, Categories-version:       0.1+version:       0.1.1 license:       BSD3 cabal-version: >= 1.6 license-file:  LICENSE