Contents
Index
category-extras-0.51.3: Various modules and constructs inspired by category theory
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
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
hassociateComposition
Control.Functor.HigherOrder.Composition
HasTerminalObject
Control.Category.Object
hbind
Control.Monad.HigherOrder
hcata
Control.Morphism.Cata
HCoalgebra
Control.Functor.HigherOrder
hcoassociateComposition
Control.Functor.HigherOrder.Composition
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
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
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