This module contains the type for non-empty lists so we can give it a stable package id. This is reexported from DA.NonEmpty so you should never need to import this module.
data NonEmpty a
NonEmptyis the type of non-empty lists. In other words, it is the type of lists that always contain at least one element. If
xis a non-empty list, you can obtain the first element with
x.hdand the rest of the list with
Field Type Description hd a tl [a]