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:


Versions0.0, 0.1, 0.1.1, 0.1.2, 0.1.3, 0.2, 0.2.1
Change logNone available
Dependenciesbase (==4.*), QuickCheck (>=2.1 && <3), utility-ht (>=0.0.1 && <0.1) [details]
AuthorHenning Thielemann <>
MaintainerHenning Thielemann <>
Home page
Source repositorythis: darcs get --tag 0.1
head: darcs get
UploadedTue Mar 26 09:33:22 UTC 2013 by HenningThielemann
Downloads1204 total (58 in last 30 days)
0 []
StatusDocs uploaded by user
Build status unknown [no reports yet]




Maintainers' corner

For package maintainers and hackage trustees