cabal-version: 2.4
name: kind-rational
version: 0.5.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 rationals. Like KnownNat, but for rationals.
description: Type-level rationals. Like KnownNat, but for rationals.
homepage: https://github.com/k0001/hs-kind
bug-reports: https://github.com/k0001/hs-kind/issues
tested-with: GHC ==9.4.5, GHC ==9.6.1

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

common basic
  default-language: GHC2021
  ghc-options: -O2 -Wall -Werror=incomplete-patterns
  build-depends:
    base ==4.*,
    kind-integer >=0.6,
    singletons,
    singletons-base,
  default-extensions:
    DataKinds
    NoStarIsType
    LambdaCase
    PatternSynonyms
    RoleAnnotations
    TypeFamilies
    TypeOperators
    ViewPatterns

library
  import: basic
  hs-source-dirs: lib
  exposed-modules: KindRational

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