groupoids 0.1.1.2 → 0.2

raw patch · 3 files changed

+22/−23 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

- Data.Groupoid.Isomorphism: Iso :: k a b -> k b a -> Iso k a b

- Data.Groupoid.Isomorphism: data Iso k a b

- Data.Groupoid.Isomorphism: embed :: Iso k a b -> k a b

- Data.Groupoid.Isomorphism: instance Category k => Category (Iso k)

- Data.Groupoid.Isomorphism: instance Semigroupoid k => Groupoid (Iso k)

- Data.Groupoid.Isomorphism: instance Semigroupoid k => Semigroupoid (Iso k)

- Data.Groupoid.Isomorphism: project :: Iso k a b -> k b a

+ Data.Isomorphism: Iso :: k a b -> k b a -> Iso k a b

+ Data.Isomorphism: data Iso k a b

+ Data.Isomorphism: embed :: Iso k a b -> k a b

+ Data.Isomorphism: instance Category k => Category (Iso k)

+ Data.Isomorphism: instance Semigroupoid k => Groupoid (Iso k)

+ Data.Isomorphism: instance Semigroupoid k => Semigroupoid (Iso k)

+ Data.Isomorphism: project :: Iso k a b -> k b a

Files

Data/Groupoid/Isomorphism.hs +0/−21
Data/Isomorphism.hs +20/−0
groupoids.cabal +2/−2

− Data/Groupoid/Isomorphism.hs

@@ -1,21 +0,0 @@-module Data.Groupoid.Isomorphism-  ( Iso(..)-  ) where--import Data.Semigroupoid-import Data.Groupoid-import Control.Category-import Prelude ()--data Iso k a b = Iso { embed :: k a b, project :: k b a } --instance Semigroupoid k => Semigroupoid (Iso k) where-  Iso f g `o` Iso h i = Iso (f `o` h) (i `o` g) --instance Semigroupoid k => Groupoid (Iso k) where-  inv (Iso f g) = Iso g f --instance Category k => Category (Iso k) where-  Iso f g . Iso h i = Iso (f . h) (i . g) -  id = Iso id id -

+ Data/Isomorphism.hs view

@@ -0,0 +1,20 @@+module Data.Isomorphism+  ( Iso(..)+  ) where++import Data.Semigroupoid+import Data.Groupoid+import Control.Category+import Prelude ()++data Iso k a b = Iso { embed :: k a b, project :: k b a }++instance Semigroupoid k => Semigroupoid (Iso k) where+  Iso f g `o` Iso h i = Iso (f `o` h) (i `o` g)++instance Semigroupoid k => Groupoid (Iso k) where+  inv (Iso f g) = Iso g f++instance Category k => Category (Iso k) where+  Iso f g . Iso h i = Iso (f . h) (i . g)+  id = Iso id id

groupoids.cabal view

@@ -1,6 +1,6 @@ name:          groupoids category:      Control, Categories-version:       0.1.1.2+version:       0.2 license:       BSD3 cabal-version: >= 1.6 license-file:  LICENSE@@ -24,7 +24,7 @@    exposed-modules:     Data.Groupoid-    Data.Groupoid.Isomorphism+    Data.Isomorphism    ghc-options:      -Wall --  if impl(ghc)