name:          data-nat
category:      Data, Math
version:       0.1
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

    -- not sure how or if to constrain base...
    build-depends:
        base       >= 4   && < 5,
        semigroups >= 0.7 && < 0.9

    -- here either
    if impl(ghc)
        build-depends: ghc-prim == 0.2.*
        cpp-options:   -DHAVE_TYPEABLE

    if impl(ghc >= 7.2)
        cpp-options: -DHAVE_GENERIC

    ghc-options:
        -Wall