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 - D
decompose
Control.Functor.Composition
decomposeLan
Control.Functor.KanExtension
decomposeRan
Control.Functor.KanExtension
Density
1 (Type/Class)
Control.Comonad.Density
2 (Data Constructor)
Control.Comonad.Density
densityToAdjunction
Control.Comonad.Density
densityToComposedAdjunction
Control.Comonad.Density
densityToLan
Control.Comonad.Density
destroyIdeal
Control.Monad.Ideal
diag
Control.Category.Cartesian
Dialgebra
Control.Functor.Algebra
DiKleisli
1 (Type/Class)
Control.Dyad
2 (Data Constructor)
Control.Dyad
dimap
Control.Functor
Dinatural
Control.Functor.Extras
Discrete
Control.Category.Discrete
Dist
Control.Functor.Extras
dist
Control.Functor.Extras
distAna
Control.Morphism.Ana
distApoT
Control.Morphism.Apo
distCata
Control.Morphism.Cata
DistCompF
1 (Type/Class)
Control.Functor.Pointed.Composition
2 (Data Constructor)
Control.Functor.Pointed.Composition
distFutu
Control.Morphism.Futu
distGApo
Control.Morphism.Apo
distGApoT
Control.Morphism.Apo
distHisto
Control.Morphism.Histo
distParaT
Control.Morphism.Para
distPointer
Control.Comonad.Pointer
distribute
Control.Category.Distributive
Distributes
Control.Functor.Extras
Distributive
Control.Category.Distributive
distZygo
Control.Morphism.Zygo
distZygoT
Control.Morphism.Zygo
Dual
1 (Type/Class)
Control.Category.Dual
2 (Data Constructor)
Control.Category.Dual
duplicate
Control.Comonad
, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply
dyna
Control.Morphism.Dyna