yaya 0.3.1.2 → 0.3.2.0

raw patch · 3 files changed

+12/−1 lines, 3 files

Files

• CHANGELOG.md +4/−0
• src/Yaya/Fold.hs +7/−0
• yaya.cabal +1/−1

@@ -4,6 +4,10 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/), and this project adheres to the [Haskell Package Versioning Policy](https://pvp.haskell.org/). +## 0.3.2.0 – 2020–06-01+### Added+- `zipAlgebraMs`+ ## 0.3.1.2 – 2020–05–18 ### Added - `HFunctor` instances

@@ -163,6 +163,13 @@ zipAlgebras :: Functor f => Algebra (->) f a -> Algebra (->) f b -> Algebra (->) f (a, b) zipAlgebras f g = (f . fmap fst &&& g . fmap snd) +-- | Combines two `AlgebraM`s with different carriers into a single tupled+--  `AlgebraM`.+zipAlgebraMs+  :: (Applicative m, Functor f)+  => AlgebraM (->) m f a -> AlgebraM (->) m f b -> AlgebraM (->) m f (a, b)+zipAlgebraMs f g = uncurry (liftA2 (,)) . (f . fmap fst &&& g . fmap snd)+ -- | Algebras over Day convolution are convenient for binary operations, but --   aren’t directly handleable by `cata`. lowerDay :: Projectable (->) t g => Algebra (->) (Day f g) a -> Algebra (->) f (t -> a)

@@ -1,5 +1,5 @@ name:                yaya-version:             0.3.1.2+version:             0.3.2.0 synopsis:            Total recursion schemes. description:         Recursion schemes allow you to separate recursion from your                      business logic – making your own operations simpler, more