/Prelude-v21.1.0/List/head.dhall
Copy path to clipboardRetrieve the first element of the list
Examples
head Natural [ 0, 1, 2 ] ≡ Some 0
head Natural ([] : List Natural) ≡ None Natural
Retrieve the first element of the list
head Natural [ 0, 1, 2 ] ≡ Some 0
head Natural ([] : List Natural) ≡ None Natural