recip | Numeric.Group.Multiplicative, Numeric.Multiplication, Numeric.Group |
recipUnit | Numeric.Decidable.Units |
recipUnitIntegral | Numeric.Decidable.Units |
recipUnitWhole | Numeric.Decidable.Units |
Rect | |
1 (Type/Class) | Numeric.Band.Rectangular, Numeric.Band, Numeric.Semigroup, Numeric.Monoid, Numeric.Group |
2 (Data Constructor) | Numeric.Band.Rectangular, Numeric.Band, Numeric.Semigroup, Numeric.Monoid, Numeric.Group |
replicate | Numeric.Monoid.Additive, Numeric.Monoid, Numeric.Group, Numeric.Addition |
replicate1p | Numeric.Semigroup.Additive, Numeric.Semigroup, Numeric.Monoid, Numeric.Group, Numeric.Addition |
replicate1pIdempotent | Numeric.Addition.Idempotent, Numeric.Semigroup, Numeric.Monoid, Numeric.Group, Numeric.Addition |
replicateIdempotent | Numeric.Addition.Idempotent, Numeric.Semigroup, Numeric.Monoid, Numeric.Group, Numeric.Addition |
Rig | Numeric.Rig.Class, Numeric.Rig |
RightModule | Numeric.Module.Class, Numeric.Module |
Ring | Numeric.Ring.Class, Numeric.Ring |
Rng | Numeric.Rng.Class, Numeric.Rng |
RngRing | |
1 (Type/Class) | Numeric.Ring.Rng, Numeric.Ring |
2 (Data Constructor) | Numeric.Ring.Rng, Numeric.Ring |
rngRingHom | Numeric.Ring.Rng, Numeric.Ring |
runExp | Numeric.Exp |
runLog | Numeric.Log |
runNatural | Numeric.Natural.Internal |
runOpposite | Numeric.Ring.Opposite, Numeric.Ring |
runZeroRng | Numeric.Rng.Zero, Numeric.Rng |