/Prelude-v20.0.0/JSON/renderInteger.dhall
Copy path to clipboardRender an Integer
value as a JSON number
, according to the JSON standard, in
which a number may not start with a plus sign (+
).
Examples
renderInteger +1 ≡ "1"
renderInteger +0 ≡ "0"
renderInteger -1 ≡ "-1"
Source
{-|
Render an `Integer` value as a `JSON number`, according to the JSON standard, in
which a number may not start with a plus sign (`+`).
-}
let Integer/nonNegative =
../Integer/nonNegative.dhall sha256:b463373f070df6b1c8c7082051e0810fee38b360bab35256187c8c2b6af5c663
? ../Integer/nonNegative.dhall
let renderInteger
: Integer → Text
= λ(integer : Integer) →
if Integer/nonNegative integer
then Natural/show (Integer/clamp integer)
else Integer/show integer
let positive = assert : renderInteger +1 ≡ "1"
let zero = assert : renderInteger +0 ≡ "0"
let negative = assert : renderInteger -1 ≡ "-1"
in renderInteger