 | category-extras-0.53.6: Various modules and constructs inspired by category theory | Contents | Index |
|
| Control.Morphism.Futu | | 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
|
|
| Synopsis |
|
|
|
| Documentation |
|
| futu :: RunMonadFree f m => GCoalgebra f m a -> a -> FixF f |
| Generalized from futu :: Functor f => GCoalgebra f (Free f) a -> a -> FixF f
|
|
| g_futu :: (Functor f, RunMonadFree h m) => Dist h f -> GCoalgebra f m a -> a -> FixF f |
|
| postpro_futu :: RunMonadFree f m => GCoalgebra f m a -> (f :~> f) -> a -> FixF f |
| A futumorphic postpromorphism
|
|
| g_postpro_futu :: (Functor f, RunMonadFree h m) => Dist h f -> GCoalgebra f m a -> (f :~> f) -> a -> FixF f |
| A generalized-futumorphic postpromorphism
|
|
| distFutu :: (Functor f, RunMonadFree h m) => Dist h f -> Dist m f |
| Turn a distributive law for a functor into a distributive law for the free monad of that functor.
This has been generalized to support generating distributive laws for a number of related free-monad-like
constructions such as the Codensity monad of the free monad of a functor.
|
|
| Produced by Haddock version 2.1.0 |