cabal-version: 2.4
name: kind-integer
version: 0.1
license: BSD-3-Clause
license-file: LICENSE
extra-source-files: README.md CHANGELOG.md
author: Renzo Carbonara
maintainer: renλren.zone
copyright: Copyright (c) Renzo Carbonara 2023
category: Types
build-type: Simple
synopsis: Type-level integers. Like KnownNat, but for integers.
description: Type-level integers. Like KnownNat, but for integers.
homepage: https://github.com/k0001/hs-kind
bug-reports: https://github.com/k0001/hs-kind/issues
tested-with: GHC ==9.2.5, GHC ==9.4.3

source-repository head
  type: git
  location: https://github.com/k0001/hs-kind
  subdir: kind-integer

common basic
  default-language: GHC2021
  ghc-options: -O2 -Wall -Werror=incomplete-patterns
  build-depends: base ==4.*
  default-extensions:
    DataKinds
    NoStarIsType
    PatternSynonyms
    TypeFamilies
    TypeOperators
    ViewPatterns

library
  import: basic
  hs-source-dirs: lib
  build-depends: ghc-prim
  exposed-modules: KindInteger

test-suite test
  import: basic
  type: exitcode-stdio-1.0
  hs-source-dirs: test
  main-is: Main.hs
  build-depends: kind-integer