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

Index - S

S 
1 (Type/Class)Proarrow.Category.Instance.Simplex
2 (Type/Class)Proarrow.Category.Instance.Mat
3 (Type/Class)Proarrow.Category.Instance.Fin
SConsProarrow.Category.Bicategory.Strictified
second 
1 (Function)Proarrow.Category.Monoidal
2 (Function)Proarrow.Object.BinaryProduct
second'Proarrow.Object.BinaryProduct
sectionProarrow.Profunctor.Cofree
section'Proarrow.Profunctor.Cofree
Setting 
1 (Type/Class)Proarrow.Category.Monoidal.Optic
2 (Data Constructor)Proarrow.Category.Monoidal.Optic
SimplexProarrow.Category.Instance.Simplex
SimplexIProarrow.Category.Instance.Simplex
SimplexOProarrow.Category.Instance.Simplex
singleton 
1 (Function)Proarrow.Category.Monoidal.Strictified
2 (Function)Proarrow.Category.Bicategory.Strictified
singNatProarrow.Category.Instance.Simplex
singNat'Proarrow.Category.Instance.Simplex
singObjProarrow.Category.Instance.Simplex
singPathProarrow.Category.Bicategory.Strictified
SListProarrow.Category.Monoidal.Strictified
sListProarrow.Category.Monoidal.Strictified
SLTProarrow.Category.Instance.Fin
SNatProarrow.Category.Instance.Simplex
Snd 
1 (Type/Class)Proarrow.Category.Instance.Product
2 (Type/Class)Proarrow.Category.Bicategory.Product
snd 
1 (Function)Proarrow.Category.Bicategory.Product
2 (Function)Proarrow.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.Strictified
SPathProarrow.Category.Bicategory.Strictified
splitProarrow.Category.Instance.Mat
splitFold 
1 (Function)Proarrow.Category.Monoidal.Strictified
2 (Function)Proarrow.Category.Bicategory.Strictified
SQProarrow.Category.Equipment
Sq 
1 (Type/Class)Proarrow.Category.Equipment
2 (Data Constructor)Proarrow.Category.Equipment
SQ'Proarrow.Category.Equipment
srcProarrow.Core, Proarrow.Object, Proarrow
SSProarrow.Category.Instance.Simplex
Star 
1 (Type/Class)Proarrow.Profunctor.Star
2 (Data Constructor)Proarrow.Profunctor.Star
StarAutonomousProarrow.Object.Dual
State 
1 (Type/Class)Proarrow.Promonad.State
2 (Data Constructor)Proarrow.Promonad.State
Str 
1 (Data Constructor)Proarrow.Category.Monoidal.Strictified
2 (Data Constructor)Proarrow.Category.Bicategory.Strictified
strProarrow.Category.Bicategory.Strictified
strengthProarrow.Profunctor.Star
Strictified 
1 (Type/Class)Proarrow.Category.Monoidal.Strictified
2 (Type/Class)Proarrow.Category.Bicategory.Strictified
StrongProarrow.Category.Monoidal.Action
StrongCoprodProarrow.Object.BinaryCoproduct
StrongProdProarrow.Object.BinaryProduct
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 (Data Constructor)Proarrow.Preorder
4 (Type/Class)Proarrow.Category.Instance.Sub
5 (Data Constructor)Proarrow.Category.Instance.Sub
SUBCAT 
1 (Type/Class)Proarrow.Category.Bicategory.Sub
2 (Type/Class)Proarrow.Category.Instance.Sub
sucProarrow.Category.Instance.Simplex
Swap 
1 (Type/Class)Proarrow.Category.Instance.Cat
2 (Data Constructor)Proarrow.Category.Instance.Cat
swapProarrow.Category.Monoidal
swap'Proarrow.Category.Monoidal
swapCoprodProarrow.Object.BinaryCoproduct
swapCoprod'Proarrow.Object.BinaryCoproduct
swapInnerProarrow.Category.Monoidal
swapInner'Proarrow.Category.Monoidal
swapProdProarrow.Object.BinaryProduct
swapProd'Proarrow.Object.BinaryProduct
SymMonoidalProarrow.Category.Monoidal
SZProarrow.Category.Instance.Simplex