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

Version on this page:0.2.1
LTS Haskell 15.7:0.2.2
Stackage Nightly 2020-04-09:0.2.2
Latest on Hackage:0.2.2

See all snapshots fixed-length appears in

BSD-3-Clause licensed and maintained by Henning Thielemann

Module documentation for 0.2.1

This version can be pinned in stack with:[email protected]:c9857901030b1c67bf6c5828de6ff7271360bd145e9149a0229223937671f582,1452

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 and a wrapper that makes all these lists Traversable and Applicative with ZipList semantics.

Similar packages:

  • fixed-list: Defines an open world class.