packages feed

TypeCompose 0.9.11 → 0.9.12

raw patch · 2 files changed

+28/−3 lines, 2 filesdep ~basePVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: base

API changes (from Hackage documentation)

- Data.Lambda: instance GHC.Base.Applicative f => Data.Lambda.Lambda f (f Control.Compose.:->: Control.Applicative.Const o)
- Data.Pair: instance Data.Pair.Copair (Control.Applicative.Const e)
- Data.Pair: instance Data.Pair.Unpair (Control.Applicative.Const a)
- Data.Pair: instance GHC.Base.Monoid o => Data.Pair.Pair (Control.Applicative.Const o)
- Data.Zip: instance Data.Zip.Cozip (Control.Applicative.Const e)
- Data.Zip: instance Data.Zip.Unzip (Control.Applicative.Const a)
- Data.Zip: instance GHC.Base.Monoid o => Data.Zip.Zip (Control.Applicative.Const o)
+ Control.Compose: infixl 0 $*
+ Control.Compose: infixl 1 *<~
+ Control.Compose: infixr 1 ~>*
+ Control.Compose: infixr 3 ***#
+ Control.Compose: instance GHC.Base.Functor g => GHC.Generics.Generic1 (g Control.Compose.:. f)
+ Control.Compose: instance GHC.Classes.Eq a => GHC.Classes.Eq (Control.Compose.Id a)
+ Control.Compose: instance GHC.Classes.Ord (g (f a)) => GHC.Classes.Ord ((Control.Compose.:.) g f a)
+ Control.Compose: instance GHC.Classes.Ord a => GHC.Classes.Ord (Control.Compose.Id a)
+ Control.Compose: instance GHC.Generics.Generic ((Control.Compose.:.) g f a)
+ Control.Compose: instance GHC.Generics.Generic (Control.Compose.Id a)
+ Control.Compose: instance GHC.Generics.Generic1 Control.Compose.Id
+ Data.Bijection: infixr 2 --->
+ Data.Lambda: instance GHC.Base.Applicative f => Data.Lambda.Lambda f (f Control.Compose.:->: Data.Functor.Const.Const o)
+ Data.Pair: instance Data.Pair.Copair (Data.Functor.Const.Const e)
+ Data.Pair: instance Data.Pair.Unpair (Data.Functor.Const.Const a)
+ Data.Pair: instance GHC.Base.Monoid o => Data.Pair.Pair (Data.Functor.Const.Const o)
+ Data.Zip: instance Data.Zip.Cozip (Data.Functor.Const.Const e)
+ Data.Zip: instance Data.Zip.Unzip (Data.Functor.Const.Const a)
+ Data.Zip: instance GHC.Base.Monoid o => Data.Zip.Zip (Data.Functor.Const.Const o)
- Control.Compose: mappend_f :: Monoid_f m => m a -> m a -> m a
+ Control.Compose: mappend_f :: forall a. Monoid_f m => m a -> m a -> m a
- Control.Compose: mempty_f :: Monoid_f m => m a
+ Control.Compose: mempty_f :: forall a. Monoid_f m => m a

Files

TypeCompose.cabal view
@@ -1,5 +1,5 @@ Name:                TypeCompose-Version:             0.9.11+Version:             0.9.12 Synopsis: 	     Type composition classes & instances Category:            Composition, Control Cabal-Version:       >= 1.6
src/Control/Compose.hs view
@@ -3,6 +3,9 @@            , TypeOperators, GeneralizedNewtypeDeriving, StandaloneDeriving            , CPP   #-}+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702+{-# Language DeriveGeneric #-}+#endif -- For ghc 6.6 compatibility -- {-# OPTIONS -fglasgow-exts -fallow-undecidable-instances #-} @@ -64,6 +67,14 @@   , biEndo, inEndo   ) where ++#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702+import GHC.Generics ( Generic )+#endif+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 706+import GHC.Generics ( Generic1 )+#endif+ #if __GLASGOW_HASKELL__ >= 609 import Control.Category import Prelude hiding ((.), id)@@ -203,7 +214,14 @@ constraints, rather than just matching instance heads.  -}-newtype (g :. f) a = O (g (f a)) deriving (Eq,Show)+newtype (g :. f) a = O (g (f a)) deriving ( Eq, Show, Ord+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702+                                          , Generic+#endif+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 706+                                          , Generic1+#endif+                                          )  -- newtype (g :. f) a = O { unO :: g (f a) } deriving Show @@ -638,7 +656,14 @@ -- | Identity type constructor.  Until there's a better place to find it. -- I'd use "Control.Monad.Identity", but I don't want to introduce a -- dependency on mtl just for Id.-newtype Id a = Id a deriving Show+newtype Id a = Id a deriving ( Eq, Show, Ord+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702+                             , Generic+#endif+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 706+                             , Generic1+#endif+                             )  -- Could define record field: --