The latest version of parameterized-data is 0.1.6-0.
parameterized-data
Version 0.1.5 revision 0 uploaded by HoseinAttarzadeh.
Package meta
- Synopsis
- 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/forsyde/files/tutorial/tutorial.html#FSVec
- Author
- Alfonso Acosta (alfonso.acosta@gmail.com)
- Bug reports
- n/a
- Category
- Data
- Copyright
- Copyright (c) 2008-2010 Alfonso Acosta, Oleg Kiselyov, Wolfgang Jeltsch and KTH's SAM group
- Homepage
- http://code.haskell.org/parameterized-data
- Maintainer
- Hosein Attarzadeh (shan2@kth.se)
- Package URL
- http://code.haskell.org/parameterized-data
- Stability
- alpha