BI | Proarrow.Core |
Bicategory | Proarrow.Category.Bicategory |
BicategoryConstraints | Proarrow.Category.Bicategory |
Bidiscrete | |
1 (Type/Class) | Proarrow.Category.Bicategory.Bidiscrete |
2 (Data Constructor) | Proarrow.Category.Bicategory.Bidiscrete |
bimapComp | Proarrow.Profunctor.Composition |
Bimodule | Proarrow.Category.Bicategory |
BIPARA | Proarrow.Category.Enriched.Bipara |
Bipara | |
1 (Type/Class) | Proarrow.Category.Enriched.Bipara |
2 (Data Constructor) | Proarrow.Category.Enriched.Bipara |
BIPARAK | Proarrow.Category.Enriched.Bipara |
BOOL | Proarrow.Category.Instance.Bool |
Booleans | Proarrow.Category.Instance.Bool |
boolId | Proarrow.Category.Instance.Bool |