kind-integer-0.6.0: kind-integer.cabal

cabal-version: 2.4
name: kind-integer
version: 0.6.0
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.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.*,
    singletons,
    singletons-base,
  default-extensions:
    DataKinds
    DerivingStrategies
    LambdaCase
    MultiWayIf
    NoStarIsType
    RoleAnnotations
    PatternSynonyms
    TypeFamilies
    TypeOperators
    ViewPatterns

library
  import: basic
  hs-source-dirs: lib
  exposed-modules: KindInteger
  other-modules: KindInteger.Round

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