category-extras-0.44.1: Various modules and constructs inspired by category theory.
Control.Comonad.Parameterized
Description
copaugment :: PComonad f => ((FixB f a -> f b (FixB f a)) -> FixB f b) -> (FixB f a -> b) -> FixB f bSource