/Prelude-v19.0.0/Integer/negate.dhall
Copy path to clipboardInvert the sign of an Integer
, with zero remaining unchanged.
Examples
negate -3 ≡ +3
negate +7 ≡ -7
negate +0 ≡ +0
Invert the sign of an Integer
, with zero remaining unchanged.
negate -3 ≡ +3
negate +7 ≡ -7
negate +0 ≡ +0