@hackage / fixed-length

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

Latest0.2.3.1

About

Metadata

  • Last updated , by HenningThielemann
  • License BSD-3-Clause

  • Maintained by: Henning Thielemann <haskell@henning-thielemann.de>

  • Lottery factor: 0

Links

Installation

Readme

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.