name:          data-nat
category:      Data, Math
version:       0.1.2
author:        Gábor Lehel
maintainer:    Gábor Lehel <illissius@gmail.com>
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