monadic-recursion-schemes 0.1.3.2 → 0.1.3.3

raw patch · 3 files changed

+7/−4 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• CHANGELOG.md +3/−0
• monadic-recursion-schemes.cabal +1/−1
• src/Data/Functor/Foldable/Monadic.hs +3/−3

@@ -24,3 +24,6 @@  * export the variants for hyloM and metaM. +## 0.1.3.3 -- 2020-05-13++* added comment

@@ -4,7 +4,7 @@ -- http://haskell.org/cabal/users-guide/  name:                monadic-recursion-schemes-version:             0.1.3.2+version:             0.1.3.3 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

@@ -67,7 +67,7 @@  -- | histomorphism on catamorphism variant histoM' :: (Monad m, Traversable (Base t), Recursive t)-        => (Base t (Cofree (Base t) a) -> m a)+        => (Base t (Cofree (Base t) a) -> m a) -- ^ algebra         -> t -> m a histoM' phi = return . extract <=< cataM f   where f = liftM2 (:<) <$> phi <*> return@@ -120,8 +120,8 @@  -- | metamorphism on recursive variant metaM :: (Monad m, Traversable (Base t), Recursive s, Corecursive t, Base s ~ Base t)-      => (Base t t -> m t)-      -> (s -> m (Base s s))+      => (Base t t -> m t)   -- ^ algebra+      -> (s -> m (Base s s)) -- ^ coalgebra       -> s -> m t metaM phi psi = h   where h = (return . embed) <=< mapM h . project