Module

Data.Array.NonEmpty.Internal

Package
purescript-arrays
Repository
purescript/purescript-arrays

This module exports the NonEmptyArray constructor.

It is NOT intended for public use and is NOT versioned.

Its content may change in any way, at any time and without notice.

#NonEmptyArray Source

newtype NonEmptyArray a

An array that is known not to be empty.

You can use the constructor to create a NonEmptyArray that isn't non-empty, breaking the guarantee behind this newtype. It is provided as an escape hatch mainly for the Data.Array.NonEmpty and Data.Array modules. Use this at your own risk when you know what you are doing.

Constructors

Instances