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

Index - :

:&Proarrow.Helper.CCC
:&&&: 
1 (Type/Class)Proarrow.Category.Instance.Cat
2 (Data Constructor)Proarrow.Category.Instance.Cat
:**: 
1 (Type/Class)Proarrow.Category.Instance.Product
2 (Data Constructor)Proarrow.Category.Instance.Product
:*.: 
1 (Type/Class)Proarrow.Object.Copower
2 (Type/Class)Proarrow.Category.Instance.Nat
:*: 
1 (Type/Class)Proarrow.Profunctor.Product
2 (Data Constructor)Proarrow.Profunctor.Product
:++:Proarrow.Category.Instance.Coproduct
:+:Proarrow.Profunctor.Coproduct
:- 
1 (Type/Class)Proarrow.Preorder
2 (Type/Class)Proarrow.Category.Instance.Constraint
:.: 
1 (Type/Class)Proarrow.Profunctor.Composition
2 (Data Constructor)Proarrow.Profunctor.Composition
:::Proarrow.Category.Bicategory.Strictified
:=> 
1 (Type/Class)Proarrow.Preorder.Constraint
2 (Type/Class)Proarrow.Category.Instance.Constraint
:^: 
1 (Type/Class)Proarrow.Object.Power
2 (Type/Class)Proarrow.Category.Instance.Nat
:|Proarrow.Category.Instance.Free
:|||:Proarrow.Category.Instance.Cat
:~>Proarrow.Core
:~>: 
1 (Type/Class)Proarrow.Profunctor.Exponential
2 (Type/Class)Proarrow.Category.Instance.Nat