| Portability | non-portable (rank-2 polymorphism) |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <[email protected]> |
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