Portability | non-portable (rank-2 polymorphism) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Traditional operators, shown here to show how to roll your own
Documentation
histo :: RunComonadCofree f w => GAlgebra f w a -> FixF f -> aSource
prepro_histo :: RunComonadCofree f w => GAlgebra f w a -> (f :~> f) -> FixF f -> aSource
g_prepro_histo :: (RunComonadCofree h w, Functor f) => Dist f h -> GAlgebra f w a -> (f :~> f) -> FixF f -> aSource