hackageDB :: [Package]

Built with Cabal

The parameterized-data package (version 0.1)

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.

Dependenciesbase, ghc (>6.6), template-haskell (>2.0), type-level
LicenseBSD3
CopyrightCopyright (c) 2008 Alfonso Acosta, Oleg Kiselyov, Wolfgang Jeltsch and KTH's SAM group
AuthorAlfonso Acosta
Maintaineralfonso.acosta@gmail.com
Stabilityalpha
CategoryData
Home pagehttp://code.haskell.org/parameterized-data
Exposed modulesData.Param, Data.Param.FSVec
Upload dateThu Feb 28 09:09:08 PST 2008
Uploaded byAlfonsoAcosta
Built onghc-6.8

Downloads