category-extras-0.53.6: Various modules and constructs inspired by category theoryContentsIndex
Control.Morphism.Histo
Portabilitynon-portable (rank-2 polymorphism)
Stabilityexperimental
MaintainerEdward 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