cabal-version:      >=1.10
name:               type-natural
version:            1.3.0.1
x-revision: 1
license:            BSD3
license-file:       LICENSE
copyright:          (C) Hiromi ISHII 2013-2024
maintainer:         konn.jinro_at_gmail.com
author:             Hiromi ISHII
tested-with:        GHC ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.5 || ==9.8.2 || ==9.10.1
homepage:           https://github.com/konn/type-natural
synopsis:           Type-level natural and proofs of their properties.
description: Type-level natural numbers and proofs of their properties.

category:           Math
build-type:         Simple
extra-source-files: Changelog.md

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

library
  exposed-modules:
    Data.Type.Natural
    Data.Type.Natural.Builtin
    Data.Type.Natural.Lemma.Arithmetic
    Data.Type.Natural.Lemma.Order
    Data.Type.Natural.Presburger.MinMaxSolver
    Data.Type.Ordinal
    Data.Type.Ordinal.Builtin

  hs-source-dirs:     src
  other-modules:
    Data.Type.Natural.Core
    Data.Type.Natural.Lemma.Presburger
    Data.Type.Natural.Utils

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

  default-extensions: NoStarIsType
  ghc-options:        -Wall -Wno-orphans -Wno-redundant-constraints
  build-depends:
      base                       >=4       && <5
    , constraints                >=0.3
    , equational-reasoning       >=0.4.1.1
    , ghc
    , ghc-typelits-knownnat
    , ghc-typelits-natnormalise  >=0.4
    , integer-logarithms
    , template-haskell           >=2.8

  if impl(ghc >=9.8)
    build-depends: ghc-typelits-presburger >=0.7.3

  else
    if impl(ghc >=9.6)
      build-depends: ghc-typelits-presburger >=0.7.2

    else
      if impl(ghc >=9.4)
        build-depends: ghc-typelits-presburger >=0.7.1

      else
        build-depends: ghc-typelits-presburger

test-suite type-natural-test
  type:               exitcode-stdio-1.0
  main-is:            test.hs
  build-tool-depends: tasty-discover:tasty-discover -any
  hs-source-dirs:     tests
  default-language:   Haskell2010
  ghc-options:        -Wall
  other-modules:
    Data.Type.Natural.Lemma.OrderSpec
    Data.Type.Natural.Presburger.Cases
    Data.Type.Natural.Presburger.MinMaxSolverSpec
    Data.Type.NaturalSpec
    Data.Type.NaturalSpec.TH
    Data.Type.OrdinalSpec
    Shared

  build-depends:
      base
    , equational-reasoning
    , integer-logarithms
    , QuickCheck
    , quickcheck-instances
    , tasty
    , tasty-discover
    , tasty-hunit
    , tasty-quickcheck
    , template-haskell
    , type-natural

  default-extensions: NoStarIsType