/Prelude-v22.0.0/Bool/odd.dhall

Copy path to clipboard

Returns True if there are an odd number of True elements in the list and returns False otherwise.

This function is the Monoid for the != operation.

Examples

odd [ True, False, True ] ≡ False
odd [ True, False ] ≡ True
odd [ True ] ≡ True
odd ([] : List Bool) ≡ False

Source

{-|
Returns `True` if there are an odd number of `True` elements in the list and
returns `False` otherwise.

This function is the `Monoid` for the `!=` operation.
-}
let odd
: List Bool → Bool
= λ(xs : List Bool) →
List/fold Bool xs Bool (λ(x : Bool) → λ(y : Bool) → x != y) False

let example0 = assert : odd [ True, False, True ] ≡ False

let example1 = assert : odd [ True, False ] ≡ True

let example2 = assert : odd [ True ] ≡ True

let example3 = assert : odd ([] : List Bool) ≡ False

in odd