List.Nonempty

A list that cannot be empty.

Definition

= Nonempty a (List a)

The Nonempty type. Unless you have both a head and tail, you'll normally use the provided interface.

fromElement : a -> Nonempty a

Create a singleton list with the given element.

fromList : List a -> Maybe (Nonempty a)

Create a nonempty list from an ordinary list, failing on the empty list.

head : Nonempty a -> a

Return the head of the list.

tail : Nonempty a -> List a

Return the tail of the list.

toList : Nonempty a -> List a

Convert to an ordinary list.

isSingleton : Nonempty a -> Bool

Determine if the nonempty list has exactly one element

length : Nonempty a -> Int

Find the length of the nonempty list.

cons : a -> Nonempty a -> Nonempty a

Add another element to the head of the list. Also available infix as (:::); be sure to add exposing ((:::)) to your import.

replaceHead : a -> Nonempty a -> Nonempty a

Exchange the head element while leaving the tail alone.

dropTail : Nonempty a -> Nonempty a

Replace the tail with the empty list while leaving the head alone.

map : (a -> b) -> Nonempty a -> Nonempty b

Map a function over the nonempty list