Portability | portable |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
See http://wwwtcs.inf.tu-dresden.de/%7Evoigt/mpc08.pdf for the background on rep, abs and improve and their use. NB: the C type in that paper is just the right Kan extension of a monad along itself, also known as the monad generated by a functor: http://www.tac.mta.ca/tac/volumes/10/19/10-19.ps
Documentation
module Control.Monad.Parameterized
class MonadFree f m => RunMonadFree f m | m -> f whereSource
Functor f => RunMonadFree f (Free f) | |
RunMonadFree f m => RunMonadFree f (CoYoneda m) | |
RunMonadFree f m => RunMonadFree f (Yoneda m) | |
RunMonadFree f m => RunMonadFree f (Codensity m) |