 categoryextras0.53.6: Various modules and constructs inspired by category theory  Contents  Index 

Control.Monad.Free  Portability  portable  Stability  experimental  Maintainer  Edward Kmett <ekmett@gmail.com> 



Description 
See http://wwwtcs.inf.tudresden.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/1019.ps



Documentation 

module Control.Monad.Parameterized 

type PFree = PAp Either 

type Free f = Fix (PFree f) 

runFree :: Free f a > Either a (f (Free f a)) 

free :: Either a (f (Free f a)) > Free f a 

class (Functor f, Monad m) => MonadFree f m  m > f where 
 Methods    Instances  


class MonadFree f m => RunMonadFree f m  m > f where 
 Methods  cataFree :: (c > a) > Algebra f a > m c > a 
  Instances  


Produced by Haddock version 2.1.0 