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) |