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

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



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



Documentation 

distHisto :: (RunComonadCofree h w, Functor f) => Dist f h > Dist f w 

histo :: RunComonadCofree f w => GAlgebra f w a > FixF f > a 

g_histo :: (RunComonadCofree h w, Functor f) => Dist f h > GAlgebra f w a > FixF f > a 

prepro_histo :: RunComonadCofree f w => GAlgebra f w a > (f :~> f) > FixF f > a 

g_prepro_histo :: (RunComonadCofree h w, Functor f) => Dist f h > GAlgebra f w a > (f :~> f) > FixF f > a 

Produced by Haddock version 2.1.0 