recursion-schemes 4.1 → 4.1.1

raw patch · 3 files changed

+9/−2 lines, 3 filesdep ~base

Dependency ranges changed: base

Files

• CHANGELOG.markdown +4/−0
• Data/Functor/Foldable.hs +4/−1
• recursion-schemes.cabal +1/−1

@@ -1,3 +1,7 @@+## 4.1.1+* Support for GHC 7.10+* Fixed `para`.+ ## 4.1 * Support for GHC 7.7+'s generalized `Typeable`. * Faster `gapo` and `para` by exploiting sharing.

@@ -89,7 +89,10 @@ #else import qualified Data.Data as Data #endif+#if MIN_VERSION_base(4,8,0)+import Prelude hiding (Foldable) #endif+#endif  type family Base t :: * -> * @@ -106,7 +109,7 @@   cata f = c where c = f . fmap c . project    para :: (Base t (t, a) -> a) -> t -> a-  para t = p where p x = t . fmap (((,) x) . p) $ project x+  para t = p where p x = t . fmap ((,) <*> p) $ project x    gpara :: (Unfoldable t, Comonad w) => (forall b. Base t (w b) -> w (Base t b)) -> (Base t (EnvT t w a) -> a) -> t -> a   gpara t = gzygo embed t

@@ -1,6 +1,6 @@ name:          recursion-schemes category:      Control, Recursion-version:       4.1+version:       4.1.1 license:       BSD3 cabal-version: >= 1.6 license-file:  LICENSE