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 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,
tail are always defined.
There are more such data types like
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
The package needs only Haskell 98.
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: 1
NonEmpty: restricted to lists, minimum number of elements: 1, designed for unqualified use of identifiers
Data.MinLen: allows to specify a minimum number of elements using type families and works also for monomorphic data structures like
Stream: Lists that contain always infinitely many elements.
fixed-length: Uses the data structure of this package and defines a closed-world class for fixed-length lists and an according index type.
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 [RSS] [faq]||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|
|Dependencies||base (==4.*), containers (>=0.4 && <0.7), deepseq (>=1.3 && <1.5), QuickCheck (>=2.1 && <3), utility-ht (>=0.0.8 && <0.1) [details]|
|Author||Henning Thielemann <firstname.lastname@example.org>|
|Maintainer||Henning Thielemann <email@example.com>|
|Source repo||this: darcs get https://hub.darcs.net/thielema/non-empty/ --tag 0.3.3
head: darcs get https://hub.darcs.net/thielema/non-empty/
|Uploaded||by HenningThielemann at 2021-03-14T20:44:14Z|
|Distributions||LTSHaskell:0.3.3, NixOS:0.3.3, Stackage:0.3.3|
|Downloads||8880 total (69 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
Docs available [build log]
Last success reported on 2021-03-14 [all 1 reports]