parameterized-data
Version 0.1.6 revision 0 uploaded by ugeorge.
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 https://forsyde.ict.kth.se/trac/wiki/ForSyDe/Haskell/ForSyDeTutorial#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