TypeCompose 0.6.3 → 0.6.4
raw patch · 4 files changed
+25/−5 lines, 4 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
+ Control.Compose: instance (Foldable g, Foldable f, Functor g) => Foldable (g :. f)
+ Control.Compose: instance (Traversable g, Traversable f) => Traversable (g :. f)
Files
- TypeCompose.cabal +1/−1
- src/Control/Compose.hs +13/−0
- src/Data/Zip.hs +8/−2
- wikipage.tw +3/−2
TypeCompose.cabal view
@@ -1,5 +1,5 @@ Name: TypeCompose-Version: 0.6.3+Version: 0.6.4 Synopsis: Type composition classes & instances Category: Composition, Control Description:
src/Control/Compose.hs view
@@ -68,6 +68,9 @@ import Prelude hiding ((.), id) #endif +import Data.Foldable+import Data.Traversable+ import Control.Arrow #if __GLASGOW_HASKELL__ < 610 hiding (pure)@@ -160,6 +163,16 @@ -- Here it is, as promised. instance (Functor g, Functor f) => Functor (g :. f) where fmap = fmapFF++-- These next two instances are based on suggestions from Creighton Hogg: ++instance (Foldable g, Foldable f, Functor g) => Foldable (g :. f) where+ foldMap f = fold . fmap (foldMap f) . unO++instance (Traversable g, Traversable f) => Traversable (g :. f) where+ sequenceA = fmap O . sequenceA . fmap sequenceA . unO++ -- instance (Functor g, Functor f) => Functor (g :. f) where -- fmap = inO.fmap.fmap
src/Data/Zip.hs view
@@ -1,5 +1,11 @@-{-# LANGUAGE Rank2Types, TypeOperators, UndecidableInstances #-}-{-# OPTIONS_GHC -Wall -fenable-rewrite-rules #-}+{-# LANGUAGE Rank2Types, TypeOperators, UndecidableInstances, CPP #-}+{-# OPTIONS_GHC -Wall #-}+#if __GLASGOW_HASKELL__ < 610+{-# OPTIONS_GHC -frewrite-rules #-}+#else+{-# OPTIONS_GHC -fenable-rewrite-rules #-}+#endif+ ---------------------------------------------------------------------- -- | -- Module : Data.Zip
wikipage.tw view
@@ -2,6 +2,7 @@ [[Category:Applicative]] [[Category:Libraries]] [[Category:Packages]]+[[Category:Type-level programming]] == Abstract == @@ -10,8 +11,8 @@ Besides this wiki page, here are more ways to find out about TypeCompose: * Visit the [http://hackage.haskell.org/cgi-bin/hackage-scripts/package/TypeCompose Hackage page] for library documentation and to download & install. * Or install with <tt>cabal install TypeCompose</tt>.-* Get the code repository: <tt>darcs get http://code.haskell.org/TypeCompose</tt>.-* See the [[TypeCompose/Versions| version history]].+* Get the code repository: <tt>darcs get http://darcs.haskell.org/packages/TypeCompose</tt>.+<!--* See the [[TypeCompose/Versions| version history]].--> == Type composition ==