name: singleton-nats
version: 0.4.6
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.3, GHC == 8.10.1, GHC == 9.0.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.1
else
build-depends:
singletons >= 2.2 && < 2.8
default-language: Haskell2010
ghc-options: -Wall -Wno-unticked-promoted-constructors