A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
:
!
#
$
%
&
*
+
.
/
<
=
?
@
\
^
|
-
~
_
All

Index - D

D
1 (Data Constructor)	Proarrow.Category.Instance.Discrete
2 (Type/Class)	Proarrow.Tools.Diagrams.Dot
Dagger	Proarrow.Category.Enriched.Dagger
dagger	Proarrow.Category.Enriched.Dagger
DaggerProfunctor	Proarrow.Category.Enriched.Dagger
Day
1 (Type/Class)	Proarrow.Category.Promonoidal
2 (Data Constructor)	Proarrow.Category.Promonoidal
3 (Type/Class)	Proarrow.Profunctor.Instance.Day
4 (Data Constructor)	Proarrow.Profunctor.Instance.Day
day	Proarrow.Profunctor.Instance.Day
day2comp	Proarrow.Profunctor.Instance.Day
dayCounit	Proarrow.Promonad.Reader
DayExp
1 (Type/Class)	Proarrow.Profunctor.Instance.Day
2 (Data Constructor)	Proarrow.Profunctor.Instance.Day
DayUnit
1 (Type/Class)	Proarrow.Profunctor.Instance.Day
2 (Data Constructor)	Proarrow.Profunctor.Instance.Day
decompose	Proarrow.Category.Promonoidal
decomposeActs	Proarrow.Category.Monoidal.Action
defaultFactorize	Proarrow.Category.Topos
defaultFactorizeDual	Proarrow.Category.Topos
delta	Proarrow.Category.Bicategory
Density	Proarrow.Category.Bicategory.Kan
DEP	Proarrow.Category.Instance.Fam
DEP_	Proarrow.Category.Instance.Fam
Diag	Proarrow.Category.Instance.Product
diag	Proarrow.Limit.BinaryProduct
diagonalElement	Proarrow.Category.Instance.Graph
dimap	Proarrow.Core, Proarrow.Profunctor, Proarrow
dimapCorep	Proarrow.Profunctor.Corepresentable
dimapDefault	Proarrow.Core, Proarrow.Category, Proarrow
dimapLan	Proarrow.Category.Bicategory.Kan
dimapLax	Proarrow.Category.Bicategory.Prof
dimapLift	Proarrow.Category.Bicategory.Kan
dimapRan	Proarrow.Category.Bicategory.Kan
dimapRep	Proarrow.Profunctor.Representable
dimapRift	Proarrow.Category.Bicategory.Kan
dimension	Proarrow.Category.Monoidal.CompactClosed
Direp
1 (Type/Class)	Proarrow.Profunctor.Instance.Direp
2 (Data Constructor)	Proarrow.Profunctor.Instance.Direp
discard	Proarrow.Category.Monoidal.CopyDiscard
discardS	Proarrow.Category.Monoidal.CopyDiscard
DISCRETE	Proarrow.Category.Instance.Discrete
Discrete
1 (Type/Class)	Proarrow.Category.Enriched.Thin
2 (Type/Class)	Proarrow.Category.Instance.Discrete
DiscreteK	Proarrow.Category.Bicategory.Bidiscrete
DiscreteProfunctor	Proarrow.Category.Enriched.Thin
distL	Proarrow.Category.Monoidal.Distributive
distLClosed	Proarrow.Category.Monoidal.Distributive
distLInv	Proarrow.Category.Monoidal.Distributive
distLProd	Proarrow.Category.Monoidal.Distributive
distR	Proarrow.Category.Monoidal.Distributive
distRClosed	Proarrow.Category.Monoidal.Distributive
DistribDual	Proarrow.Category.Instance.CatProf
distribDual	Proarrow.Category.Monoidal.CompactClosed
distribDualInv	Proarrow.Category.Monoidal.CompactClosed
Distributive	Proarrow.Category.Monoidal.Distributive
DistributiveProfunctor	Proarrow.Category.Monoidal.Distributive
distRInv	Proarrow.Category.Monoidal.Distributive
distRProd	Proarrow.Category.Monoidal.Distributive
DK	Proarrow.Category.Bicategory.Bidiscrete
Dn	Proarrow.Category.Instance.Duploid
dn	Proarrow.Category.Instance.Linear
DOT	Proarrow.Tools.Diagrams.Dot
Dot
1 (Type/Class)	Proarrow.Tools.Diagrams.Dot
2 (Data Constructor)	Proarrow.Tools.Diagrams.Dot
DotData
1 (Type/Class)	Proarrow.Tools.Diagrams.Dot
2 (Data Constructor)	Proarrow.Tools.Diagrams.Dot
doubleNeg	Proarrow.Category.Monoidal.StarAutonomous
doubleNegInv	Proarrow.Category.Monoidal.StarAutonomous
doubleNegIso	Proarrow.Category.Monoidal.StarAutonomous
down	Proarrow.Category.Instance.Duploid
Dual
1 (Type/Class)	Proarrow.Category.Monoidal.StarAutonomous
2 (Type/Class)	Proarrow.Category.Bicategory.MonoidalAsBi
dual	Proarrow.Category.Monoidal.StarAutonomous
dualAdj	Proarrow.Category.Bicategory.MonoidalAsBi
dualAdj'	Proarrow.Category.Bicategory.MonoidalAsBi
dualHG	Proarrow.Category.Monoidal.Hypergraph
dualInv	Proarrow.Category.Monoidal.StarAutonomous
dualityCounit	Proarrow.Category.Monoidal.CompactClosed
dualityCounitS	Proarrow.Category.Monoidal.CompactClosed
dualityCounitSA	Proarrow.Category.Monoidal.StarAutonomous
dualityUnit	Proarrow.Category.Monoidal.CompactClosed
dualityUnitS	Proarrow.Category.Monoidal.CompactClosed
dualityUnitSA	Proarrow.Category.Monoidal.StarAutonomous
dualObj	Proarrow.Category.Monoidal.StarAutonomous
DualUnit	Proarrow.Category.Instance.CatProf
dualUnit	Proarrow.Category.Monoidal.CompactClosed
dualUnitInv	Proarrow.Category.Monoidal.CompactClosed
duoidal	Proarrow.Profunctor.Instance.Day
DUPLOID	Proarrow.Category.Instance.Duploid
Duploid
1 (Type/Class)	Proarrow.Category.Instance.Duploid
2 (Data Constructor)	Proarrow.Category.Instance.Duploid
dupUr	Proarrow.Category.Instance.Linear
DX	Proarrow.Category.Instance.Fam