name:                singleton-nats
version:             0.4.7
synopsis:            Unary natural numbers relying on the singletons infrastructure.
description:         Unary natural number relying on the <https://hackage.haskell.org/package/singletons singletons> infrastructure. More information about the general usage of singletons can be found on the <https://github.com/goldfirere/singletons singletons github> page.
category:            Data, Dependent Types
homepage:            https://github.com/AndrasKovacs/singleton-nats
bug-reports:         https://github.com/AndrasKovacs/singleton-nats/issues
license:             BSD3
license-file:        LICENSE
author:              András Kovács
maintainer:          puttamalac@gmail.com
copyright:           2015 András Kovács

build-type:          Simple
cabal-version:       >=1.10
tested-with:         GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.5, GHC == 8.8.4, GHC == 8.10.7, GHC == 9.0.2, GHC == 9.2.8, GHC == 9.4.7, GHC == 9.6.3, GHC == 9.8.1
extra-source-files:  CHANGELOG.md, README.md

source-repository head
  type: git
  location: https://github.com/AndrasKovacs/singleton-nats.git

flag singletons-3-0
  description:         Use @singletons-3.0@ or later.
  default:             True

library
  exposed-modules:
    Data.Nat

  build-depends:
    base >=4.8.1.0 && <5

  if flag(singletons-3-0)
    build-depends:
      singletons      >= 3.0 && < 3.1,
      singletons-base >= 3.0 && < 3.4
  else
    build-depends:
      singletons >= 2.2 && < 2.8

  default-language:    Haskell2010
  ghc-options:         -Wall -Wno-unticked-promoted-constructors