category-extras-0.53.4: Various modules and constructs inspired by category theory
Control.Morphism.Destroy
Description
Synopsis
hdestroy :: (HFunctor f, Functor c) => (forall g. HCoalgebra f g -> g :~> c) -> FixH f :~> cSource
forall h g . hdestroy g . hana h = g h cannot be realized as a RULE.
forall h g . hdestroy g . hana h = g h
kdestroy :: HFunctor f => (forall x. HCoalgebra f x -> x :~> Ran g h) -> FixH f :~> Ran g hSource
forall h g . kdestroy g . kana h = g (cointerpreterCoalgebra h) cannot be realized as a RULE
forall h g . kdestroy g . kana h = g (cointerpreterCoalgebra h)