| category-extras-0.53.6: Various modules and constructs inspired by category theory | Contents | Index |
|
Control.Morphism.Destroy | Portability | non-portable (rank-2 polymorphism) | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
Description |
|
|
Synopsis |
|
|
|
Documentation |
|
hdestroy :: (HFunctor f, Functor c) => (forall g. HCoalgebra f g -> g :~> c) -> FixH f :~> c |
forall h g . hdestroy g . hana h = g h cannot be realized as a RULE.
|
|
kdestroy :: HFunctor f => (forall x. HCoalgebra f x -> x :~> Ran g h) -> FixH f :~> Ran g h |
forall h g . kdestroy g . kana h = g (cointerpreterCoalgebra h) cannot be realized as a RULE
|
|
Produced by Haddock version 2.1.0 |