monadic-recursion-schemes 0.1.4.1 → 0.1.4.2
raw patch · 3 files changed
+8/−2 lines, 3 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
Files
CHANGELOG.md view
@@ -1,8 +1,12 @@ # Revision history for monadic-recursion-schemes +## 0.1.4.2 -- 2020-05-14++* add comment.+ ## 0.1.4.1 -- 2020-05-14 -* add alternative for dynaM and codynaM+* add alternative for dynaM and codynaM. ## 0.1.4.0 -- 2020-05-14
monadic-recursion-schemes.cabal view
@@ -4,7 +4,7 @@ -- http://haskell.org/cabal/users-guide/ name: monadic-recursion-schemes-version: 0.1.4.1+version: 0.1.4.2 synopsis: Recursion Schemes for Monadic version. description: Yet another recursion schemes for monadic style, depends on recursion-schemes. homepage: https://github.com/cutsea110/monadic-recursion-schemes.git
src/Data/Functor/Foldable/Monadic.hs view
@@ -185,6 +185,7 @@ dynaM'' phi psi = return . extract <=< hyloM f psi where f = liftM2 (:<) <$> phi <*> return +-- | codynamorphism on recursive variant over chronomorphism codynaM :: (Monad m, Traversable t) => (t b -> m b) -- ^ algebra -> (a -> m (t (Free t a))) -- ^ coalgebra@@ -198,6 +199,7 @@ -> t -> m c codynaM' phi psi = anaM psi <=< histoM phi +-- | codynamorphism on recursive variant over hylomorphism codynaM'' :: (Monad m, Traversable t) => (t b -> m b) -- ^ algebra -> (a -> m (t (Free t a))) -- ^ coalgebra