-- Initial type-natural.cabal generated by cabal init.  For further 
-- documentation, see http://haskell.org/cabal/users-guide/

name:                type-natural
version:             0.4.1.1
synopsis:            Type-level natural and proofs of their properties.
description:         Type-level natural numbers and proofs of their properties.
homepage:            https://github.com/konn/type-natural
license:             BSD3
license-file:        LICENSE
author:              Hiromi ISHII
maintainer:          konn.jinro_at_gmail.com
copyright:           (C) Hiromi ISHII 2013-2014
category:            Math
build-type:          Simple
cabal-version:       >= 1.10
tested-with:         GHC == 7.10.3, GHC == 8.0.1

source-repository head
  Type: git
  Location: git://github.com/konn/type-natural.git


library
  ghc-options:         -Wall -O2 -fno-warn-orphans
  if impl(ghc >= 8.0.0)
    ghc-options:       -Wno-redundant-constraints
  exposed-modules:     Data.Type.Natural
                     , Data.Type.Ordinal
                     , Data.Type.Natural.Builtin
  other-modules:       Data.Type.Natural.Definitions
                     , Data.Type.Natural.Core
                     , Data.Type.Natural.Compat
  build-depends:       base                      >= 4       && < 5
                     , equational-reasoning      == 0.4.*
                     , monomorphic               >= 0.0.3
                     , template-haskell          >= 2.8     && < 3
                     , constraints               >= 0.3     && < 0.9
                     , ghc-typelits-natnormalise == 0.4.*
                     , ghc-typelits-presburger   == 0.1.*
                     , singletons                >= 2.0 && < 2.3

  default-language:    Haskell2010
  default-extensions:  DataKinds
                       PolyKinds
                       ConstraintKinds
                       GADTs
                       ScopedTypeVariables
                       TemplateHaskell
                       TypeFamilies
                       TypeOperators
                       MultiParamTypeClasses
                       UndecidableInstances
                       FlexibleContexts
                       FlexibleInstances