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.Futu

Description

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

Documentation

futu :: RunMonadFree f m => GCoalgebra f m a -> a -> FixF fSource

g_futu :: (Functor f, RunMonadFree h m) => Dist h f -> GCoalgebra f m a -> a -> FixF fSource

distFutu :: (Functor f, RunMonadFree h m) => Dist h f -> Dist m fSource