Name: type-equality-check
Version: 0.0.0.3
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–2012 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.3/type-equality-check-0.0.0.3.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.4.1
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.3
Library
Build-Depends: base >= 3.0 && < 5,
type-level >= 0.1 && < 0.3
Extensions: FlexibleContexts
FlexibleInstances
FunctionalDependencies
MultiParamTypeClasses
OverlappingInstances
UndecidableInstances
Exposed-Modules: Data.TypeEq
HS-Source-Dirs: src