parameterized-data

Parameterized data library implementing lightweight dependent types

http://code.haskell.org/parameterized-data

Latest on Hackage:

0.1.6

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.

BSD-3-Clause licensed by Alfonso Acosta ([email protected])

Maintained by Hosein Attarzadeh ([email protected])

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