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

  • Categories

    • License


    • Maintainer

      Gregory Crosswhite <gcross@phys.washington.edu>

    • Versions

      • 1.1 Fri, 21 Oct 2011
      • 1.0 Thu, 14 Oct 2010

    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.