categories 0.55.2 → 0.56.0

raw patch · 2 files changed

+16/−10 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• Control/Category/Braided.hs +15/−9
• categories.cabal +1/−1

@@ -2,7 +2,7 @@ ------------------------------------------------------------------------------------------- -- | -- Module	 : Control.Category.Braided--- Copyright : 2008 Edward Kmett+-- Copyright     : 2008-2011 Edward Kmett -- License	 : BSD -- -- Maintainer	: Edward Kmett <ekmett@gmail.com>@@ -17,28 +17,34 @@ 	) where  -- import Control.Categorical.Bifunctor--- import Control.Category.Associative+import Control.Category.Associative  {- | A braided (co)(monoidal or associative) category can commute the arguments of its bi-endofunctor. Obeys the laws: +> associate . braid . associate = second braid . associate . first braid +> disassociate . braid . disassociate = first braid . disassociate . second braid ++If the category is Monoidal the following laws should be satisfied+ > idr . braid = idl  > idl . braid = idr ++If the category is Comonoidal the following laws should be satisfied + > braid . coidr = coidl  > braid . coidl = coidr -> associate . braid . associate = second braid . associate . first braid -> disassociate . braid . disassociate = first braid . disassociate . second braid   -} -class Braided k p where-	braid :: k (p a b) (p b a)+class Associative k p => Braided k p where+    braid :: k (p a b) (p b a)  instance Braided (->) Either where-        braid (Left a) = Right a-        braid (Right b) = Left b+    braid (Left a) = Right a+    braid (Right b) = Left b  instance Braided (->) (,) where-        braid ~(a,b) = (b,a)+    braid ~(a,b) = (b,a)  {- RULES "braid/associate/braid"         second braid . associate . first braid    = associate . braid . associate

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