name: finite-typelits version: 0.2.1.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.21 , deepseq >= 1.3 && < 1.6 , tagged >= 0.8 && < 0.9 , template-haskell >= 2.9 && < 2.23 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.21 , deepseq >= 1.3 && < 1.6 , QuickCheck >= 2.12 && < 2.15 default-language: Haskell2010