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

Index - D

D
1 (Type/Class)	Proarrow.Tools.Diagrams.Dot
2 (Type/Class)	Proarrow.Category.Instance.Discrete
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
DayFl	Proarrow.Optic.Day
dayOptic	Proarrow.Optic.Day
DayUnit
1 (Type/Class)	Proarrow.Profunctor.Instance.Day
2 (Data Constructor)	Proarrow.Profunctor.Instance.Day
Decidable	Proarrow.Category.Enriched.Thin
decidableFromIndex	Proarrow.Category.Enriched.Finitary
DecidableProfunctor	Proarrow.Category.Enriched.Thin
decidableSize	Proarrow.Category.Enriched.Finitary
decide	Proarrow.Category.Enriched.Thin
DecideComp	Proarrow.Category.Enriched.Thin.Composition
decideComp	Proarrow.Category.Enriched.Thin.Composition
decideEq	Proarrow.Category.Enriched.Thin
Decision	Proarrow.Category.Enriched.Thin
decompose	Proarrow.Category.Promonoidal
decomposeActs	Proarrow.Category.Monoidal.Action
defaultFactorize	Proarrow.Category.Topos
defaultFactorizeDual	Proarrow.Category.Topos
defaultOptions	Proarrow.Tools.Diagrams.Svg
defaultTestOptions	Proarrow.Testing.Laws
Delta	Proarrow.Category.Instance.Discrete
deltaAct	Proarrow.Category.Instance.Discrete
DEP	Proarrow.Category.Instance.Fam
DEP_	Proarrow.Category.Instance.Fam
Diag	Proarrow.Category.Instance.Product
diag	Proarrow.Limit.BinaryProduct
diagonalElement	Proarrow.Category.Instance.Graph
Diagram	Proarrow.Tools.Diagrams.Svg
dimap	Proarrow.Core, Proarrow
dimapCorep	Proarrow.Profunctor.Corepresentable
dimapDefault	Proarrow.Core, Proarrow
dimapRep	Proarrow.Profunctor.Representable
dimension	Proarrow.Category.Monoidal.CompactClosed
Direction	Proarrow.Tools.Diagrams.Svg
Direp
1 (Type/Class)	Proarrow.Profunctor.Instance.Direp
2 (Data Constructor)	Proarrow.Profunctor.Instance.Direp
discard	Proarrow.Category.Monoidal.CopyDiscard
discardOfUnit	Proarrow.Category.Monoidal.CopyDiscard
DiscardPoint	Proarrow.Tools.Diagrams.Svg
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
DiscreteProfunctor	Proarrow.Category.Enriched.Thin
DistL	Proarrow.Category.Monoidal.Distributive
distL	Proarrow.Category.Monoidal.Distributive
distLClosed	Proarrow.Category.Monoidal.Distributive
distLInv	Proarrow.Category.Monoidal.Distributive
distLProd	Proarrow.Category.Monoidal.Cartesian
DistR	Proarrow.Category.Monoidal.Distributive
distR	Proarrow.Category.Monoidal.Distributive
distRClosed	Proarrow.Category.Monoidal.Distributive
DistribDual	Proarrow.Category.Monoidal.CompactClosed
distribDual	Proarrow.Category.Monoidal.CompactClosed
Distributive	Proarrow.Category.Monoidal.Distributive
DistributiveProfunctor	Proarrow.Category.Monoidal.Distributive
DistributiveStructures	Proarrow.Category.Monoidal.Distributive
DistributiveW	Proarrow.Testing.Laws.Run
distRInv	Proarrow.Category.Monoidal.Distributive
distRProd	Proarrow.Category.Monoidal.Cartesian
Dn	Proarrow.Category.Instance.Duploid
dn	Proarrow.Category.Instance.Linear
Doc	Proarrow.Testing.Laws.Run
document	Proarrow.Tools.Diagrams.Svg
Done	Proarrow.Category.Enriched.Thin.Composition
DoneAt	Proarrow.Category.Enriched.Thin.Composition
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
doubleNegation	Proarrow.Category.Topos
doubleNegDefault	Proarrow.Category.Monoidal.StarAutonomous
doubleNegInv	Proarrow.Category.Monoidal.StarAutonomous
doubleNegInvDefault	Proarrow.Category.Monoidal.StarAutonomous
doubleNegIso	Proarrow.Category.Monoidal.StarAutonomous
down	Proarrow.Category.Instance.Duploid
dpoStep	Proarrow.Tools.DPO
drawnAs	Proarrow.Tools.Diagrams.Svg
Dual
1 (Type/Class)	Proarrow.Category.Monoidal.StarAutonomous
2 (Data Constructor)	Proarrow.Category.Monoidal.StarAutonomous
dual	Proarrow.Category.Monoidal.StarAutonomous
dualCap	Proarrow.Tools.Diagrams.Svg
dualCapS	Proarrow.Tools.Diagrams.Svg
dualCup	Proarrow.Tools.Diagrams.Svg
dualCupS	Proarrow.Tools.Diagrams.Svg
DualF	Proarrow.Category.Monoidal.StarAutonomous
dualHG	Proarrow.Category.Monoidal.Hypergraph
DualInv	Proarrow.Category.Monoidal.StarAutonomous
dualInv	Proarrow.Category.Monoidal.StarAutonomous
dualityCounit	Proarrow.Category.Monoidal.CompactClosed
dualityCounitDefault	Proarrow.Category.Monoidal.CompactClosed
dualityCounitS	Proarrow.Category.Monoidal.CompactClosed
dualityCounitSA	Proarrow.Category.Monoidal.StarAutonomous
dualityUnit	Proarrow.Category.Monoidal.CompactClosed
dualityUnitDefault	Proarrow.Category.Monoidal.CompactClosed
dualityUnitS	Proarrow.Category.Monoidal.CompactClosed
dualityUnitSA	Proarrow.Category.Monoidal.StarAutonomous
DualList	Proarrow.Tools.Diagrams.Svg
dualObj	Proarrow.Category.Monoidal.StarAutonomous
DualUnit	Proarrow.Category.Monoidal.CompactClosed
dualUnit	Proarrow.Category.Monoidal.CompactClosed
dualUnitInv	Proarrow.Category.Monoidal.CompactClosed
DualW	Proarrow.Tools.Diagrams.Svg
DualWire	Proarrow.Tools.Diagrams.Svg
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