categories 0.56.0 → 0.57.0

raw patch · 3 files changed

+11/−6 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• Control/Category/Cartesian/Closed.hs +9/−2
• Control/Category/Monoidal.hs +1/−3
• categories.cabal +1/−1

@@ -20,7 +20,8 @@     , unitCoCCC, counitCoCCC     ) where -import Prelude () -- hiding ((.), id, fst, snd, curry, uncurry)+import Prelude ()+import qualified Prelude  import Control.Category import Control.Category.Braided@@ -42,7 +43,13 @@     -- apply :: (<\>) ~ Exp (<=), (<*>) ~ Product (<=) => ((a <\> b) <*> a) <= b     apply :: (Product (<=) (Exp (<=) a b) a) <= b     curry :: ((Product (<=) a b) <= c) -> a <= Exp (<=) b c-    uncurry :: (a <= (Exp (<=) b c)) -> (Product (<=>) a b <= c)+    uncurry :: (a <= (Exp (<=) b c)) -> (Product (<=) a b <= c)++instance CCC (->) where+  type Exp (->) = (->)+  apply (f,a) = f a+  curry = Prelude.curry+  uncurry = Prelude.uncurry  {-# RULES "curry apply"         curry apply = id

@@ -26,10 +26,8 @@ 	, Comonoidal(..) 	) where --- import Control.Category.Braided import Control.Category.Associative import Control.Categorical.Bifunctor-import Data.Void  -- | Denotes that we have some reasonable notion of 'Identity' for a particular 'Bifunctor' in this 'Category'. This -- notion is currently used by both 'Monoidal' and 'Comonoidal'@@ -81,7 +79,7 @@  --}  instance HasIdentity (->) (,) where-    type Id (->) (,) = Void+    type Id (->) (,) = ()  instance Monoidal (->) (,) where         idl = snd

@@ -1,6 +1,6 @@ name:          categories category:      Control-version:       0.56.0+version:       0.57.0 license:       BSD3 cabal-version: >= 1.2 license-file:  LICENSE