/Prelude-v17.0.0/Natural/isZero

Copy path to clipboard

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