6 ms·
It would probably help to also have something like this: singleton : a -> NonEmpty a cons : a -> NonEmpty a -> NonEmpty a head : NonEmpty a -> a last :
by pka 12y ago
It would probably help to also have something like this:
singleton : a -> NonEmpty a
cons : a -> NonEmpty a -> NonEmpty a
head : NonEmpty a -> a
last : NonEmpty a -> a
init : NonEmpty a -> Maybe (NonEmpty a)
tail : NonEmpty a -> Maybe (NonEmpty a)