Name: type-equality-check
Version: 0.0.0.4
Cabal-Version: >= 1.8
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.4/type-equality-check-0.0.0.4.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 == 8.0.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.4
Library
Build-Depends: base >= 3.0 && < 5,
type-level >= 0.1 && < 0.4
Extensions: FlexibleContexts
FlexibleInstances
FunctionalDependencies
MultiParamTypeClasses
OverlappingInstances
UndecidableInstances
Exposed-Modules: Data.TypeEq
HS-Source-Dirs: src