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