/Prelude-v20.0.0/List/null.dhall
Copy path to clipboardReturns True
if the List
is empty and False
otherwise
Examples
null Natural [ 0, 1, 2 ] ≡ False
null Natural ([] : List Natural) ≡ True
Returns True
if the List
is empty and False
otherwise
null Natural [ 0, 1, 2 ] ≡ False
null Natural ([] : List Natural) ≡ True