category-extras-0.44.1: Various modules and constructs inspired by category theory.
Control.Morphism.Dyna
Description
dyna :: (Functor f, Functor g) => AlgW g (Cofree g) b -> Natural f g -> CoAlg f a -> a -> bSource