name: parameterized-data
version: 0.1.3
cabal-version: >= 1.2
build-type: Simple
license: BSD3
license-file: LICENSE
copyright:
Copyright (c) 2008 Alfonso Acosta, Oleg Kiselyov, Wolfgang Jeltsch
and KTH's SAM group
author: Alfonso Acosta
maintainer: alfonso.acosta@gmail.com
homepage: http://code.haskell.org/parameterized-data
stability: alpha
package-url: http://code.haskell.org/parameterized-data
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/org/ict/ecs/sam/projects/forsyde/www/files/tutorial/tutorial.html#FSVec>
category: Data
tested-with: GHC==6.8.2
extra-source-files: LICENSE,
README
-- depends on ghc due to the use of Template Haskell
Library
build-depends: base, type-level, template-haskell > 2.0
hs-source-dirs: src
exposed-modules: Data.Param,
Data.Param.FSVec
ghc-options: -Wall