withAssoc | Proarrow.Category.Bicategory |
withComOb | Proarrow.Category.Double |
withConOb | Proarrow.Category.Double |
withCorepCod | Proarrow.Profunctor.Corepresentable |
withRepCod | Proarrow.Profunctor.Representable |
withUnital | Proarrow.Category.Bicategory |
Writer | |
1 (Type/Class) | Proarrow.Promonad.Writer |
2 (Data Constructor) | Proarrow.Promonad.Writer |