proarrow-0: Category theory with a central role for profunctors

Index - S

SProarrow.Category.Instance.Simplex
SConsProarrow.Category.Bicategory
second 
1 (Function)Proarrow.Category.Monoidal
2 (Function)Proarrow.Object.BinaryProduct
Setting 
1 (Type/Class)Proarrow.Category.Monoidal.Optic
2 (Data Constructor)Proarrow.Category.Monoidal.Optic
SimplexProarrow.Category.Instance.Simplex
singleton 
1 (Function)Proarrow.Category.Monoidal
2 (Function)Proarrow.Category.Double
singNatProarrow.Category.Instance.Simplex
singNat'Proarrow.Category.Instance.Simplex
singObjProarrow.Category.Instance.Simplex
singPathProarrow.Category.Bicategory
SListProarrow.Category.Monoidal
sListProarrow.Category.Monoidal
SNatProarrow.Category.Instance.Simplex
Snd 
1 (Type/Class)Proarrow.Category.Bicategory.Product
2 (Type/Class)Proarrow.Category.Instance.Product
sndProarrow.Object.BinaryProduct
snd'Proarrow.Object.BinaryProduct
SndCat 
1 (Type/Class)Proarrow.Category.Instance.Cat
2 (Data Constructor)Proarrow.Category.Instance.Cat
sndPProarrow.Profunctor.Product
SNilProarrow.Category.Bicategory
SPathProarrow.Category.Bicategory
splitFold 
1 (Function)Proarrow.Category.Monoidal
2 (Function)Proarrow.Category.Bicategory
splitFoldCoProarrow.Category.Bicategory.Co
splitFoldQProarrow.Category.Double.Quintet
SQProarrow.Category.Double
SqProarrow.Category.Double, Proarrow.Category.Double, Proarrow.Category.Double.Quintet
SQ1Proarrow.Category.Double
Sq1Proarrow.Category.Double, Proarrow.Category.Double, Proarrow.Category.Double.Quintet
srcProarrow.Core, Proarrow.Object, Proarrow
SSProarrow.Category.Instance.Simplex
Star 
1 (Type/Class)Proarrow.Profunctor.Star
2 (Data Constructor)Proarrow.Profunctor.Star
State 
1 (Type/Class)Proarrow.Promonad.State
2 (Data Constructor)Proarrow.Promonad.State
Str 
1 (Data Constructor)Proarrow.Category.Monoidal
2 (Data Constructor)Proarrow.Category.Bicategory
Strictified 
1 (Type/Class)Proarrow.Category.Monoidal
2 (Type/Class)Proarrow.Category.Bicategory
SUB 
1 (Type/Class)Proarrow.Category.Instance.Sub
2 (Type/Class)Proarrow.Category.Bicategory.Sub
Sub 
1 (Type/Class)Proarrow.Category.Instance.Sub
2 (Data Constructor)Proarrow.Category.Instance.Sub
3 (Type/Class)Proarrow.Category.Bicategory.Sub
4 (Data Constructor)Proarrow.Category.Bicategory.Sub
SUBCAT 
1 (Type/Class)Proarrow.Category.Instance.Sub
2 (Type/Class)Proarrow.Category.Bicategory.Sub
sucProarrow.Category.Instance.Simplex
swapProarrow.Category.Monoidal
swap'Proarrow.Category.Monoidal
swapProdProarrow.Object.BinaryProduct
SymMonoidalProarrow.Category.Monoidal
SZProarrow.Category.Instance.Simplex