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 |