Portability | non-portable (rank-2 polymorphism) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
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 -> bSource
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 -> bSource