 | category-extras-0.53.6: Various modules and constructs inspired by category theory | Contents | Index |
| Control.Morphism.Chrono |
|
| ||||||||
| ||||||||
| Description | ||||||||
| Chronomorphisms from http://comonad.com/reader/2008/time-for-chronomorphisms/ | ||||||||
| Documentation | ||||||||
| chrono :: (RunMonadFree f m, RunComonadCofree g w) => GAlgebra g w b -> (f :~> g) -> GCoalgebra f m a -> a -> b | ||||||||
| g_chrono :: (Functor f, Functor g, RunComonadCofree h w, RunMonadFree j m) => Dist g h -> Dist j f -> GAlgebra g w b -> (f :~> g) -> GCoalgebra f m a -> a -> b | ||||||||
| Produced by Haddock version 2.1.0 |