Name:          type-equality-check
Version:       0.0.0.2
Cabal-Version: >= 1.6
Build-Type:    Simple
License:       BSD3
License-File:  LICENSE
Copyright:     © 2004       Oleg Kiselyov
                            (Fleet Numerical Meteorology and Oceanography Center);
               © 2004       Ralf Lämmel
                            (Centrum Wiskunde & Informatica, Vrije Universiteit Amsterdam);
               © 2004       Keean Schupke
                            (Imperial College London);
               © 2008, 2009 Brandenburgische Technische Universität Cottbus;
               © 2011       Wolfgang Jeltsch
Author:        Wolfgang Jeltsch
Maintainer:    wolfgang@cs.ioc.ee
Stability:     provisional
Homepage:      http://darcs.wolfgang.jeltsch.info/haskell/type-equality-check
Package-URL:   http://hackage.haskell.org/packages/archive/type-equality-check/0.0.0.2/type-equality-check-0.0.0.2.tar.gz
Synopsis:      Type equality check
Description:   This packages provides a type equality check whose implementation is basically the
               one from the HList library.
Category:      Data
Tested-With:   GHC == 7.0.4

Source-Repository head
    type:     darcs
    location: http://darcs.wolfgang.jeltsch.info/haskell/type-equality-check/main

Source-Repository this
    type:     darcs
    location: http://darcs.wolfgang.jeltsch.info/haskell/type-equality-check/main
    tag:      type-equality-check-0.0.0.2

Library
    Build-Depends:   base       >= 3.0 && < 4.4,
                     type-level >= 0.1 && < 0.3
    Extensions:      FlexibleContexts
                     FlexibleInstances
                     FunctionalDependencies
                     MultiParamTypeClasses
                     OverlappingInstances
                     UndecidableInstances
    Exposed-Modules: Data.TypeEq
    HS-Source-Dirs:  src