name: data-nat category: Data, Math version: 0.1.2 author: Gábor Lehel maintainer: Gábor Lehel homepage: http://github.com/glehel/data-nat copyright: Copyright (C) 2012 Gábor Lehel license: BSD3 license-file: LICENSE stability: experimental cabal-version: >= 1.10 build-type: Simple synopsis: data Nat = Zero | Succ Nat description: The usual @data Nat = Zero | Succ Nat@ datatype with the appropriate instances. . Should be portable to any Haskell 98 compiler which supports the @CPP@ extension. source-repository head type: git location: git://github.com/glehel/data-nat.git library default-language: Haskell98 other-extensions: CPP exposed-modules: Data.Nat build-depends: base >= 3 && < 5, semigroups >= 0.7 && < 0.9 -- not sure what version constraints to use here if impl(ghc) cpp-options: -DHAVE_TYPEABLE other-extensions: DeriveDataTypeable if impl(ghc >= 7.2) cpp-options: -DHAVE_GENERIC -- other-extensions: DeriveGeneric if impl(ghc >= 7.2 && < 7.6) build-depends: ghc-prim == 0.2.* ghc-options: -Wall