packages feed

monadic-recursion-schemes 0.1.3.1 → 0.1.3.2

raw patch · 3 files changed

+7/−9 lines, 3 filesPVP: minor bump suggested

API additions: PVP suggests at least a minor version bump

API changes (from Hackage documentation)

+ Data.Functor.Foldable.Monadic: hyloM' :: (Monad m, Traversable (Base t), Recursive t, Corecursive t) => (Base t c -> m c) -> (a -> m (Base t a)) -> a -> m c
+ Data.Functor.Foldable.Monadic: metaM' :: (Monad m, Corecursive c, Traversable (Base c), Traversable (Base t), Recursive t) => (Base t a -> m a) -> (a -> m (Base c a)) -> t -> m c

Files

CHANGELOG.md view
@@ -19,3 +19,8 @@ ## 0.1.3.1 -- 2020-05-13  * added comment++## 0.1.3.2 -- 2020-05-13++* export the variants for hyloM and metaM.+
monadic-recursion-schemes.cabal view
@@ -4,7 +4,7 @@ -- http://haskell.org/cabal/users-guide/  name:                monadic-recursion-schemes-version:             0.1.3.1+version:             0.1.3.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
@@ -13,6 +13,7 @@   , histoM', futuM'   , zygoM, cozygoM   , hyloM, metaM+  , hyloM', metaM'   , chronoM, cochronoM   , chronoM', -- cochronoM'   ) where@@ -115,10 +116,6 @@  -- FIXME: I couldn't compile with this type signature. -- | hylomorphism on combination variant of ana to cata--- hyloM' :: (Monad m, Traversable (Base t), Recursive t, Corecursive t)---        => (Base t b -> m b)   -- ^ algebra---        -> (a -> m (Base t a)) -- ^ coalgebra---        -> a -> m b hyloM' phi psi = cataM phi <=< anaM psi  -- | metamorphism on recursive variant@@ -148,10 +145,6 @@  -- FIXME: I couldn't compile with this type signature. -- | chronomorphism on combination variant of futu to hist--- chronoM' :: (Monad m, Traversable (Base t), Recursive t, Corecursive t)---          => (Base t (Cofree (Base t) c) -> m c) -- ^ algebra---          -> (a -> m (Base t (Free (Base t) a))) -- ^ coalgebra---          -> a -> m c chronoM phi psi = histoM phi <=< futuM psi  cochronoM :: (Monad m, Corecursive c, Traversable (Base c), Traversable (Base t), Recursive t)