homepage: https://github.com/google/hs-dependent-literals#readme
changelog-type: markdown
hash: f375f10b74a1ee1b466b0fcf6a00065eea6c98cd276c81d6f972528c587b373d
test-bench-deps: {}
maintainer: Andrew Pritchard <awpr@google.com>
synopsis: Type-level numeric types, classes, and instances.
changelog: |
  # 0.1.0.0

  Initial version.
basic-deps:
  base: '>=4.12 && <4.16'
all-versions:
- 0.1.0.0
author: Andrew Pritchard <awpr@google.com>
latest: 0.1.0.0
description-type: haddock
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
  <https://hackage.haskell.org/package/snumber snumber> and
  <https://hackage.haskell.org/package/dependent-literals-plugin dependent-literals-plugin>,
  and the only type-level numeric type in the current version is @Integer@.
license-name: Apache-2.0

Update from Hackage at 2021-09-08T19:36:02Z
Update from Hackage at 2021-09-08T19:36:02Z
