@hackage / tagged-list

Lists tagged with a type-level natural number representing their length.

Latest1.1

About

Metadata

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

  • Maintained by: Gregory Crosswhite <gcrosswhite@gmail.com>

  • Lottery factor: 0

Links

Installation

Readme

This package contains a datatype, TaggedList, that provides a fixed-length list tagged with a phantom type-level natural number that corresponds to the length of the list. It also contains some basic operations on these lists, as well as a typeclass for converting tagged lists to and from tuples.

New in version 1.1: added function castTag, improved error reporting in fromList, and fixed compiler error with GHC 7.0.*