Open xgrommx opened 7 years ago
Sounds good! I'll get to adding these when I'm less busy with work. Thanks for the issue!
@vmchale Also about zygoM
I know about (maybe wrong) signature, but I cannot to implement it. So I think it should be
zygoM
:: (Monad m, Traversable (Base a), Recursive a) =>
(Base a b -> m b) -> (Base a (b, c) -> m c) -> a -> m c
zygoM = undefined
I tried to implement it in haskell but maybe I don't know how it should be correct
@vmchale Also oftop but maybe u can create some examples for it https://hackage.haskell.org/package/recursion-schemes-ext-0.1.0.1/docs/Data-Foldable-Functor-Extensions.html ?
Hello @vmchale Here my haskell version of monadic RS
also interesting examples =)
Also metamorphism
I have
dyna
and other implementation