Module
Matryoshka.Refold
- Package
- purescript-matryoshka
- Repository
- purescript-contrib/purescript-matryoshka
#hyloM Source
hyloM :: forall f m a b. Monad m => Traversable f => AlgebraM m f b -> CoalgebraM m f a -> a -> m b
#ghylo Source
ghylo :: forall f w n a b. Monad n => Comonad w => Functor f => DistributiveLaw f w -> DistributiveLaw n f -> GAlgebra w f b -> GCoalgebra n f a -> a -> b
#ghyloM Source
ghyloM :: forall f w n m a b. Monad m => Monad n => Comonad w => Traversable f => Traversable w => Traversable n => DistributiveLaw f w -> DistributiveLaw n f -> GAlgebraM w m f b -> GCoalgebraM n m f a -> a -> m b
#codynaM Source
codynaM :: forall f m a b. Monad m => Traversable f => AlgebraM m f b -> GCoalgebraM (Free f) m f a -> a -> m b
#convertTo Source
convertTo :: forall t f r. Recursive t f => Corecursive r f => t -> r