 | category-extras-0.51.3: Various modules and constructs inspired by category theory | Source code | Contents | Index |
| Control.Morphism.Dyna |
|
| dyna :: (Functor f, Functor g) => GAlgebra g (Cofree g) b -> (f :~> g) -> Coalgebra f a -> a -> b | Source |
| ||||||||
| ||||||||
| Description | ||||||||
| Documentation | ||||||||
| ||||||||
| Produced by Haddock version 2.3.0 |