Length- and element-indexed lists sitting somewhere between homogeneous and fully heterogeneous. https://github.com/kwf/IndexedList
|Latest on Hackage:||0.1.0.1|
This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
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.