@hackage parameterized-data0.1.4

parameterized-data : Parameterized data library implementing lightweight dependent types

DESCRIPTION

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 http://www.ict.kth.se/org/ict/ecs/sam/projects/forsyde/www/files/tutorial/tutorial.html#FSVec

DEPENDENCIES

parameterized-data depends on GHC (due to the use of Template Haskell) and the type-level library

INSTALLATION

to install globally, for the whole system (requires admin permissions)

$ ./Setup.hs configure $ ./Setup.hs build $ ./Setup.hs haddock # generate documentation, optional $ ./Setup.hs install

to install locally and just for your own user

$ ./Setup.hs configure --prefix=The/selected/local/directory $ ./Setup.hs build $ ./Setup.hs haddock # generate documentation, optional $ ./Setup.hs install --user