/Prelude-v22.0.0/Integer/equal.dhall

Copy path to clipboard

equal checks if two Integers are equal.

Examples

equal +5 +5 ≡ True
equal +5 +6 ≡ False
equal +5 -5 ≡ False
equal -5 -5 ≡ True

Source

--| `equal` checks if two Integers are equal.
let Natural/equal =
../Natural/equal.dhall sha256:7f108edfa35ddc7cebafb24dc073478e93a802e13b5bc3fd22f4768c9b066e60
? ../Natural/equal.dhall

let equal
: Integer → Integer → Bool
= λ(a : Integer) →
λ(b : Integer) →
Natural/equal (Integer/clamp a) (Integer/clamp b)
&& Natural/equal
(Integer/clamp (Integer/negate a))
(Integer/clamp (Integer/negate b))

let example0 = assert : equal +5 +5 ≡ True

let example1 = assert : equal +5 +6 ≡ False

let example2 = assert : equal +5 -5 ≡ False

let example3 = assert : equal -5 -5 ≡ True

in equal