category-extras-0.51.3: Various modules and constructs inspired by category theory
Control.Morphism.Dyna
Description
dyna :: (Functor f, Functor g) => GAlgebra g (Cofree g) b -> (f :~> g) -> Coalgebra f a -> a -> bSource