packages feed

TypeCompose 0.9.13 → 0.9.14

raw patch · 2 files changed

+10/−2 lines, 2 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Control.Compose: instance (Control.Category.Category f, Control.Category.Category f') => Control.Category.Category (f Control.Compose.::*:: f')
- Control.Compose: instance (Control.Compose.Monoid_f f, Control.Compose.Monoid_f g) => Control.Compose.Monoid_f (f Control.Compose.:*: g)
- Control.Compose: instance (GHC.Base.Applicative (j a), GHC.Base.Monoid o) => GHC.Base.Monoid (Control.Compose.Flip j o a)
- Control.Compose: instance (GHC.Base.Applicative (j a), GHC.Base.Semigroup o) => GHC.Base.Semigroup (Control.Compose.Flip j o a)
- Control.Compose: instance (GHC.Base.Applicative f, Control.Category.Category cat) => Control.Category.Category (Control.Compose.OO f cat)
- Control.Compose: instance (GHC.Classes.Eq (f a b), GHC.Classes.Eq (g a b)) => GHC.Classes.Eq ((Control.Compose.::*::) f g a b)
- Control.Compose: instance (GHC.Classes.Ord (f a b), GHC.Classes.Ord (g a b)) => GHC.Classes.Ord ((Control.Compose.::*::) f g a b)
- Control.Compose: instance (GHC.Show.Show (f a b), GHC.Show.Show (g a b)) => GHC.Show.Show ((Control.Compose.::*::) f g a b)
- Control.Compose: instance GHC.Base.Functor g => GHC.Generics.Generic1 (g Control.Compose.:. f)
- Control.Compose: instance GHC.Base.Monoid (j (f a) (g a)) => GHC.Base.Monoid (Control.Compose.Arrw j f g a)
- Control.Compose: instance GHC.Base.Semigroup (j (f a) (g a)) => GHC.Base.Semigroup (Control.Compose.Arrw j f g a)
- Control.Compose: instance GHC.Classes.Eq (f a, g a) => GHC.Classes.Eq ((Control.Compose.:*:) f g a)
- Control.Compose: instance GHC.Classes.Eq (g (f a)) => GHC.Classes.Eq ((Control.Compose.:.) g f a)
- Control.Compose: instance GHC.Classes.Ord (f a, g a) => GHC.Classes.Ord ((Control.Compose.:*:) f g a)
- Control.Compose: instance GHC.Classes.Ord (g (f a)) => GHC.Classes.Ord ((Control.Compose.:.) g f a)
- Control.Compose: instance GHC.Generics.Generic ((Control.Compose.:.) g f a)
- Control.Compose: instance GHC.Show.Show (f a, g a) => GHC.Show.Show ((Control.Compose.:*:) f g a)
- Control.Compose: instance GHC.Show.Show (g (f a)) => GHC.Show.Show ((Control.Compose.:.) g f a)
- Control.Compose: type :->: = Arrw (->)
+ Control.Compose: infixl 7 :*:
+ Control.Compose: infixl 9 :.
+ Control.Compose: infixr 0 :$
+ Control.Compose: instance forall (g :: * -> *) k (f :: k -> *). GHC.Base.Functor g => GHC.Generics.Generic1 (g Control.Compose.:. f)
+ Control.Compose: instance forall k (f :: * -> *) (cat :: k -> k -> *). (GHC.Base.Applicative f, Control.Category.Category cat) => Control.Category.Category (Control.Compose.OO f cat)
+ Control.Compose: instance forall k (f :: k -> *) (a :: k) (g :: k -> *). GHC.Classes.Eq (f a, g a) => GHC.Classes.Eq ((Control.Compose.:*:) f g a)
+ Control.Compose: instance forall k (f :: k -> *) (a :: k) (g :: k -> *). GHC.Classes.Ord (f a, g a) => GHC.Classes.Ord ((Control.Compose.:*:) f g a)
+ Control.Compose: instance forall k (f :: k -> *) (a :: k) (g :: k -> *). GHC.Show.Show (f a, g a) => GHC.Show.Show ((Control.Compose.:*:) f g a)
+ Control.Compose: instance forall k (f :: k -> *) (g :: k -> *). (Control.Compose.Monoid_f f, Control.Compose.Monoid_f g) => Control.Compose.Monoid_f (f Control.Compose.:*: g)
+ Control.Compose: instance forall k (f :: k -> k -> *) (f' :: k -> k -> *). (Control.Category.Category f, Control.Category.Category f') => Control.Category.Category (f Control.Compose.::*:: f')
+ Control.Compose: instance forall k (j :: k -> * -> *) (a :: k) o. (GHC.Base.Applicative (j a), GHC.Base.Monoid o) => GHC.Base.Monoid (Control.Compose.Flip j o a)
+ Control.Compose: instance forall k (j :: k -> * -> *) (a :: k) o. (GHC.Base.Applicative (j a), GHC.Base.Semigroup o) => GHC.Base.Semigroup (Control.Compose.Flip j o a)
+ Control.Compose: instance forall k1 k2 (f :: k1 -> k2 -> *) (g :: k1 -> k2 -> *) (a :: k1) (b :: k2). (GHC.Classes.Eq (f a b), GHC.Classes.Eq (g a b)) => GHC.Classes.Eq ((Control.Compose.::*::) f g a b)
+ Control.Compose: instance forall k1 k2 (f :: k1 -> k2 -> *) (g :: k1 -> k2 -> *) (a :: k1) (b :: k2). (GHC.Classes.Ord (f a b), GHC.Classes.Ord (g a b)) => GHC.Classes.Ord ((Control.Compose.::*::) f g a b)
+ Control.Compose: instance forall k1 k2 (f :: k1 -> k2 -> *) (g :: k1 -> k2 -> *) (a :: k1) (b :: k2). (GHC.Show.Show (f a b), GHC.Show.Show (g a b)) => GHC.Show.Show ((Control.Compose.::*::) f g a b)
+ Control.Compose: instance forall k1 k2 k3 (j :: k2 -> k3 -> *) (f :: k1 -> k2) (a :: k1) (g :: k1 -> k3). GHC.Base.Monoid (j (f a) (g a)) => GHC.Base.Monoid (Control.Compose.Arrw j f g a)
+ Control.Compose: instance forall k1 k2 k3 (j :: k2 -> k3 -> *) (f :: k1 -> k2) (a :: k1) (g :: k1 -> k3). GHC.Base.Semigroup (j (f a) (g a)) => GHC.Base.Semigroup (Control.Compose.Arrw j f g a)
+ Control.Compose: instance forall k2 (g :: k2 -> *) k1 (f :: k1 -> k2) (a :: k1). GHC.Classes.Eq (g (f a)) => GHC.Classes.Eq ((Control.Compose.:.) g f a)
+ Control.Compose: instance forall k2 (g :: k2 -> *) k1 (f :: k1 -> k2) (a :: k1). GHC.Classes.Ord (g (f a)) => GHC.Classes.Ord ((Control.Compose.:.) g f a)
+ Control.Compose: instance forall k2 (g :: k2 -> *) k1 (f :: k1 -> k2) (a :: k1). GHC.Generics.Generic ((Control.Compose.:.) g f a)
+ Control.Compose: instance forall k2 (g :: k2 -> *) k1 (f :: k1 -> k2) (a :: k1). GHC.Show.Show (g (f a)) => GHC.Show.Show ((Control.Compose.:.) g f a)
+ Control.Compose: type (:->:) = Arrw (->)
+ Data.Bijection: infix 8 :<->:
- Control.Compose: (&&&%) :: FunAble h => (h a -> h b) -> (h a -> h b') -> (h a -> h (b, b'))
+ Control.Compose: (&&&%) :: FunAble h => (h a -> h b) -> (h a -> h b') -> h a -> h (b, b')
- Control.Compose: (***%) :: FunAble h => (h a -> h b) -> (h a' -> h b') -> (h (a, a') -> h (b, b'))
+ Control.Compose: (***%) :: FunAble h => (h a -> h b) -> (h a' -> h b') -> h (a, a') -> h (b, b')
- Control.Compose: (*<~) :: (Functor p, Functor q) => (b -> b') -> (a' -> a) -> (p a -> q b) -> (p a' -> q b')
+ Control.Compose: (*<~) :: (Functor p, Functor q) => (b -> b') -> (a' -> a) -> (p a -> q b) -> p a' -> q b'
- Control.Compose: (<~) :: Category cat => (b `cat` b') -> (a' `cat` a) -> ((a `cat` b) -> (a' `cat` b'))
+ Control.Compose: (<~) :: Category cat => (b `cat` b') -> (a' `cat` a) -> (a `cat` b) -> a' `cat` b'
- Control.Compose: (~>) :: Category cat => (a' `cat` a) -> (b `cat` b') -> ((a `cat` b) -> (a' `cat` b'))
+ Control.Compose: (~>) :: Category cat => (a' `cat` a) -> (b `cat` b') -> (a `cat` b) -> a' `cat` b'
- Control.Compose: (~>*) :: (Functor p, Functor q) => (a' -> a) -> (b -> b') -> (p a -> q b) -> (p a' -> q b')
+ Control.Compose: (~>*) :: (Functor p, Functor q) => (a' -> a) -> (b -> b') -> (p a -> q b) -> p a' -> q b'
- Control.Compose: Arrw :: f a `j` g a -> Arrw j f g a
+ Control.Compose: Arrw :: (f a `j` g a) -> Arrw j f g a
- Control.Compose: Flip :: a `j` b -> Flip j b a
+ Control.Compose: Flip :: (a `j` b) -> Flip j b a
- Control.Compose: FunA :: h a -> h b -> FunA h a b
+ Control.Compose: FunA :: (h a -> h b) -> FunA h a b
- Control.Compose: O :: (g (f a)) -> (:.) g f a
+ Control.Compose: O :: g (f a) -> (:.)
- Control.Compose: argument :: Category cat => (a' `cat` a) -> ((a `cat` b) -> (a' `cat` b))
+ Control.Compose: argument :: Category cat => (a' `cat` a) -> (a `cat` b) -> a' `cat` b
- Control.Compose: arrFun :: FunAble h => (a -> b) -> (h a -> h b)
+ Control.Compose: arrFun :: FunAble h => (a -> b) -> h a -> h b
- Control.Compose: bicomap :: ContraFunctor f => (a :<->: b) -> (f a :<->: f b)
+ Control.Compose: bicomap :: ContraFunctor f => (a :<->: b) -> f a :<->: f b
- Control.Compose: coconvO :: ContraFunctor g => (b :<->: g c) -> (c :<->: f a) -> (b :<->: (g :. f) a)
+ Control.Compose: coconvO :: ContraFunctor g => (b :<->: g c) -> (c :<->: f a) -> b :<->: (g :. f) a
- Control.Compose: contraFmap :: ContraFunctor h => (a -> b) -> (h b -> h a)
+ Control.Compose: contraFmap :: ContraFunctor h => (a -> b) -> h b -> h a
- Control.Compose: convFun :: (b :<->: f a) -> (c :<->: g a) -> ((b -> c) :<->: (f :->: g) a)
+ Control.Compose: convFun :: (b :<->: f a) -> (c :<->: g a) -> (b -> c) :<->: (f :->: g) a
- Control.Compose: convO :: Functor g => (b :<->: g c) -> (c :<->: f a) -> (b :<->: (g :. f) a)
+ Control.Compose: convO :: Functor g => (b :<->: g c) -> (c :<->: f a) -> b :<->: (g :. f) a
- Control.Compose: firstFun :: FunAble h => (h a -> h a') -> (h (a, b) -> h (a', b))
+ Control.Compose: firstFun :: FunAble h => (h a -> h a') -> h (a, b) -> h (a', b)
- Control.Compose: inApp :: (f a -> f' a') -> (App f a -> App f' a')
+ Control.Compose: inApp :: (f a -> f' a') -> App f a -> App f' a'
- Control.Compose: inApp2 :: (f a -> f' a' -> f'' a'') -> (App f a -> App f' a' -> App f'' a'')
+ Control.Compose: inApp2 :: (f a -> f' a' -> f'' a'') -> App f a -> App f' a' -> App f'' a''
- Control.Compose: inArrw :: ((f a `j` g a) -> (f' a' `j` g' a')) -> ((Arrw j f g) a -> (Arrw j f' g') a')
+ Control.Compose: inArrw :: ((f a `j` g a) -> f' a' `j` g' a') -> Arrw j f g a -> Arrw j f' g' a'
- Control.Compose: inArrw2 :: ((f a `j` g a) -> (f' a' `j` g' a') -> (f'' a'' `j` g'' a'')) -> (Arrw j f g a -> Arrw j f' g' a' -> Arrw j f'' g'' a'')
+ Control.Compose: inArrw2 :: ((f a `j` g a) -> (f' a' `j` g' a') -> f'' a'' `j` g'' a'') -> Arrw j f g a -> Arrw j f' g' a' -> Arrw j f'' g'' a''
- Control.Compose: inArrw3 :: ((f a `j` g a) -> (f' a' `j` g' a') -> (f'' a'' `j` g'' a'') -> (f''' a''' `j` g''' a''')) -> ((Arrw j f g) a -> (Arrw j f' g') a' -> (Arrw j f'' g'') a'' -> (Arrw j f''' g''') a''')
+ Control.Compose: inArrw3 :: ((f a `j` g a) -> (f' a' `j` g' a') -> (f'' a'' `j` g'' a'') -> f''' a''' `j` g''' a''') -> Arrw j f g a -> Arrw j f' g' a' -> Arrw j f'' g'' a'' -> Arrw j f''' g''' a'''
- Control.Compose: inConst :: (a -> b) -> (Const a u -> Const b v)
+ Control.Compose: inConst :: (a -> b) -> Const a u -> Const b v
- Control.Compose: inEndo :: (Unop a -> Unop a') -> (Endo a -> Endo a')
+ Control.Compose: inEndo :: (Unop a -> Unop a') -> Endo a -> Endo a'
- Control.Compose: inFlip :: ((a `j` b) -> (a' `k` b')) -> (Flip j b a -> Flip k b' a')
+ Control.Compose: inFlip :: ((a `j` b) -> a' `k` b') -> Flip j b a -> Flip k b' a'
- Control.Compose: inFlip2 :: ((a `j` b) -> (a' `k` b') -> (a'' `l` b'')) -> (Flip j b a -> Flip k b' a' -> Flip l b'' a'')
+ Control.Compose: inFlip2 :: ((a `j` b) -> (a' `k` b') -> a'' `l` b'') -> Flip j b a -> Flip k b' a' -> Flip l b'' a''
- Control.Compose: inFlip3 :: ((a `j` b) -> (a' `k` b') -> (a'' `l` b'') -> (a''' `m` b''')) -> (Flip j b a -> Flip k b' a' -> Flip l b'' a'' -> Flip m b''' a''')
+ Control.Compose: inFlip3 :: ((a `j` b) -> (a' `k` b') -> (a'' `l` b'') -> a''' `m` b''') -> Flip j b a -> Flip k b' a' -> Flip l b'' a'' -> Flip m b''' a'''
- Control.Compose: inFunA :: ((h a -> h b) -> (h' a' -> h' b')) -> (FunA h a b -> FunA h' a' b')
+ Control.Compose: inFunA :: ((h a -> h b) -> h' a' -> h' b') -> FunA h a b -> FunA h' a' b'
- Control.Compose: inFunA2 :: ((h a -> h b) -> (h' a' -> h' b') -> (h'' a'' -> h'' b'')) -> (FunA h a b -> FunA h' a' b' -> FunA h'' a'' b'')
+ Control.Compose: inFunA2 :: ((h a -> h b) -> (h' a' -> h' b') -> h'' a'' -> h'' b'') -> FunA h a b -> FunA h' a' b' -> FunA h'' a'' b''
- Control.Compose: inId :: (a -> b) -> (Id a -> Id b)
+ Control.Compose: inId :: (a -> b) -> Id a -> Id b
- Control.Compose: inId2 :: (a -> b -> c) -> (Id a -> Id b -> Id c)
+ Control.Compose: inId2 :: (a -> b -> c) -> Id a -> Id b -> Id c
- Control.Compose: inO :: (g (f a) -> g' (f' a')) -> ((g :. f) a -> (g' :. f') a')
+ Control.Compose: inO :: (g (f a) -> g' (f' a')) -> (g :. f) a -> (g' :. f') a'
- Control.Compose: inO2 :: (g (f a) -> g' (f' a') -> g'' (f'' a'')) -> ((g :. f) a -> (g' :. f') a' -> (g'' :. f'') a'')
+ Control.Compose: inO2 :: (g (f a) -> g' (f' a') -> g'' (f'' a'')) -> (g :. f) a -> (g' :. f') a' -> (g'' :. f'') a''
- Control.Compose: inO3 :: (g (f a) -> g' (f' a') -> g'' (f'' a'') -> g''' (f''' a''')) -> ((g :. f) a -> (g' :. f') a' -> (g'' :. f'') a'' -> (g''' :. f''') a''')
+ Control.Compose: inO3 :: (g (f a) -> g' (f' a') -> g'' (f'' a'') -> g''' (f''' a''')) -> (g :. f) a -> (g' :. f') a' -> (g'' :. f'') a'' -> (g''' :. f''') a'''
- Control.Compose: inProd :: ((f a, g a) -> (f' a', g' a')) -> ((f :*: g) a -> (f' :*: g') a')
+ Control.Compose: inProd :: ((f a, g a) -> (f' a', g' a')) -> (f :*: g) a -> (f' :*: g') a'
- Control.Compose: inProd2 :: ((f a, g a) -> (f' a', g' a') -> (f'' a'', g'' a'')) -> ((f :*: g) a -> (f' :*: g') a' -> (f'' :*: g'') a'')
+ Control.Compose: inProd2 :: ((f a, g a) -> (f' a', g' a') -> (f'' a'', g'' a'')) -> (f :*: g) a -> (f' :*: g') a' -> (f'' :*: g'') a''
- Control.Compose: inProd3 :: ((f a, g a) -> (f' a', g' a') -> (f'' a'', g'' a'') -> (f''' a''', g''' a''')) -> ((f :*: g) a -> (f' :*: g') a' -> (f'' :*: g'') a'' -> (f''' :*: g''') a''')
+ Control.Compose: inProd3 :: ((f a, g a) -> (f' a', g' a') -> (f'' a'', g'' a'') -> (f''' a''', g''' a''')) -> (f :*: g) a -> (f' :*: g') a' -> (f'' :*: g'') a'' -> (f''' :*: g''') a'''
- Control.Compose: inProdd :: ((f a b, g a b) -> (f' a' b', g' a' b')) -> ((f ::*:: g) a b -> (f' ::*:: g') a' b')
+ Control.Compose: inProdd :: ((f a b, g a b) -> (f' a' b', g' a' b')) -> (f ::*:: g) a b -> (f' ::*:: g') a' b'
- Control.Compose: inProdd2 :: ((f a b, g a b) -> (f' a' b', g' a' b') -> (f'' a'' b'', g'' a'' b'')) -> ((f ::*:: g) a b -> (f' ::*:: g') a' b' -> (f'' ::*:: g'') a'' b'')
+ Control.Compose: inProdd2 :: ((f a b, g a b) -> (f' a' b', g' a' b') -> (f'' a'' b'', g'' a'' b'')) -> (f ::*:: g) a b -> (f' ::*:: g') a' b' -> (f'' ::*:: g'') a'' b''
- Control.Compose: infixr 1 ~>*
+ Control.Compose: infixr 1 :->:
- Control.Compose: newtype ( f (::*::) g ) a b
+ Control.Compose: newtype ( f ::*:: g ) a b
- Control.Compose: newtype f (:$) a
+ Control.Compose: newtype f :$ a
- Control.Compose: oFmap :: (Functor g') => (f a -> f' a') -> (g' :. f) a -> (g' :. f') a'
+ Control.Compose: oFmap :: Functor g' => (f a -> f' a') -> (g' :. f) a -> (g' :. f') a'
- Control.Compose: oLiftA2 :: (Applicative g'') => (f a -> f' a' -> f'' a'') -> (g'' :. f) a -> (g'' :. f') a' -> (g'' :. f'') a''
+ Control.Compose: oLiftA2 :: Applicative g'' => (f a -> f' a' -> f'' a'') -> (g'' :. f) a -> (g'' :. f') a' -> (g'' :. f'') a''
- Control.Compose: oLiftA3 :: (Applicative g''') => (f a -> f' a' -> f'' a'' -> f''' a''') -> (g''' :. f) a -> (g''' :. f') a' -> (g''' :. f'') a'' -> (g''' :. f''') a'''
+ Control.Compose: oLiftA3 :: Applicative g''' => (f a -> f' a' -> f'' a'' -> f''' a''') -> (g''' :. f) a -> (g''' :. f') a' -> (g''' :. f'') a'' -> (g''' :. f''') a'''
- Control.Compose: oPure :: (Applicative g) => f a -> (g :. f) a
+ Control.Compose: oPure :: Applicative g => f a -> (g :. f) a
- Control.Compose: result :: Category cat => (b `cat` b') -> ((a `cat` b) -> (a `cat` b'))
+ Control.Compose: result :: Category cat => (b `cat` b') -> (a `cat` b) -> a `cat` b'
- Control.Compose: secondFun :: FunAble h => (h b -> h b') -> (h (a, b) -> h (a, b'))
+ Control.Compose: secondFun :: FunAble h => (h b -> h b') -> h (a, b) -> h (a, b')
- Data.Bijection: Bi :: a `j` b -> b `j` a -> Bijection j a b
+ Data.Bijection: Bi :: (a `j` b) -> (b `j` a) -> Bijection j a b
- Data.Bijection: bimap :: Functor f => (a :<->: b) -> (f a :<->: f b)
+ Data.Bijection: bimap :: Functor f => (a :<->: b) -> f a :<->: f b
- Data.Bijection: inBi :: Arrow j => Bijection j a b -> (a `j` a) -> (b `j` b)
+ Data.Bijection: inBi :: Arrow j => Bijection j a b -> (a `j` a) -> b `j` b
- Data.CxMonoid: CxMonoid :: MonoidDict a -> a -> CxMonoid a
+ Data.CxMonoid: CxMonoid :: (MonoidDict a -> a) -> CxMonoid a
- Data.Zip: zipWith :: (Functor f, Zip f) => (a -> b -> c) -> (f a -> f b -> f c)
+ Data.Zip: zipWith :: (Functor f, Zip f) => (a -> b -> c) -> f a -> f b -> f c
- Data.Zip: zipWith3 :: (Functor f, Zip f) => (a -> b -> c -> d) -> (f a -> f b -> f c -> f d)
+ Data.Zip: zipWith3 :: (Functor f, Zip f) => (a -> b -> c -> d) -> f a -> f b -> f c -> f d

Files

TypeCompose.cabal view
@@ -1,5 +1,5 @@ Name:                TypeCompose-Version:             0.9.13+Version:             0.9.14 Synopsis: 	     Type composition classes & instances Category:            Composition, Control Cabal-Version:       >= 1.6
src/Control/Compose.hs view
@@ -6,6 +6,9 @@ #if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702 {-# Language DeriveGeneric #-} #endif+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 710+{-# Language KindSignatures, PolyKinds #-}+#endif -- For ghc 6.6 compatibility -- {-# OPTIONS -fglasgow-exts -fallow-undecidable-instances #-} @@ -214,7 +217,12 @@ constraints, rather than just matching instance heads.  -}-newtype (g :. f) a = O (g (f a)) deriving ( Eq, Show, Ord+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 710+newtype ((g :: k2 -> *) :. (f :: k1 -> k2)) (a :: k1)+#else+newtype (g :. f) a+#endif+  = O (g (f a)) deriving ( Eq, Show, Ord #if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702                                           , Generic #endif