@hackage / IndexedList

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

Latest0.1.0.1

Dependencies

library:IndexedList (2 dependencies)

@hackage / PeanoWitnesses GADT type witnesses for Peano-style natural numbers.
- Version: >=0.1
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.7 && <4.8
- License: BSD-3-Clause