cabal-version: 1.18 name: typenums version: 0.1.4 synopsis: Type level numbers using existing Nat functionality description: Type level numbers using existing Nat functionality. Uses kind-polymorphic typeclasses and type families to facilitate more general code compatible with existing code using type-level Naturals. category: Data homepage: https://github.com/adituv/typenums#readme bug-reports: https://github.com/adituv/typenums/issues author: AdituV maintainer: aditu.venyhandottir@gmail.com copyright: 2018-2021 Iris Ward license: BSD3 license-file: LICENSE build-type: Simple tested-with: GHC == 8.4.4, GHC == 8.6.5, GHC == 8.8.1, GHC == 8.10.4, GHC == 9.0.1 extra-doc-files: CHANGELOG.md README.md source-repository head type: git location: https://github.com/adituv/typenums library exposed-modules: Data.TypeLits Data.TypeNums Data.TypeNums.Arithmetic.Internal Data.TypeNums.Ints Data.TypeNums.Rats other-modules: Data.TypeNums.Arithmetic Data.TypeNums.Comparison Data.TypeNums.Equality Data.TypeNums.Rats.Type hs-source-dirs: src ghc-options: -Wall if impl(ghc >= 9.0) ghc-options: -Wall -Winferred-safe-imports -Wmissing-safe-haskell-mode build-depends: base >=4.10 && <5.0 default-language: Haskell2010 test-suite typenums-tests type: exitcode-stdio-1.0 main-is: Spec.hs other-modules: Data.TypeNums.ArithmeticSpec Data.TypeNums.ComparisonSpec Data.TypeNums.EqualitySpec Data.TypeNums.IntsSpec Data.TypeNums.RatsSpec Paths_typenums TestUtil hs-source-dirs: test ghc-options: -Wall -Wno-all build-depends: QuickCheck >=2.0 , base >=4.10 && <5.0 , hspec >=2.0 , typenums build-tool-depends: hspec-discover:hspec-discover == 2.* default-language: Haskell2010