Index - R
| Replicate | |
| 1 (Type/Class) | Data.Category.Simplex |
| 2 (Data Constructor) | Data.Category.Simplex |
| represent | Data.Category.RepresentableFunctor |
| Representable | |
| 1 (Type/Class) | Data.Category.RepresentableFunctor |
| 2 (Data Constructor) | Data.Category.RepresentableFunctor |
| representedFunctor | Data.Category.RepresentableFunctor |
| representingObject | Data.Category.RepresentableFunctor |
| rightAdjoint | Data.Category.Adjunction |
| rightAdjointPreservesLimits | Data.Category.Limit |
| rightAdjointPreservesLimitsInv | Data.Category.Limit |
| rightAdjunct | Data.Category.Adjunction |
| rightAdjunctN | Data.Category.Adjunction |
| rightUnitor | Data.Category.Monoidal |
| rightUnitorInv | Data.Category.Monoidal |