categories 1.0.5 → 1.0.6

raw patch · 10 files changed

+40/−5 lines, 10 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• CHANGELOG.markdown +4/−0
• categories.cabal +1/−1
• src/Control/Categorical/Bifunctor.hs +4/−0
• src/Control/Categorical/Functor.hs +4/−0
• src/Control/Category/Associative.hs +4/−0
• src/Control/Category/Braided.hs +5/−1
• src/Control/Category/Cartesian.hs +4/−0
• src/Control/Category/Cartesian/Closed.hs +4/−0
• src/Control/Category/Distributive.hs +6/−3
• src/Control/Category/Dual.hs +4/−0

@@ -1,3 +1,7 @@+1.0.6+-----+* Marked modules `Trustworthy`+ 1.0.5 --- * Removed the upper bound on void.

@@ -1,6 +1,6 @@ name:          categories category:      Control-version:       1.0.5+version:       1.0.6 license:       BSD3 cabal-version: >= 1.10 license-file:  LICENSE

@@ -1,3 +1,7 @@+{-# LANGUAGE CPP #-}+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702+{-# LANGUAGE Trustworthy #-}+#endif {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleContexts #-} ------------------------------------------------------------------------------------------- -- |

@@ -1,3 +1,7 @@+{-# LANGUAGE CPP #-}+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702+{-# LANGUAGE Trustworthy #-}+#endif {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleContexts, UndecidableInstances, FlexibleInstances #-} ------------------------------------------------------------------------------------------- -- |

@@ -1,3 +1,7 @@+{-# LANGUAGE CPP #-}+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702+{-# LANGUAGE Trustworthy #-}+#endif {-# LANGUAGE MultiParamTypeClasses #-} ------------------------------------------------------------------------------------------- -- |

@@ -1,3 +1,7 @@+{-# LANGUAGE CPP #-}+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702+{-# LANGUAGE Trustworthy #-}+#endif {-# LANGUAGE MultiParamTypeClasses #-} ------------------------------------------------------------------------------------------- -- |@@ -46,7 +50,7 @@ instance Braided (->) (,) where     braid ~(a,b) = (b,a) -{- RULES+{-- RULES "braid/associate/braid"         second braid . associate . first braid    = associate . braid . associate "braid/disassociate/braid"      first braid . disassociate . second braid = disassociate . braid . disassociate   --}

@@ -1,3 +1,7 @@+{-# LANGUAGE CPP #-}+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702+{-# LANGUAGE Trustworthy #-}+#endif {-# LANGUAGE TypeFamilies, MultiParamTypeClasses, TypeOperators, FlexibleContexts, FlexibleInstances, UndecidableInstances #-} ------------------------------------------------------------------------------------------- -- |

@@ -1,3 +1,7 @@+{-# LANGUAGE CPP #-}+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702+{-# LANGUAGE Trustworthy #-}+#endif {-# LANGUAGE TypeFamilies, MultiParamTypeClasses, TypeOperators, FlexibleContexts #-} ------------------------------------------------------------------------------------------- -- |

@@ -1,3 +1,7 @@+{-# LANGUAGE CPP #-}+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702+{-# LANGUAGE Trustworthy #-}+#endif {-# LANGUAGE TypeOperators #-} ------------------------------------------------------------------------------------------- -- |@@ -19,7 +23,6 @@  import Prelude hiding (Functor, map, (.), id, fst, snd, curry, uncurry) import Control.Categorical.Bifunctor-import Control.Category import Control.Category.Cartesian  -- | The canonical factoring morphism.@@ -36,7 +39,7 @@     distribute (a, Left b) = Left (a,b)     distribute (a, Right c) = Right (a,c) -{-# RULES+{-- RULES "factor . distribute" factor . distribute = id "distribute . factor" distribute . factor = id-  #-}+  --}

@@ -1,4 +1,8 @@ {-# LANGUAGE TypeOperators, FlexibleContexts #-}+{-# LANGUAGE CPP #-}+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702+{-# LANGUAGE Trustworthy #-}+#endif ------------------------------------------------------------------------------------------- -- | -- Module   : Control.Category.Dual