homepage: https://github.com/google/hs-dependent-literals#readme
changelog-type: markdown
hash: 43f73c132ff277033af9375264c8a3b5e74d0b5ea85909520400552f4a40f28b
test-bench-deps: {}
maintainer: Andrew Pritchard <awpr@google.com>
synopsis: Indexed numeric types linking type-level and value-level numbers.
changelog: |
  # 0.1.0.0

  Initial version.
basic-deps:
  base: '>=4.12 && <4.16'
  numeric-kinds: '>=0.1 && <0.2'
all-versions:
- 0.1.0.0
author: Andrew Pritchard <awpr@google.com>
latest: 0.1.0.0
description-type: haddock
description: |-
  This provides singletons-style witnesses for type-level integers, and some
  limited arithmetic operations on them.  Instead of working with (invisible,
  implicitly-passed) 'KnownNat' instances, you can work with (visible,
  explicitly-mentioned) 'SNumber' values, and can freely convert between the
  two forms.

  This primarily exists in support of
  <https://hackage.haskell.org/package/dependent-literals-plugin dependent-literals-plugin>.
license-name: Apache-2.0

Update from Hackage at 2021-09-08T19:48:46Z
Update from Hackage at 2021-09-08T19:48:46Z
