 | category-extras-0.53.6: Various modules and constructs inspired by category theory | Contents | Index |
| Control.Morphism.Exo |
|
| exo :: Functor h => Bialgebra m n b -> (h b -> m b) -> (h a -> h (g a)) -> Trialgebra f g h a -> g a -> b |
| ||||||||
| ||||||||
| Description | ||||||||
| Martin Erwig's exomorphism | ||||||||
| Synopsis | ||||||||
| ||||||||
| Documentation | ||||||||
| exo :: Functor h => Bialgebra m n b -> (h b -> m b) -> (h a -> h (g a)) -> Trialgebra f g h a -> g a -> b | ||||||||
| Martin Erwig's exomorphism from d to d' | ||||||||
| Produced by Haddock version 2.1.0 |