packages feed

categories 0.58.0.3 → 0.58.0.4

raw patch · 3 files changed

+7/−7 lines, 3 filesPVP: minor bump suggested

API additions: PVP suggests at least a minor version bump

API changes (from Hackage documentation)

+ Control.Categorical.Functor: instance (Typeable1 f, Data (f a), Data a) => Data (LiftedFunctor f a)
+ Control.Categorical.Functor: instance (Typeable1 f, Data (f a), Data a) => Data (LoweredFunctor f a)
+ Control.Categorical.Functor: instance Typeable1 f => Typeable1 (LiftedFunctor f)
+ Control.Categorical.Functor: instance Typeable1 f => Typeable1 (LoweredFunctor f)
+ Control.Category.Dual: instance (Typeable2 (~>), Data a, Data b, Data ((~>) b a)) => Data (Dual (~>) a b)
+ Control.Category.Dual: instance Typeable2 (~>) => Typeable2 (Dual (~>))

Files

Control/Categorical/Functor.hs view
@@ -21,7 +21,7 @@ import Control.Category import Prelude hiding (id, (.), Functor(..)) import qualified Prelude-#ifdef GLASGOW_HASKELL+#ifdef __GLASGOW_HASKELL__ import Data.Data (Data(..), mkDataType, DataType, mkConstr, Constr, constrIndex, Fixity(..)) import Data.Typeable (Typeable1(..), TyCon, mkTyCon, mkTyConApp, gcast1) #endif@@ -30,7 +30,7 @@ newtype LiftedFunctor f a = LiftedFunctor (f a)     deriving (Show, Read) -#ifdef GLASGOW_HASKELL+#ifdef __GLASGOW_HASKELL__  liftedTyCon :: TyCon liftedTyCon = mkTyCon "Control.Categorical.Functor.LiftedFunctor"@@ -62,7 +62,7 @@ newtype LoweredFunctor f a = LoweredFunctor (f a)     deriving (Show, Read) -#ifdef GLASGOW_HASKELL+#ifdef __GLASGOW_HASKELL__  loweredTyCon :: TyCon loweredTyCon = mkTyCon "Control.Categorical.Functor.LoweredFunctor"
Control/Category/Dual.hs view
@@ -14,10 +14,10 @@ 	( Dual(..) 	) where -import Prelude ()+import Prelude (undefined,const,error) import Control.Category -#ifdef GLASGOW_HASKELL+#ifdef __GLASGOW_HASKELL__ import Data.Data (Data(..), mkDataType, DataType, mkConstr, Constr, constrIndex, Fixity(..)) import Data.Typeable (Typeable2(..), TyCon, mkTyCon, mkTyConApp, gcast1) #endif@@ -28,7 +28,7 @@ 	id = Dual id 	Dual f . Dual g = Dual (g . f) -#ifdef GLASGOW_HASKELL+#ifdef __GLASGOW_HASKELL__ instance Typeable2 (~>) => Typeable2 (Dual (~>)) where     typeOf2 tfab = mkTyConApp dataTyCon [typeOf2 (undefined `asDualArgsType` tfab)]         where asDualArgsType :: f b a -> t f a b -> f b a
categories.cabal view
@@ -1,6 +1,6 @@ name:          categories category:      Control-version:       0.58.0.3+version:       0.58.0.4 license:       BSD3 cabal-version: >= 1.2.3 license-file:  LICENSE