category-extras-0.50.3: Various modules and constructs inspired by category theoryContentsIndex
Control.Morphism.Futu
Portabilitynon-portable (rank-2 polymorphism)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Traditional operators, shown here to show how to roll your own
Documentation
futu :: Functor f => GCoalgebra f (Free f) a -> a -> FixF f
g_futu :: (Functor f, Functor h) => Dist h f -> GCoalgebra f (Free h) a -> a -> FixF f
distFutu :: (Functor f, Functor h) => Dist h f -> Dist (Free h) f
Produced by Haddock version 2.1.0