category 0.2.4.1 → 0.2.4.2

raw patch · 3 files changed

+8/−16 lines, 3 filesdep +dualPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependencies added: dual

API changes (from Hackage documentation)

- Control.Category.Dual: Dual :: k b a -> Dual k a b

- Control.Category.Dual: [dual] :: Dual k a b -> k b a

- Control.Category.Dual: instance forall k1 (k2 :: k1 -> k1 -> *). Control.Category.Category k2 => Control.Category.Category (Control.Category.Dual.Dual k2)

- Control.Category.Dual: instance forall k1 (k2 :: k1 -> k1 -> *). Control.Category.Groupoid.Groupoid k2 => Control.Category.Groupoid.Groupoid (Control.Category.Dual.Dual k2)

- Control.Category.Dual: instance forall k1 k2 (k3 :: k2 -> k1 -> *) (a :: k1) (b :: k2). Algebra.Group (k3 b a) => Algebra.Group (Control.Category.Dual.Dual k3 a b)

- Control.Category.Dual: instance forall k1 k2 (k3 :: k2 -> k1 -> *) (a :: k1) (b :: k2). GHC.Base.Monoid (k3 b a) => GHC.Base.Monoid (Control.Category.Dual.Dual k3 a b)

- Control.Category.Dual: instance forall k1 k2 (k3 :: k2 -> k1 -> *) (a :: k1) (b :: k2). GHC.Base.Semigroup (k3 b a) => GHC.Base.Semigroup (Control.Category.Dual.Dual k3 a b)

- Control.Category.Dual: newtype Dual k a b

+ Control.Category.Groupoid: instance forall k1 (k2 :: k1 -> k1 -> *). Control.Category.Groupoid.Groupoid k2 => Control.Category.Groupoid.Groupoid (Control.Category.Dual.Dual k2)

category.cabal view

@@ -1,5 +1,5 @@ name:                category-version:             0.2.4.1+version:             0.2.4.2 synopsis:            Categorical types and classes -- description:          license:             BSD3@@ -9,7 +9,7 @@ -- copyright:            category:            Control, Math build-type:          Simple-cabal-version:       >=1.10+cabal-version:       >=1.22 bug-reports:         http://github.com/strake/category.hs/issues tested-with:         GHC ==8.4.3                    , GHC ==8.6.4@@ -19,16 +19,17 @@   exposed-modules:     Control.Categorical.Functor                      , Control.Categorical.Monad                      , Control.Category.Const2-                     , Control.Category.Dual                      , Control.Category.Groupoid                      , Data.Functor.Trans.Identity                      , Data.Functor.Trans.Reader                      , Data.Functor.Trans.Writer                      , Data.Morphism.Endo                      , Data.Morphism.Iso+  reexported-modules:  Control.Category.Dual   other-modules:       Prelude   build-depends:       base >=4.10 && <5                      , alg >=0.2 && <0.3+                     , dual >=0.1.0.2 && <0.2                      , transformers >= 0.5 && < 0.6   default-language:    Haskell2010   default-extensions:  UnicodeSyntax

− src/Control/Category/Dual.hs

@@ -1,13 +0,0 @@-module Control.Category.Dual where--import Control.Category.Groupoid--newtype Dual k a b = Dual { dual :: k b a }-  deriving (Semigroup, Monoid, Group)--instance Category k => Category (Dual k) where-    id = Dual id-    Dual f . Dual g = Dual (g . f)--instance Groupoid k => Groupoid (Dual k) where-    invert = Dual . invert . dual

src/Control/Category/Groupoid.hs view

@@ -1,5 +1,7 @@ module Control.Category.Groupoid where +import Control.Category.Dual+ -- | 'Category' where every morphism is iso -- -- Laws:@@ -10,3 +12,5 @@ -- @ class Category k => Groupoid k where     invert :: k a b -> k b a++instance Groupoid k => Groupoid (Dual k) where invert = Dual . invert . dual