Control.Morphism.Chrono

Chronomorphisms from http://comonad.com/reader/2008/time-for-chronomorphisms/

Documentation

chrono :: (Functor f, Functor g) => GAlgebra g (Cofree g) b -> (f :~> g) -> GCoalgebra f (Free f) a -> a -> b

g_chrono :: (Functor f, Functor g, Functor h, Functor j) => Dist g h -> Dist j f -> GAlgebra g (Cofree h) b -> (f :~> g) -> GCoalgebra f (Free j) a -> a -> b