fixed-length: Lists with statically known length based on non-empty package.

[ bsd3, data, library ] [ Propose Tags ] [ Report a vulnerability ]

This packages defines a list data type with statically known length by nesting the NonEmpty and Empty data structure from the non-empty package. We provide a closed world class for this class of structures http://www.haskell.org/haskellwiki/Closed_world_instances and a wrapper that makes all these lists Traversable and Applicative with ZipList semantics.

Similar packages:

  • fixed-list: Defines an open world class.

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.0, 0.0.0.1, 0.0.0.2, 0.1, 0.1.0.1, 0.1.1, 0.2, 0.2.1, 0.2.2, 0.2.2.1, 0.2.3, 0.2.3.1
Dependencies base (>=4 && <5), non-empty (>=0.2 && <0.4), storable-record (>=0.0.3 && <0.1), tfp (>=1.0 && <1.1), utility-ht (>=0.0.1 && <0.1) [details]
Tested with ghc ==7.4.2, ghc ==7.8.4
License BSD-3-Clause
Author Henning Thielemann <haskell@henning-thielemann.de>
Maintainer Henning Thielemann <haskell@henning-thielemann.de>
Category Data
Home page http://hub.darcs.net/thielema/fixed-length/
Source repo this: darcs get http://hub.darcs.net/thielema/fixed-length/ --tag 0.2.1
head: darcs get http://hub.darcs.net/thielema/fixed-length/
Uploaded by HenningThielemann at 2019-01-05T23:25:34Z
Distributions LTSHaskell:0.2.3.1, NixOS:0.2.3.1, Stackage:0.2.3.1
Reverse Dependencies 7 direct, 8 indirect [details]
Downloads 7799 total (46 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2019-01-05 [all 1 reports]