| ... | @@ -77,7 +77,7 @@ See also: |
... | @@ -77,7 +77,7 @@ See also: |
|
|
Issues:
|
|
Issues:
|
|
|
|
|
|
|
|
|
|
|
|
|
- `Eq` and `Show` don't make sense functions under lifting.
|
|
- `Eq` and `Show` don't make sense for functions under lifting.
|
|
|
- `(*)` doesn't make sense for vectors.
|
|
- `(*)` doesn't make sense for vectors.
|
|
|
- `abs` and `signum` don't make sense for `Complex Integer` (Gaussian integers), vectors, matrices, etc.
|
|
- `abs` and `signum` don't make sense for `Complex Integer` (Gaussian integers), vectors, matrices, etc.
|
|
|
|
|
|
| ... | @@ -100,7 +100,7 @@ Issues: |
... | @@ -100,7 +100,7 @@ Issues: |
|
|
|
|
|
|
|
|
|
|
|
|
- `div` and `mod` also sense for rationals and polynomials, but `Ord`, `Num` and `toInteger` (and `toRational` for polynomials) don't.
|
|
- `div` and `mod` also sense for rationals and polynomials, but `Ord`, `Num` and `toInteger` (and `toRational` for polynomials) don't.
|
|
|
- `quot` and `rem` assume an ordering.
|
|
However `quot` and `rem` assume an ordering.
|
|
|
|
|
|
|
|
### The Fractional class
|
|
### The Fractional class
|
|
|
|
|
|
| ... | | ... | |
