The non-empty package
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.
NonEmptyList: restricted to lists, minimum number of elements: 1
NonEmpty: restricted to lists, minimum number of elements: 1, designed for unqualified use of identifiers
Stream: Lists that contain always infinitely many elements.
fixed-list: Uses the same data structure as this package but is intended for fixing the number of elements in a list. Requires multi-parameter type classes with functional dependencies.
|Versions||0.0, 0.1, 0.1.1, 0.1.2, 0.1.3, 0.2, 0.2.1, 0.3|
|Dependencies||base (==4.*), QuickCheck (>=2.1 && <3), utility-ht (>=0.0.1 && <0.1) [details]|
|Author||Henning Thielemann <email@example.com>|
|Maintainer||Henning Thielemann <firstname.lastname@example.org>|
|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|
|Downloads||1639 total (21 in the last 30 days)|
|Status||Docs uploaded by user
Build status unknown [no reports yet]
For package maintainers and hackage trustees