#!/bin/sh
echo 'name: type-level
version: 0.2.4
id: type-level-0.2.4-49f226fdebb116d6efb9891a70c64125

license: BSD3
copyright: Copyright (c) 2008 Alfonso Acosta, Oleg Kiselyov, Wolfgang Jeltsch
           and KTH'\''s SAM group
maintainer: alfonso.acosta@gmail.com
stability: alpha
homepage: http://code.haskell.org/type-level
package-url: http://code.haskell.org/type-level
synopsis: Type-level programming library
description: This library permits performing computations on the type-level. Type-level
             functions are implemented using functional dependencies of multi
             parameter type classes.
             To date, Booleans and Numerals (Naturals and Positives) are
             supported. With regard to Numerals, there is support for common
             arithmetic operations (addition, substraction, multiplication,
             division, exponientation, logarithm, maximum, comparison, GCD)
             over natural numbers (using a decimal representation to make
             compile-time errors friendlier).
             Although making use of type-level computations might seem devious and
             obfuscated at first sight, it is indeed useful in practice to implement
             lightweight dependent types such us number-parameterized types (e.g. an array
             type parameterized by the array'\''s size or a modular group type Zn
             parameterized by the modulus).
             Here is a tutorial on type-level numerals and how to use them to
             implement numerically-parameterized vectors: <http://www.ict.kth.se/forsyde/files/tutorial/tutorial.html#FSVec>
category: Data
author: Alfonso Acosta
pkgpath: devel/hs-type-level
exposed: True
exposed-modules: Data.TypeLevel Data.TypeLevel.Bool
                 Data.TypeLevel.Num Data.TypeLevel.Num.Reps
                 Data.TypeLevel.Num.Aliases Data.TypeLevel.Num.Sets
                 Data.TypeLevel.Num.Ops Data.TypeLevel.Num.Aliases.TH
hidden-modules:
trusted: False
import-dirs: /usr/local/lib/ghc/type-level-0.2.4
library-dirs: /usr/local/lib/ghc/type-level-0.2.4
hs-libraries: HStype-level-0.2.4
extra-libraries:
extra-ghci-libraries:
include-dirs:
includes:
depends: base-4.6.0.1-6b06c3defb20732cfd08deb8ba52ca7c
         syb-0.4.0-c48d52f3188b986ddaa9dd9ae40072f8
         template-haskell-2.8.0.0-2f3447bb22ecbbb93fd4d823f6841241
hugs-options:
cc-options:
ld-options:
framework-dirs:
frameworks:
haddock-interfaces: /usr/local/share/doc/hs-type-level-0.2.4/html/type-level.haddock
haddock-html: /usr/local/share/doc/hs-type-level-0.2.4/html
' | '/usr/local/bin/ghc-pkg' 'update' '-' '--global' '--no-user-package-db' "$@"
