@hackage / IndexedList

Length- and element-indexed lists sitting somewhere between homogeneous and fully heterogeneous.

Latest0.1.0.1

About

Metadata

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

  • Maintained by: kenneth.foner@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

This library implements counted lists linked to type-level naturals indexing length, compatible with the Peano natural numbers found in Data.Numeric.Witness.Peano, as well as so-called conic lists, which are linked to a type index listing the type indices of partially-heterogeneous values contained within.