name: parameterized-data version: 0.1.5 cabal-version: >= 1.2 build-type: Simple license: BSD3 license-file: LICENSE copyright: Copyright (c) 2008-2010 Alfonso Acosta, Oleg Kiselyov, Wolfgang Jeltsch and KTH's SAM group author: Alfonso Acosta (alfonso.acosta@gmail.com) maintainer: Hosein Attarzadeh (shan2@kth.se) 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 category: Data tested-with: GHC==6.12.3 extra-source-files: LICENSE, README -- depends on ghc due to the use of Template Haskell Library build-depends: base>=4 && <6, type-level, template-haskell > 2.0 hs-source-dirs: src exposed-modules: Data.Param, Data.Param.FSVec ghc-options: -Wall