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.