Abstraction of types which support a unary additive
-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
shared formal Inverse negativeValue
The additive inverse of the value, which may be expressed as an instance of a wider type.
shared formal Inverse positiveValue
The value itself, expressed as an instance of the wider type.
|Attributes inherited from: Object|