MODULE REFERENCEVERSION

Data.NonEmpty

Collections whose type guarantees at least one element.

SYNOPSIS

Types and classes

data NonEmpty a

One head element followed by a possibly empty tail.

NonEmpty :: a -> List a -> NonEmpty a

Construct a nonempty sequence.

head :: forall a. NonEmpty a -> a

Read the first element. No empty case is possible.

to-list :: forall a. NonEmpty a -> List a

Forget the nonempty guarantee and retain the values.