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