The latest version of parameterized-data is 0.1.6-0.

parameterized-data

Version 0.1.2 revision 0 uploaded by AlfonsoAcosta.

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.

Author
Alfonso Acosta
Bug reports
n/a
Category
Data
Copyright
Copyright (c) 2008 Alfonso Acosta, Oleg Kiselyov, Wolfgang Jeltsch and KTH's SAM group
Homepage
http://code.haskell.org/parameterized-data
Maintainer
alfonso.acosta@gmail.com
Package URL
http://code.haskell.org/parameterized-data
Stability
alpha

Components