non-empty: List-like structures with static restrictions on the number of elements
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:
semigroups
,semigroupoids
: restricted to lists, minimum number of elements: 1, provides more type classes tailored to the use of non-empty lists.NonEmptyList
: restricted to lists, minimum number of elements: 1NonEmpty
: restricted to lists, minimum number of elements: 1, designed for unqualified use of identifiersCardinality
:NeverEmptyList
Related packages:
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.
Modules
[Index]
Downloads
- non-empty-0.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.0, 0.1, 0.1.1, 0.1.2, 0.1.3, 0.2, 0.2.1, 0.3, 0.3.0.1, 0.3.1, 0.3.2, 0.3.3, 0.3.4, 0.3.5 |
---|---|
Dependencies | base (>=4 && <5), containers (>=0.4 && <0.6), QuickCheck (>=2.1 && <3), utility-ht (>=0.0.1 && <0.1) [details] |
Tested with | ghc ==7.4.1 |
License | BSD-3-Clause |
Author | Henning Thielemann <haskell@henning-thielemann.de> |
Maintainer | Henning Thielemann <haskell@henning-thielemann.de> |
Category | Data |
Home page | http://code.haskell.org/~thielema/non-empty/ |
Source repo | this: darcs get http://code.haskell.org/~thielema/non-empty/ --tag 0.2 head: darcs get http://code.haskell.org/~thielema/non-empty/ |
Uploaded | by HenningThielemann at 2014-03-14T12:00:59Z |
Distributions | LTSHaskell:0.3.5, NixOS:0.3.5, Stackage:0.3.5 |
Reverse Dependencies | 23 direct, 19 indirect [details] |
Downloads | 10704 total (60 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Successful builds reported [all 1 reports] |