category-extras-0.53.5: Various modules and constructs inspired by category theory
Source code
Contents
Index
Control.Morphism.Dyna
Portability
non-portable (rank-2 polymorphism)
Stability
experimental
Maintainer
Edward Kmett <ekmett@gmail.com>
Description
Documentation
dyna
:: (
Functor
f,
RunComonadCofree
g w) =>
GAlgebra
g w b -> (f
:~>
g) ->
Coalgebra
f a -> a -> b
Source
Produced by
Haddock
version 2.4.2