hackage.haskell.org : parameterized-data
This library provides an implementation of parameterized types using type-level computations to implement the type parameters and emulate dependent types. Right now only fixed-sized vectors are provided. A tutorial on how to use them can be found at https://forsyde.ict.kth.se/trac/wiki/ForSyDe/Haskell/ForSyDeTutorial#FSVec
Registry
- Homepage
- JSON
- codemeta.json
purl: pkg:hackage/parameterized-data
Keywords:
bsd3
, data
, library
, Propose Tags
License: BSD-3-Clause
Latest release: over 9 years ago
First release: almost 18 years ago
Dependent repositories: 1
Downloads: 4,857 total
Last synced: about 1 month ago