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

Index - O

OProarrow.Category.Bicategory
o 
1 (Function)Proarrow.Category.Bicategory
2 (Function)Proarrow.Profunctor.Composition
OBProarrow.Core
ObProarrow.Core, Proarrow.Category, Proarrow, Proarrow
Ob'Proarrow.Object, Proarrow
Ob0Proarrow.Category.Bicategory
ObjProarrow.Core, Proarrow.Object, Proarrow
objProarrow.Core, Proarrow.Object, Proarrow
obj1Proarrow.Category.Bicategory
objectProarrow.Category.Double
OP 
1 (Data Constructor)Proarrow.Category.Bicategory.Op
2 (Data Constructor)Proarrow.Category.Opposite
Op 
1 (Type/Class)Proarrow.Category.Bicategory.Op
2 (Data Constructor)Proarrow.Category.Bicategory.Op
3 (Type/Class)Proarrow.Category.Opposite
4 (Data Constructor)Proarrow.Category.Opposite
OPKProarrow.Category.Bicategory.Op
OPPOSITEProarrow.Category.Opposite
OPTProarrow.Category.Monoidal.Optic
OPTICProarrow.Category.Monoidal.Optic
Optic 
1 (Type/Class)Proarrow.Category.Monoidal.Optic
2 (Data Constructor)Proarrow.Category.Monoidal.Optic
opticAsDayActProarrow.Category.Monoidal.Optic
OpticCat 
1 (Type/Class)Proarrow.Category.Monoidal.Optic
2 (Data Constructor)Proarrow.Category.Monoidal.Optic
outProarrow.Profunctor.Fix