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 - S

S
1 (Type/Class)	Proarrow.Category.Instance.Simplex
2 (Type/Class)	Proarrow.Category.Instance.Mat
3 (Type/Class)	Proarrow.Category.Instance.Fin
SAdj	Proarrow.Category.Bicategory.Adj
SC	Proarrow.Category.Instance.Cost
SCons
1 (Data Constructor)	Proarrow.Category.Bicategory.Strictified
2 (Data Constructor)	Proarrow.Category.Monoidal.Strictified
SCost	Proarrow.Category.Instance.Cost
SDuploidObj	Proarrow.Category.Instance.Duploid
second
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Object.BinaryProduct
second'	Proarrow.Category.Monoidal.Action
section	Proarrow.Profunctor.Cofree
section'	Proarrow.Profunctor.Cofree
SelfAction	Proarrow.Category.Monoidal.Action
Semicartesian	Proarrow.Object.Terminal
SFin	Proarrow.Category.Instance.Fin
shift	Proarrow.Tools.Diagrams.Dot
shiftNeg	Proarrow.Category.Instance.Duploid
shiftNegLift	Proarrow.Category.Instance.Duploid
shiftNegObj	Proarrow.Category.Instance.Duploid
shiftPos	Proarrow.Category.Instance.Duploid
shiftPosLift	Proarrow.Category.Instance.Duploid
shiftPosObj	Proarrow.Category.Instance.Duploid
Show2	Proarrow.Category.Instance.Free
showPostComp	Proarrow.Category.Instance.Free
Simplex	Proarrow.Category.Instance.Simplex
SINF	Proarrow.Category.Instance.Cost
sing	Proarrow.Category.Instance.Cost
singFin	Proarrow.Category.Instance.Fin
singleton
1 (Function)	Proarrow.Category.Bicategory.Strictified
2 (Function)	Proarrow.Category.Monoidal.Strictified
singNat	Proarrow.Category.Instance.Simplex
singPath
1 (Function)	Proarrow.Category.Bicategory.Strictified
2 (Function)	Proarrow.Category.Bicategory.Adj
SL	Proarrow.Category.Bicategory.Adj
SList	Proarrow.Category.Monoidal.Strictified
sList	Proarrow.Category.Monoidal.Strictified
SLL	Proarrow.Category.Bicategory.Adj
SLT	Proarrow.Category.Instance.Fin
SN	Proarrow.Category.Instance.Duploid
SNat	Proarrow.Category.Instance.Simplex
Snd
1 (Type/Class)	Proarrow.Category.Bicategory.Limit
2 (Type/Class)	Proarrow.Category.Instance.Product
3 (Type/Class)	Proarrow.Category.Bicategory.Product
4 (Data Constructor)	Proarrow.Object.BinaryProduct
snd
1 (Function)	Proarrow.Category.Bicategory.Product
2 (Function)	Proarrow.Object.BinaryProduct
snd'	Proarrow.Object.BinaryProduct
SndCat	Proarrow.Category.Instance.Cat
sndK	Proarrow.Category.Instance.Product
sndObj	Proarrow.Category.Bicategory.Limit
sndP	Proarrow.Profunctor.Product
SNil
1 (Data Constructor)	Proarrow.Category.Bicategory.Strictified
2 (Data Constructor)	Proarrow.Category.Monoidal.Strictified
3 (Data Constructor)	Proarrow.Category.Bicategory.Adj
SNilL	Proarrow.Category.Bicategory.Adj
SNilOrL	Proarrow.Category.Bicategory.Adj
SNilOrR	Proarrow.Category.Bicategory.Adj
SNilR	Proarrow.Category.Bicategory.Adj
SP	Proarrow.Category.Instance.Duploid
SparseMatrix	Proarrow.Category.Instance.ZX
SPath	Proarrow.Category.Bicategory.Strictified
split
1 (Function)	Proarrow.Category.Instance.ZX
2 (Function)	Proarrow.Category.Instance.Mat
3 (Function)	Proarrow.Tools.Diagrams.Dot
splitAll	Proarrow.Category.Bicategory.Strictified
splitFold
1 (Function)	Proarrow.Category.Bicategory.Strictified
2 (Function)	Proarrow.Category.Monoidal.Strictified
SQ	Proarrow.Squares
Sq
1 (Type/Class)	Proarrow.Squares
2 (Data Constructor)	Proarrow.Squares
SQ'	Proarrow.Squares
Sq'	Proarrow.Squares
SR	Proarrow.Category.Bicategory.Adj
src	Proarrow.Core, Proarrow.Object, Proarrow
SRR	Proarrow.Category.Bicategory.Adj
SS
1 (Data Constructor)	Proarrow.Category.Instance.Simplex
2 (Data Constructor)	Proarrow.Category.Instance.Fin
SSing	Proarrow.Category.Monoidal.Strictified
ST	Proarrow.Category.Equipment.Stateful
St	Proarrow.Category.Bicategory.Strictified
Star
1 (Data Constructor)	Proarrow.Profunctor.Star
2 (Type/Class)	Proarrow.Profunctor.Star
Star'
1 (Type/Class)	Proarrow.Profunctor.Star
2 (Data Constructor)	Proarrow.Profunctor.Star
StarAutonomous	Proarrow.Object.Dual
State
1 (Type/Class)	Proarrow.Promonad.State
2 (Data Constructor)	Proarrow.Promonad.State
stCounit	Proarrow.Category.Bicategory.Strictified
Str
1 (Data Constructor)	Proarrow.Category.Bicategory.Strictified
2 (Data Constructor)	Proarrow.Category.Instance.Free
3 (Data Constructor)	Proarrow.Category.Monoidal.Strictified
strength	Proarrow.Category.Monoidal.Action
Strictified
1 (Type/Class)	Proarrow.Category.Bicategory.Strictified
2 (Type/Class)	Proarrow.Category.Monoidal.Strictified
Strong	Proarrow.Category.Monoidal.Action
StrongCoprod	Proarrow.Object.BinaryCoproduct
StrongMonoidalCorep	Proarrow.Category.Monoidal
StrongMonoidalRep	Proarrow.Category.Monoidal
strongPar0	Proarrow.Category.Monoidal.Action
StrongProd	Proarrow.Object.BinaryProduct
StrongSymMonAdj	Proarrow.Category.Instance.Duploid
Struct	Proarrow.Category.Instance.Free, Proarrow.Category.Monoidal, Proarrow.Object.Terminal, Proarrow.Object.Initial, Proarrow.Object.BinaryProduct, Proarrow.Object.BinaryCoproduct, Proarrow.Object.Exponential
STT	Proarrow.Category.Equipment.Stateful
StT
1 (Type/Class)	Proarrow.Category.Equipment.Stateful
2 (Data Constructor)	Proarrow.Category.Equipment.Stateful
STT'	Proarrow.Category.Equipment.Stateful
stUnit	Proarrow.Category.Bicategory.Strictified
SUB
1 (Type/Class)	Proarrow.Category.Bicategory.Sub
2 (Type/Class)	Proarrow.Category.Instance.Sub
Sub
1 (Type/Class)	Proarrow.Category.Bicategory.Sub
2 (Data Constructor)	Proarrow.Category.Bicategory.Sub
3 (Type/Class)	Proarrow.Category.Instance.Sub
4 (Data Constructor)	Proarrow.Category.Instance.Sub
SUBCAT
1 (Type/Class)	Proarrow.Category.Bicategory.Sub
2 (Type/Class)	Proarrow.Category.Instance.Sub
SubMonoidal	Proarrow.Category.Instance.Sub
suc	Proarrow.Category.Instance.Simplex
Sum	Proarrow.Object.BinaryCoproduct
sum	Proarrow.Object.BinaryCoproduct
Supplies	Proarrow.Category, Proarrow
Surjective	Proarrow.Category.Instance.Rel
Swap
1 (Data Constructor)	Proarrow.Category.Monoidal
2 (Type/Class)	Proarrow.Category.Instance.Cat
swap	Proarrow.Category.Monoidal
swap'
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Category.Monoidal.Strictified
swap1	Proarrow.Category.Monoidal.Strictified
swap1Inv	Proarrow.Category.Monoidal.Strictified
swap2	Proarrow.Tools.Diagrams.Dot
swapClosed	Proarrow.Object.Exponential
swapCoprod	Proarrow.Object.BinaryCoproduct
swapCoprod'	Proarrow.Object.BinaryCoproduct
swapFst	Proarrow.Category.Monoidal
swapInner	Proarrow.Category.Monoidal
swapInner'	Proarrow.Category.Monoidal
swapNode	Proarrow.Tools.Diagrams.Dot
swapOuter	Proarrow.Category.Monoidal
swapProd	Proarrow.Object.BinaryProduct
swapProd'	Proarrow.Object.BinaryProduct
swapSnd	Proarrow.Category.Monoidal
Symmetric	Proarrow.Category.Instance.Rel
SymMonoidal	Proarrow.Category.Monoidal
SymMonoidalAction	Proarrow.Category.Monoidal.Action
SymRefl
1 (Type/Class)	Proarrow.Tools.Diagrams.Dot
2 (Data Constructor)	Proarrow.Tools.Diagrams.Dot
SZ
1 (Data Constructor)	Proarrow.Category.Instance.Simplex
2 (Data Constructor)	Proarrow.Category.Instance.Fin