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.

BSD3 licensed by Alfonso Acosta (alfonso.acosta@gmail.com)
Maintained by Hosein Attarzadeh (shan2@kth.se)
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 https://forsyde.ict.kth.se/trac/wiki/ForSyDe/Haskell/ForSyDeTutorial#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
Used by 1 package:
comments powered byDisqus