Portability | non-portable (rank-2 polymorphism) |
---|---|

Stability | experimental |

Maintainer | Edward Kmett <ekmett@gmail.com> |

- ana :: Functor f => CoAlg f a -> a -> Fix f
- g_ana :: (Functor f, Monad m) => Dist m f -> CoAlgM f m a -> a -> Fix f
- distAna :: Functor f => Dist Identity f
- biana :: Bifunctor f => CoAlg (f b) a -> a -> FixB f b
- g_biana :: (Bifunctor f, Monad m) => Dist m (f b) -> CoAlgM (f b) m a -> a -> FixB f b
- hana :: HFunctor f => CoAlgH f a -> Natural a (FixH f)