category-extras-0.44.4: 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