fixed-length

Lists with statically known length based on non-empty package. http://hub.darcs.net/thielema/fixed-length/

LTS Haskell 9.18:0.2
Stackage Nightly 2017-12-16:0.2
Latest on Hackage:0.2
BSD3 licensed and maintained by Henning Thielemann

Module documentation for 0.2

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.

Depends on 4 packages:
Used by 1 package:
comments powered byDisqus