hackage.haskell.org : parameterized-data : 0.1.2
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 -
Download -
JSON -
codemeta.json
purl: pkg:hackage/parameterized-data@0.1.2
Published:
Indexed:
Loading...
Readme
Loading...