cabal-version: 1.12 -- This file has been generated from package.yaml by hpack version 0.34.4. -- -- see: https://github.com/sol/hpack name: numeric-kinds version: 0.2.0 x-revision: 1 synopsis: Type-level numeric types and classes description: This provides numeric types meant for use at the type level with -XDataKinds, along with type families that act like type-level typeclasses providing various operations. . Currently, this primarily exists in support of and , and the only type-level numeric type in the current version is @Integer@. category: Numeric homepage: https://github.com/google/hs-dependent-literals#readme bug-reports: https://github.com/google/hs-dependent-literals/issues author: Andrew Pritchard maintainer: Andrew Pritchard copyright: 2020-2021 Google LLC license: Apache-2.0 license-file: LICENSE build-type: Simple extra-source-files: CHANGELOG.md source-repository head type: git location: https://github.com/google/hs-dependent-literals subdir: numeric-kinds library exposed-modules: Kinds.Integer Kinds.Num hs-source-dirs: src build-depends: base >=4.12 && <4.17, type-compare ==0.1.* default-language: Haskell2010