homepage: https://github.com/google/hs-fin-vec#readme
changelog-type: markdown
hash: 1848b2b0abdd72b6afbf90c1ce65a6c0ea7494f0a4e88ecb384b8f5d593a8571
test-bench-deps:
  test-framework: -any
  base: '>=4.12 && <4.16'
  portray-diff: '>=0.1 && <0.2'
  test-framework-quickcheck2: -any
  sint: -any
  QuickCheck: -any
  portray: '>=0.1 && <0.2'
maintainer: Andrew Pritchard <awpr@google.com>
synopsis: A singleton type for `Nat` represented as `Int`.
changelog: |
  # 0.1.0.0

  Initial version.
basic-deps:
  base: '>=4.12 && <4.16'
  portray-diff: '>=0.1 && <0.2'
  portray: '>=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 package implements a type `SInt` that links a runtime `Int` with a
  type-level `Nat`, along with some arithmetic and reflection capabilities.

  This is useful when mixing type-level `Nat`s with GHC array primitives that
  expect `Int`s as sizes and indices.

  See the module intro of `Data.SInt` for more details.
license-name: Apache-2.0

Update from Hackage at 2021-09-07T20:17:41Z
Update from Hackage at 2021-09-07T20:17:41Z
