category-extras-0.53.5: Various modules and constructs inspired by category theory
Source code
Contents
Index
Control.Morphism.Exo
Portability
non-portable (rank-2 polymorphism)
Stability
experimental
Maintainer
Edward Kmett <ekmett@gmail.com>
Description
Martin Erwig's exomorphism
Synopsis
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 -> b
Source
Martin Erwig's exomorphism from d to d'
Produced by
Haddock
version 2.4.2