| range | Numeric.Order.LocallyFinite |
| rangeSize | Numeric.Order.LocallyFinite |
| realPart | Numeric.Algebra.Complex |
| recip | Numeric.Algebra.Division, Numeric.Algebra |
| recipriocal | Numeric.Algebra.Division, Numeric.Algebra |
| recipUnit | Numeric.Decidable.Units |
| recipUnitIntegral | Numeric.Decidable.Units |
| recipUnitWhole | Numeric.Decidable.Units |
| Rect | |
| 1 (Type/Class) | Numeric.Band.Rectangular |
| 2 (Data Constructor) | Numeric.Band.Rectangular |
| replicate | Numeric.Algebra.Class, Numeric.Algebra |
| replicate1p | Numeric.Additive.Class, Numeric.Algebra |
| replicate1pIdempotent | Numeric.Additive.Class, Numeric.Algebra |
| replicate1pRep | Numeric.Module.Representable, Numeric.Algebra |
| replicateIdempotent | Numeric.Algebra.Class, Numeric.Algebra |
| replicateRep | Numeric.Module.Representable, Numeric.Algebra |
| reverse | Numeric.Coalgebra.Geometric |
| Rig | Numeric.Rig.Class, Numeric.Algebra |
| RightModule | Numeric.Algebra.Class, Numeric.Module.Class, Numeric.Algebra |
| Ring | Numeric.Ring.Class, Numeric.Algebra |
| Rng | Numeric.Rng.Class, Numeric.Algebra |
| RngRing | |
| 1 (Type/Class) | Numeric.Ring.Rng |
| 2 (Data Constructor) | Numeric.Ring.Rng |
| rngRingHom | Numeric.Ring.Rng |
| runBasisCoblade | Numeric.Coalgebra.Geometric |
| runExp | Numeric.Exp |
| runLog | Numeric.Log |
| runNatural | Numeric.Natural.Internal |
| runOpposite | Numeric.Ring.Opposite |
| runZeroRng | Numeric.Rng.Zero |