The non-empty package

[Tags:bsd3, library]

We provide the data type NonEmpty that allows to store a list-like structure with at least or exactly n elements, where n is fixed in the type in a kind of Peano encoding and is usually small. The datatype is intended to increase safety by making functions total that are partial on plain lists. E.g. on a non-empty list, head and tail are always defined.

There are more such data types like Optional and Empty. Together with NonEmpty you can define a list type for every finite set of admissible list lengths.

The datatype can be combined with Lists, Sequences and Sets (from the containers package).

The package needs only Haskell 98.

Similar packages:

Related packages:

Properties

Versions 0.0, 0.1, 0.1.1, 0.1.2, 0.1.3, 0.2, 0.2.1
Dependencies base (==4.*), containers (>=0.4 && <0.6), QuickCheck (>=2.1 && <3), utility-ht (>=0.0.1 && <0.1) [details]
License BSD3
Author Henning Thielemann <haskell@henning-thielemann.de>
Maintainer Henning Thielemann <haskell@henning-thielemann.de>
Stability Unknown
Category Data
Home page http://code.haskell.org/~thielema/non-empty/
Source repository this: darcs get http://code.haskell.org/~thielema/non-empty/ --tag 0.2.1
head: darcs get http://code.haskell.org/~thielema/non-empty/
Uploaded Sat Apr 4 18:36:10 UTC 2015 by HenningThielemann
Distributions NixOS:0.2.1
Downloads 1435 total (18 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2015-04-04 [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees