category-extras-0.53.5: Various modules and constructs inspired by category theory
Source code
Contents
Index
Control.Morphism.Chrono
Portability
non-portable (rank-2 polymorphism)
Stability
experimental
Maintainer
Edward Kmett <ekmett@gmail.com>
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
Source
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
Source
Produced by
Haddock
version 2.4.2