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