/Prelude-v22.0.0/Natural/isZero.dhall

Copy path to clipboard

Returns True if a number is 0 and returns False otherwise

Examples

isZero 2 ≡ False
isZero 0 ≡ True

Source

--| Returns `True` if a number is `0` and returns `False` otherwise
let isZero
: Natural → Bool
= Natural/isZero

let example0 = assert : isZero 2 ≡ False

let example1 = assert : isZero 0 ≡ True

in isZero