|
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 |
|
|
Generalized from futu :: Functor f => GCoalgebra f (Free f) a -> a -> FixF f
|
|
|
|
|
A futumorphic postpromorphism
|
|
|
A generalized-futumorphic postpromorphism
|
|
|
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.4.2 |