groupoids 3.0.1.1 → 3.2.0.1
raw patch · 5 files changed
+9/−51 lines, 5 filesdep ~basedep ~semigroupoids
Dependency ranges changed: base, semigroupoids
Files
- CHANGELOG.markdown +4/−0
- LICENSE +0/−4
- groupoids.cabal +5/−14
- src/Data/Groupoid.hs +0/−13
- src/Data/Isomorphism.hs +0/−20
CHANGELOG.markdown view
@@ -1,3 +1,7 @@+3.2+---+* This package has been absorbed into `semigroupoids` 3.2.+ 3.0.1 ----- * Updated build system
LICENSE view
@@ -13,10 +13,6 @@ notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution. -3. Neither the name of the author nor the names of his contributors- may be used to endorse or promote products derived from this software- without specific prior written permission.- THIS SOFTWARE IS PROVIDED BY THE AUTHORS ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
groupoids.cabal view
@@ -1,7 +1,7 @@ name: groupoids category: Control, Categories-version: 3.0.1.1-license: BSD3+version: 3.2.0.1+license: BSD2 cabal-version: >= 1.6 license-file: LICENSE author: Edward A. Kmett@@ -10,8 +10,8 @@ homepage: http://github.com/ekmett/groupoids/ bug-reports: http://github.com/ekmett/groupoids/issues copyright: Copyright (C) 2011-2013 Edward A. Kmett-synopsis: Haskell 98 Groupoids-description: Haskell 98 Groupoids+synopsis: This package has been absorbed into semigroupoids 3.2+description: This package has been absorbed into semigroupoids 3.2 build-type: Simple extra-source-files:@@ -27,13 +27,4 @@ location: git://github.com/ekmett/groupoids.git library- build-depends:- base >= 4 && < 5,- semigroupoids >= 3-- exposed-modules:- Data.Groupoid- Data.Isomorphism-- ghc-options: -Wall- hs-source-dirs: src+ build-depends: base >= 4 && < 5, semigroupoids >= 3.2
− src/Data/Groupoid.hs
@@ -1,13 +0,0 @@-module Data.Groupoid- ( Groupoid(..)- ) 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)
− src/Data/Isomorphism.hs
@@ -1,20 +0,0 @@-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