category-extras-0.50.3: 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
histo :: Functor f => GAlgebra f (Cofree f) a -> FixF f -> a
g_histo :: (Functor f, Functor h) => Dist f h -> GAlgebra f (Cofree h) a -> FixF f -> a
distHisto :: (Functor f, Functor h) => Dist f h -> Dist f (Cofree h)
Produced by Haddock version 2.1.0