name:                finite-typelits
version:             0.1.6.0
x-revision: 2
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.Internal
  build-depends:       base >= 4.7 && < 4.20
                     , deepseq >= 1.4
  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.4
                     , QuickCheck
  default-language:    Haskell2010