| Portability | non-portable (rank-2 polymorphism) |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
Control.Morphism.Exo
Description
Martin Erwig's exomorphism
- exo :: Functor h => Bialgebra m n b -> (h b -> m b) -> (h a -> h (g a)) -> Trialgebra f g h a -> g a -> b
Documentation
exo :: Functor h => Bialgebra m n b -> (h b -> m b) -> (h a -> h (g a)) -> Trialgebra f g h a -> g a -> bSource
Martin Erwig's exomorphism from d to d'