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

Index - V

VProarrow.Category.Enriched
VacuusObProarrow.Object, Proarrow
vArrProarrow.Category.Double
vArr1Proarrow.Category.Double
Viewing 
1 (Type/Class)Proarrow.Category.Monoidal.Optic
2 (Data Constructor)Proarrow.Category.Monoidal.Optic
VOIDProarrow.Category.Instance.Zero
voidIdProarrow.Category.Instance.Zero