The non-empty package

[Tags:bsd3, library]

We provide a data type 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.

The package uses 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.*), 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.0
head: darcs get http://code.haskell.org/~thielema/non-empty
Uploaded Sat Nov 3 14:43:30 UTC 2012 by HenningThielemann
Distributions NixOS:0.2.1
Downloads 1414 total (19 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees