Contents
Index
category-extras-0.53.5: Various modules and constructs inspired by category theory
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
X
Y
Z
:
&
.
=
>
|
Index - H
HAdjunction
Control.Functor.Adjunction.HigherOrder
HAlgebra
Control.Functor.HigherOrder
hana
Control.Morphism.Ana
HasIdentity
Control.Category.Monoidal
, Control.Category.Cartesian
HasInitialObject
Control.Category.Object
Hask
Control.Category.Hask
HasLimit
Control.Functor.Limit
hassociateComposition
Control.Functor.HigherOrder.Composition
HasTerminalObject
Control.Category.Object
hbind
Control.Monad.HigherOrder
hbuild
Control.Morphism.Build
hcata
Control.Morphism.Cata
HCoalgebra
Control.Functor.HigherOrder
hcoassociateComposition
Control.Functor.HigherOrder.Composition
hcolambek
Control.Functor.Lambek
HComonad
Control.Comonad.HigherOrder
hcompose
Control.Functor.HigherOrder.Composition
HComposition
Control.Functor.HigherOrder.Composition
HCopointed
Control.Functor.HigherOrder
,
Control.Comonad.HigherOrder
hcounit
Control.Functor.Adjunction.HigherOrder
hdecompose
Control.Functor.HigherOrder.Composition
hdestroy
Control.Morphism.Destroy
hduplicate
Control.Comonad.HigherOrder
hextend
Control.Comonad.HigherOrder
hextract
Control.Functor.HigherOrder
,
Control.Comonad.HigherOrder
hfmap
Control.Functor.HigherOrder
,
Control.Comonad.HigherOrder
,
Control.Monad.HigherOrder
HFunctor
Control.Functor.HigherOrder
,
Control.Comonad.HigherOrder
,
Control.Monad.HigherOrder
hhylo
Control.Morphism.Hylo
histo
Control.Morphism.Histo
hjoin
Control.Monad.HigherOrder
hlambek
Control.Functor.Lambek
hleftAdjunct
Control.Functor.Adjunction.HigherOrder
HMonad
Control.Monad.HigherOrder
HPointed
Control.Functor.HigherOrder
,
Control.Monad.HigherOrder
hreturn
Control.Functor.HigherOrder
,
Control.Monad.HigherOrder
hrightAdjunct
Control.Functor.Adjunction.HigherOrder
hunit
Control.Functor.Adjunction.HigherOrder
hylo
Control.Morphism.Hylo
Hyp
Control.Monad.Hyper
Hyper
Control.Monad.Hyper