category-extras-0.53.5: Various modules and constructs inspired by category theory
Source code
Contents
Index
Control.Morphism.Cata
Portability
non-portable (rank-2 polymorphism)
Stability
experimental
Maintainer
Edward Kmett <ekmett@gmail.com>
Description
Documentation
cata
::
Functor
f =>
Algebra
f a ->
FixF
f -> a
Source
g_cata
:: (
Functor
f,
Comonad
w) =>
Dist
f w ->
GAlgebra
f w a ->
FixF
f -> a
Source
distCata
::
Functor
f =>
Dist
f
Identity
Source
bicata
::
QFunctor
f
Hask
Hask
=>
Algebra
(f b) a ->
Fix
f b -> a
Source
g_bicata
:: (
QFunctor
f
Hask
Hask
,
Comonad
w) =>
Dist
(f b) w ->
GAlgebra
(f b) w a ->
Fix
f b -> a
Source
hcata
::
HFunctor
f =>
HAlgebra
f a ->
FixH
f
:~>
a
Source
kcata
::
HFunctor
f =>
InterpreterT
f g h ->
FixH
f
:~>
Ran
g h
Source
runkcata
::
HFunctor
f =>
InterpreterT
f g h ->
FixH
f a -> (a -> g b) -> h b
Source
Produced by
Haddock
version 2.4.2