category-extras-0.52.3: Various modules and constructs inspired by category theory

Portability	non-portable (rank-2 polymorphism)
Stability	experimental
Maintainer	Edward Kmett <ekmett@gmail.com>

Control.Morphism.Dyna

Description

Documentation

dyna :: (Functor f, RunComonadCofree g w) => GAlgebra g w b -> (f :~> g) -> Coalgebra f a -> a -> bSource