/List/null.dhall

Returns True if the List is empty and False otherwise

Examples

null Natural [ 0, 1, 2 ] ≡ False

null Natural ([] : List Natural) ≡ True

Source

--| Returns `True` if the `List` is empty and `False` otherwise
let null
    : ∀(a : Type) → List a → Bool
    = λ(a : Type) → λ(xs : List a) → Natural/isZero (List/length a xs)

let example0 = assert : null Natural [ 0, 1, 2 ] ≡ False

let example1 = assert : null Natural ([] : List Natural) ≡ True

in  null

/Prelude-v22.0.0/List/null.dhall

Examples

Source