/Prelude-v16.0.0/Integer/nonPositive

Copy path to clipboard

Examples

nonPositive +1 ≡ False
nonPositive +0 ≡ True
nonPositive -1 ≡ True

Source

{-
Returns `True` for `+0` and any negative `Integer`.

`nonPositive` is more efficient than `./lessThanEqual +0` or `./lessThan +1`.
-}
let nonPositive
: Integer → Bool
= λ(n : Integer) → Natural/isZero (Integer/clamp n)

let example0 = assert : nonPositive +1 ≡ False

let example1 = assert : nonPositive +0 ≡ True

let example2 = assert : nonPositive -1 ≡ True

in nonPositive