name: type
version: 0.2.0
cabal-version: >= 1.6
build-type: Simple
copyright: Copyright (c) Topi Karvonen 2010
author: Topi Karvonen
maintainer: topi.karvonen@gmail.com
bug-reports: mailto:topi.karvonen@gmail.com
stability: experimental
license: BSD3
license-file: license/BSD3
category: Data

synopsis: Dynamic casting library with support for arbitrary rank type kinds.
description:
  By default kinds which contains maximum of 8 stars (*) are supported, for example: @* -> (* -> *) -> ((* -> *) -> *) -> * -> *@.
  By recompiling the library one can support even more complex types.
  However be aware that the amount of code generated increases exponentially.

library
  exposed-modules:
    Data.Type
    Data.Type.Kind
    Data.Type.Typeable
  other-modules:
    Data.Type.Internal.Key
    Data.Type.Internal.Framework
    Data.Type.Internal.Body
    Data.Type.Internal.Instances
    Data.Type.Internal.Derive
    Data.Type.Internal.Helpers
    Data.Type.Internal.TH
  build-depends:
    base >= 4.2 && < 4.3,
    template-haskell >= 2.4 && < 2.5,
    containers >= 0.3 && < 0.4
  hs-source-dirs: source
  if impl(ghc < 6.12)
    buildable: False