nonempty-vector

Non-empty vectors

https://github.com/emilypi/nonempty-vector

LTS Haskell 23.15:	0.2.4
Stackage Nightly 2025-03-17:	0.2.4
Latest on Hackage:	0.2.4

See all snapshots nonempty-vector appears in

BSD-3-Clause licensed by Emily Pillmore

Maintained by emilypi@cohomolo.gy

This version can be pinned in stack with:nonempty-vector-0.2.4@sha256:4d3ae65f1356afae372be81310d9ca16e602d7a6e3102163f6db47725860536e,1429

Module documentation for 0.2.4

Data
- Data.Vector
  - Data.Vector.NonEmpty
    - Data.Vector.NonEmpty.Internal
    - Data.Vector.NonEmpty.Mutable

Depends on 4 packages(full list with versions):

base, deepseq, primitive, vector

Used by 2 packages in nightly-2025-03-17(full list with versions):

nonempty-containers, text-show-instances

Non-empty Vectors

This package presents thin wrappers around mutable and immutable Data.Vector types that enforce non-emptiness. The entire Vector API is supported for both sets of boxed vectors, with future plans to support unboxed, primitive, storable, and generic vectors.

There are no external dependencies that are not already in base.

Changes

Revision history for nonempty-vector

0.2.3

Support GHC 9.8.x

0.2.2.0

Drop support for GHC<8.10, update CI, bump bounds for primitive.
Added partitionWith from vector. (#11) - Thanks @AlistairB!

0.2.1.0

Added consV and snocV primitives for consing a vector to create a nonempty one. (#8) - Thanks @AlistairB!
Updated CI and cabal support
Expose constructors in new Data.Vector.NonEmpty.Internal module
Modules are now marked trustworthy
@since annotations have been added.

0.2.0.2

Removed spurious dependency on semigroups

0.2.0.1

Missed a strictness tick in postscanl'
INLINE pragma for slice

0.2.0.0

Remove naughty Generic, and Alternative instances as they can construct empty NonEmptyVectors
Handwritten Read and Read1 instances with safe cons
Added uncons, unsnoc, replicate1, generate1, iterateN1, unsafeCreate, unsafeCreateT, unfoldr1, unfoldr1N, unfoldr1M, unfoldr1NM,
Added unsafeFromList, unsafeFromVector, and fromNonEmptyN1
Add ifilterM
Add doctests for all new functions + many familiar ones

0.1.0.0

Remove MonadFail instance for the sake of backcompat with LTS < 13
Drop Cabal version down to 2.0

0.0.1.1 – 2019-10-20

Export toMVector and fromMVector
clean up docs

0.0.1.0 – 2019-10-20

First version. Released on an unsuspecting world.