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

Control.Morphism.Futu  Portability  nonportable (rank2 polymorphism)  Stability  experimental  Maintainer  Edward Kmett <ekmett@gmail.com> 



Description 
Traditional operators, shown here to show how to roll your own


Synopsis 



Documentation 

futu :: RunMonadFree f m => GCoalgebra f m a > a > FixF f 
Generalized from futu :: Functor f => GCoalgebra f (Free f) a > a > FixF f


g_futu :: (Functor f, RunMonadFree h m) => Dist h f > GCoalgebra f m a > a > FixF f 

postpro_futu :: RunMonadFree f m => GCoalgebra f m a > (f :~> f) > a > FixF f 
A futumorphic postpromorphism


g_postpro_futu :: (Functor f, RunMonadFree h m) => Dist h f > GCoalgebra f m a > (f :~> f) > a > FixF f 
A generalizedfutumorphic postpromorphism


distFutu :: (Functor f, RunMonadFree h m) => Dist h f > Dist m f 
Turn a distributive law for a functor into a distributive law for the free monad of that functor.
This has been generalized to support generating distributive laws for a number of related freemonadlike
constructions such as the Codensity monad of the free monad of a functor.


Produced by Haddock version 2.1.0 