Abstraction of types which support a unary additive
inversion operation -x. For a numeric type,
this should return the negative of the argument value.
Implementations which also satisfy Summable should respect the following constraint:
x + -x == 0| Attributes | |
| negativeValue | Source Code shared formal Inverse negativeValue The additive inverse of the value, which may be expressed as an instance of a wider type. |
| positiveValue | Source Code shared formal Inverse positiveValue The value itself, expressed as an instance of the wider type. |
| Inherited Attributes |
| Attributes inherited from: Object |