/Prelude-v20.2.0/Integer/clamp.dhall

Copy path to clipboard

Convert an Integer to a Natural number, with negative numbers becoming zero.

Examples

clamp +7 ≡ 7
clamp +0 ≡ 0
clamp -3 ≡ 0

Source

{-|
Convert an `Integer` to a `Natural` number, with negative numbers becoming zero.
-}
let clamp
: Integer → Natural
= Integer/clamp

let example0 = assert : clamp +7 ≡ 7

let example2 = assert : clamp +0 ≡ 0

let example3 = assert : clamp -3 ≡ 0

in clamp