| ... | ... | @@ -86,8 +86,8 @@ Note that the `Float` and `Double` instances will not satisfy the usual axioms f |
|
|
|
Issues:
|
|
|
|
|
|
|
|
|
|
|
|
- `div` and `mod` also sense for rationals and polynomials, but `toInteger` does not.
|
|
|
|
`Ord`, `Num(abs, signum)`, `toInteger` and `toRational` don't make sense for polynomials.
|
|
|
|
- `div` and `mod` also sense for rationals, polynomials and Gaussian integers, but `toInteger` does not.
|
|
|
|
`Ord`, `Num(abs, signum)` and `toRational` don't make sense for polynomials and Gaussian integers.
|
|
|
|
`quot` and `rem` assume an ordering.
|
|
|
|
|
|
|
|
### The Fractional class
|
| ... | ... | @@ -97,7 +97,7 @@ Issues: |
|
|
|
Issues:
|
|
|
|
|
|
|
|
|
|
|
|
- `(/)` can be lifted to functions, but many of the pre-requisites can't be defined for these.
|
|
|
|
- `(/)`, `recip` and `fromRational` can be lifted to functions, but many of the pre-requisites can't be defined for these.
|
|
|
|
|
|
|
|
|
|
|
|
Proposals:
|
| ... | ... | |