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