Name: data-type Version: 0.1.0 Cabal-version: >= 1.2.3 Build-Type: Simple License: BSD3 License-File: LICENSE Author: Iain Alexander Maintainer: Iain Alexander Stability: Experimental Bug-reports: mailto:ia@stryx.demon.co.uk Synopsis: Basic type wrangling types and classes Description: Primitive types and classes for Oleg-inspired type[class] manipulation Category: Data, Type System Tested-with: GHC==6.4.1, GHC==6.6.1, GHC==6.8.3, GHC==6.10.4, GHC==6.12.3 , GHC==7.0.1, GHC==7.0.4 Extra-source-files: Data/Type/Test/Bool.hs , Data/Type/Test/Nat.hs , .ghci , README , CHANGES , TODO Library Exposed-Modules: Data.Type.Apply , Data.Type.Bool , Data.Type.Eq , Data.Type.Member , Data.Type.Nat , Data.Type.Proxy , Data.Type.TList if impl(ghc < 6.6.1) Extensions: UndecidableInstances OverlappingInstances Ghc-options: -fglasgow-exts -- -fallow-undecidable-instances -- -fallow-overlapping-instances if impl(ghc >= 6.8.1) Extensions: TypeOperators Build-Depends: base < 5 -- vim: expandtab:tabstop=4:shiftwidth=4