functor-combo 0.3.5 → 0.3.6
raw patch · 2 files changed
+9/−8 lines, 2 filesdep +base-orphansPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependencies added: base-orphans
API changes (from Hackage documentation)
- FunctorCombo.Functor: instance Foldable (Const b)
- FunctorCombo.Functor: instance Traversable (Const b)
- FunctorCombo.Pair: instance Typeable1 Pair
+ FunctorCombo.Pair: instance Typeable Pair
- FunctorCombo.Functor: (:*:!) :: !(f a) -> !(g a) -> :*:! f g a
+ FunctorCombo.Functor: (:*:!) :: !(f a) -> !(g a) -> (:*:!) f g a
- FunctorCombo.Functor: (:*:) :: f a -> g a -> :*: f g a
+ FunctorCombo.Functor: (:*:) :: f a -> g a -> (:*:) f g a
- FunctorCombo.Functor: (<~) :: Category cat => cat b b' -> cat a' a -> cat a b -> cat a' b'
+ FunctorCombo.Functor: (<~) :: Category * cat => cat b b' -> cat a' a -> cat a b -> cat a' b'
- FunctorCombo.Functor: (~>) :: Category cat => cat a' a -> cat b b' -> cat a b -> cat a' b'
+ FunctorCombo.Functor: (~>) :: Category * cat => cat a' a -> cat b b' -> cat a b -> cat a' b'
- FunctorCombo.Functor: InL :: (f a) -> :+: f g a
+ FunctorCombo.Functor: InL :: (f a) -> (:+:) f g a
- FunctorCombo.Functor: InL' :: !(f a) -> :+:! f g a
+ FunctorCombo.Functor: InL' :: !(f a) -> (:+:!) f g a
- FunctorCombo.Functor: InR :: (g a) -> :+: f g a
+ FunctorCombo.Functor: InR :: (g a) -> (:+:) f g a
- FunctorCombo.Functor: InR' :: !(g a) -> :+:! f g a
+ FunctorCombo.Functor: InR' :: !(g a) -> (:+:!) f g a
- FunctorCombo.Functor: O :: g (f a) -> :. a
+ FunctorCombo.Functor: O :: g (f a) -> (:.) a
- FunctorCombo.Functor: inO :: (g (f a) -> g' (f' a')) -> :. g f a -> :. g' f' a'
+ FunctorCombo.Functor: inO :: (g (f a) -> g' (f' a')) -> (:.) g f a -> (:.) g' f' a'
- FunctorCombo.Functor: inO2 :: (g (f a) -> g' (f' a') -> g'' (f'' a'')) -> :. g f a -> :. g' f' a' -> :. g'' f'' a''
+ FunctorCombo.Functor: inO2 :: (g (f a) -> g' (f' a') -> g'' (f'' a'')) -> (:.) g f a -> (:.) g' f' a' -> (:.) g'' f'' a''
- FunctorCombo.Functor: unO :: :. g f a -> g (f a)
+ FunctorCombo.Functor: unO :: (:.) g f a -> g (f a)
- FunctorCombo.Strict: (:*!) :: !a -> !b -> :*! a b
+ FunctorCombo.Strict: (:*!) :: !a -> !b -> (:*!) a b
- FunctorCombo.Strict: Left' :: !a -> :+! a b
+ FunctorCombo.Strict: Left' :: !a -> (:+!) a b
- FunctorCombo.Strict: Right' :: !b -> :+! a b
+ FunctorCombo.Strict: Right' :: !b -> (:+!) a b
Files
- functor-combo.cabal +8/−2
- src/FunctorCombo/Functor.hs +1/−6
functor-combo.cabal view
@@ -1,5 +1,5 @@ Name: functor-combo-Version: 0.3.5+Version: 0.3.6 Cabal-Version: >= 1.6 Synopsis: Functor combinators with tries & zippers Category: Data@@ -22,7 +22,13 @@ Library hs-Source-Dirs: src Extensions:- Build-Depends: base<5, TypeCompose >= 0.9.4, containers, data-inttrie, lub, type-unary+ Build-Depends: base<5+ , base-orphans+ , containers+ , data-inttrie+ , lub+ , TypeCompose >= 0.9.4+ , type-unary Exposed-Modules: FunctorCombo.Strict FunctorCombo.Functor
src/FunctorCombo/Functor.hs view
@@ -3,7 +3,6 @@ {-# LANGUAGE TypeFamilies, CPP #-} {-# OPTIONS_GHC -Wall #-}-{-# OPTIONS_GHC -fno-warn-orphans #-} ---------------------------------------------------------------------- -- | -- Module : FunctorCombo.Functor@@ -28,6 +27,7 @@ ) where +import Data.Orphans () import Data.Monoid (Monoid(..)) import Data.Foldable (Foldable(..)) import Data.Traversable (Traversable(..))@@ -111,11 +111,6 @@ -- -- TODO: replace explicit definition with deriving, when the compiler fix -- has been around for a while.--#if !MIN_VERSION_base(4,7,0)-deriving instance Foldable (Const b)-deriving instance Traversable (Const b)-#endif -- instance Foldable (Const b) where -- -- fold (Const _) = mempty