category-extras-0.52.0: Various modules and constructs inspired by category theory

Portabilitynon-portable (rank-2 polymorphism)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Morphism.Histo

Description

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

Documentation

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

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

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