Fractional numbers, supporting real division.
The Haskell Report defines no laws for
Fractional. However,
(+) and
(*) are customarily expected
to define a division ring and have the following properties:
- recip gives the multiplicative inverse x
* recip x = recip x * x = fromInteger 1
Note that it
isn't customarily expected that a type instance of
Fractional implement a field. However, all instances in
base do.