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
Ecosystem
hackage.haskell.org
hackage.haskell.org
Latest Release
over 9 years ago
0.1.6
over 9 years ago
Versions
6
6
Downloads
4,889 total
4,889 total
Dependent Repos
1
1
No dependent packages found.
Past Dependents
Include Past Dependents
Check this option to include packages that no longer depend on this package in their latest version but previously did.
Filter
Filter by Kind
Links
| Registry | hackage.haskell.org |
| Homepage | Homepage |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:hackage/parameterized-data
spec |
| License | BSD-3-Clause |
| First Release | about 18 years ago |
| Last Synced | 25 days ago |