name:                finite-typelits
version:             0.2.0.0
synopsis:            A type inhabited by finitely many values, indexed by type-level naturals
description:         A type inhabited by finitely many values, indexed by type-level naturals.
homepage:            https://github.com/mniip/finite-typelits
license:             BSD3
license-file:        LICENSE
author:              mniip
maintainer:          mniip@mniip.com
category:            Data
build-type:          Simple
cabal-version:       >=1.10

library
  exposed-modules:     Data.Finite
                     , Data.Finite.Integral
                     , Data.Finite.Internal
                     , Data.Finite.Internal.Integral
  build-depends:       base >= 4.7 && < 4.20
                     , deepseq >= 1.3 && < 1.6
                     , tagged >= 0.8 && < 0.9
                     , template-haskell >= 2.9 && < 2.22
  hs-source-dirs:      src
  default-language:    Haskell2010
  ghc-options:         -Wall

test-suite finite-typelits-tests
  type:                exitcode-stdio-1.0
  main-is:             test/Main.hs
  build-depends:       finite-typelits
                     , base >= 4.9 && < 4.20
                     , deepseq >= 1.3 && < 1.6
                     , QuickCheck >= 2.12 && < 2.15
  default-language:    Haskell2010