recursion 2.2.1.0 → 2.2.2.0

raw patch · 3 files changed

+12/−1 lines, 3 files

Files

CHANGELOG.md +4/−0
recursion.cabal +1/−1
src/Control/Recursion.hs +7/−0

CHANGELOG.md view

@@ -1,5 +1,9 @@ # recursion +## 2.2.2.0++* Add `cotransverse` for parity with `recursion-schemes >= 5.1.1`+ ## 2.2.1.0  * Add `transverse` for parity with `recursion-schemes >= 5.1`

recursion.cabal view

@@ -1,6 +1,6 @@ cabal-version: 1.18 name: recursion-version: 2.2.1.0+version: 2.2.2.0 license: BSD3 license-file: LICENSE copyright: Copyright: (c) 2018-2019 Vanessa McHale

src/Control/Recursion.hs view

@@ -56,6 +56,7 @@     , hoist     , refix     , transverse+    , cotransverse     ) where  import           Control.Arrow       ((&&&))@@ -300,6 +301,12 @@            -> s            -> f t transverse = cata . (fmap embed .)++cotransverse :: (Recursive s, Corecursive t, Functor f)+             => (forall a. f (Base s a) -> Base t (f a))+             -> f s+             -> t+cotransverse = ana . (. fmap project)  hoist :: (Recursive s, Corecursive t)       => (forall a. Base s a -> Base t a)