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 (Data Constructor)	Proarrow.Category.Instance.Simplex
2 (Type/Class)	Proarrow.Category.Instance.Fin
SAdj	Proarrow.Category.Bicategory.Adj
SC	Proarrow.Category.Instance.Cost
Scalar	Proarrow.Category.Monoidal
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.Limit.BinaryProduct
second'	Proarrow.Category.Monoidal.Strength
section	Proarrow.Profunctor.Cofree
SelfAdjoint	Proarrow.Adjunction
SelfAdjointPoint	Proarrow.Adjunction
Semicartesian	Proarrow.Limit.Terminal
seq	Proarrow.Squares
SFin	Proarrow.Category.Instance.Fin
shift	Proarrow.Tools.Diagrams.Dot
shiftN	Proarrow.Category.Instance.FinRel
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
Sink	Proarrow.Profunctor.Instance.Cocone
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.Instance.Product
2 (Type/Class)	Proarrow.Category.Bicategory.Limit
3 (Data Constructor)	Proarrow.Limit.BinaryProduct
snd
1 (Function)	Proarrow.Category.Bicategory.Product
2 (Function)	Proarrow.Limit.BinaryProduct
3 (Function)	Proarrow.Category.Monoidal.CopyDiscard
snd'	Proarrow.Limit.BinaryProduct
sndK	Proarrow.Category.Instance.Product
sndObj	Proarrow.Category.Bicategory.Limit
sndP	Proarrow.Profunctor.Instance.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
Sort	Proarrow.Category.Bicategory.LaxFunctor
source	Proarrow.Category.Internal
SP
1 (Data Constructor)	Proarrow.Category.Instance.Span
2 (Data Constructor)	Proarrow.Category.Instance.Duploid
SPAN	Proarrow.Category.Instance.Span
Span
1 (Type/Class)	Proarrow.Category.Instance.Span
2 (Data Constructor)	Proarrow.Category.Instance.Span
SparseMatrix	Proarrow.Category.Instance.ZX
SPath	Proarrow.Category.Bicategory.Strictified
spider	Proarrow.Category.Monoidal.Hypergraph
spiderS	Proarrow.Category.Monoidal.Hypergraph
split
1 (Function)	Proarrow.Category.Instance.ZX
2 (Function)	Proarrow.Category.Instance.FinRel
3 (Function)	Proarrow.Tools.Diagrams.Dot
splitAll	Proarrow.Category.Bicategory.Strictified
splitFold
1 (Function)	Proarrow.Category.Bicategory.Strictified
2 (Function)	Proarrow.Category.Monoidal.Strictified
splitMany	Proarrow.Category.Monoidal.Strictified
splits	Proarrow.Category.Instance.FinRel
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.Fin
2 (Data Constructor)	Proarrow.Category.Instance.Simplex
SSing	Proarrow.Category.Monoidal.Strictified
ST	Proarrow.Category.Equipment.Stateful
St
1 (Data Constructor)	Proarrow.Category.Bicategory.Strictified
2 (Data Constructor)	Proarrow.Category.Instance.Free
Star
1 (Data Constructor)	Proarrow.Profunctor.Instance.Star
2 (Type/Class)	Proarrow.Profunctor.Instance.Star
Star'
1 (Type/Class)	Proarrow.Profunctor.Instance.Star
2 (Data Constructor)	Proarrow.Profunctor.Instance.Star
StarAutonomous	Proarrow.Category.Monoidal.StarAutonomous
starTraverse	Proarrow.Profunctor.Instance.Star
State
1 (Type/Class)	Proarrow.Category.Monoidal
2 (Data Constructor)	Proarrow.Promonad.State
3 (Type/Class)	Proarrow.Promonad.State
StateT
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.Monoidal.Strictified
strength	Proarrow.Category.Monoidal.Strength
Strictified
1 (Type/Class)	Proarrow.Category.Bicategory.Strictified
2 (Type/Class)	Proarrow.Category.Monoidal.Strictified
Strictly	Proarrow.Category.Monoidal
StrictlyAssoc	Proarrow.Category.Monoidal
Strong	Proarrow.Category.Monoidal.Strength
StrongDistributiveProfunctor	Proarrow.Category.Monoidal.Distributive
strongId	Proarrow.Category.Monoidal.Strength
StrongMonoidalCorep	Proarrow.Category.Monoidal
StrongMonoidalRep	Proarrow.Category.Monoidal
StrongSymMonAdj	Proarrow.Category.Instance.Duploid
Struct	Proarrow.Category.Instance.Free, Proarrow.Category.Instance.Free, Proarrow.Limit.Terminal, Proarrow.Colimit.Initial, Proarrow.Limit.BinaryProduct, Proarrow.Colimit.BinaryCoproduct, Proarrow.Category.Monoidal.Closed
STSq	Proarrow.Category.Equipment.Stateful
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
SubAction	Proarrow.Category.Monoidal.Action
SubAction'	Proarrow.Category.Monoidal.Action
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
Succ	Proarrow.Category.Instance.CatProf
succ	Proarrow.Colimit.NaturalNumbers
Sum	Proarrow.Colimit.BinaryCoproduct
sum	Proarrow.Colimit.BinaryCoproduct
Supplies	Proarrow.Category, Proarrow
Surjective	Proarrow.Category.Instance.Rel
Swap
1 (Data Constructor)	Proarrow.Category.Instance.Free
2 (Type/Class)	Proarrow.Category.Instance.CatProf
swap
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Profunctor.Instance.Arrow
swap'
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Category.Monoidal.Strictified
swap1	Proarrow.Category.Monoidal.Strictified
swap1Inv	Proarrow.Category.Monoidal.Strictified
swap2
1 (Function)	Proarrow.Category.Monoidal.Strictified
2 (Function)	Proarrow.Tools.Diagrams.Dot
swapClosed	Proarrow.Category.Monoidal.Closed
swapCoprod	Proarrow.Colimit.BinaryCoproduct
swapCoprod'	Proarrow.Colimit.BinaryCoproduct
swapFst	Proarrow.Category.Monoidal
swapInner	Proarrow.Category.Monoidal
swapInner'	Proarrow.Category.Monoidal
swapNode	Proarrow.Tools.Diagrams.Dot
swapOuter	Proarrow.Category.Monoidal
swapProd	Proarrow.Limit.BinaryProduct
swapSnd	Proarrow.Category.Monoidal
Symmetric	Proarrow.Category.Instance.Rel
SymMonoidal	Proarrow.Category.Monoidal
SymRefl
1 (Type/Class)	Proarrow.Tools.Diagrams.Dot
2 (Data Constructor)	Proarrow.Tools.Diagrams.Dot
SZ
1 (Data Constructor)	Proarrow.Category.Instance.Fin
2 (Data Constructor)	Proarrow.Category.Instance.Simplex