/Prelude-v16.0.0/Integer/negate

Copy path to clipboard

Examples

negate -3 ≡ +3
negate +7 ≡ -7
negate +0 ≡ +0

Source

{-
Invert the sign of an `Integer`, with zero remaining unchanged.
-}
let negate
: Integer → Integer
= Integer/negate

let example0 = assert : negate -3 ≡ +3

let example2 = assert : negate +7 ≡ -7

let example3 = assert : negate +0 ≡ +0

in negate