 categoryextras0.53.6: Various modules and constructs inspired by category theory  Contents  Index 

Control.Morphism.Destroy  Portability  nonportable (rank2 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 