category-extras-0.44.1: Various modules and constructs inspired by category theory. Source code Contents Index

Control.Morphism.Histo Portability non-portable (rank-2 polymorphism) Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

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

Documentation

histo :: Functor f => AlgW f (Cofree f) a -> Fix f -> a Source

g_histo :: (Functor f, Functor h) => Dist f h -> AlgW f (Cofree h) a -> Fix f -> a Source

distHisto :: (Functor f, Functor h) => Dist f h -> Dist f (Cofree h) Source

Produced by Haddock version 2.1.0