fixed-length

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

https://hub.darcs.net/thielema/fixed-length/

Version on this page:0.2.3
LTS Haskell 19.25:0.2.3.1
Stackage Nightly 2022-09-30:0.2.3.1
Latest on Hackage:0.2.3.1

See all snapshots fixed-length appears in

BSD-3-Clause licensed and maintained by Henning Thielemann
This version can be pinned in stack with:fixed-length-0.2.3@sha256:1d941ec3ff4c7bdf6368ec35fb08eb24840306bc0d76a87813fa76b46b58a101,1523

Module documentation for 0.2.3

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.