@hackage sint0.1.0.0

A singleton type for `Nat` represented as `Int`.

Categories
License
Apache-2.0
Maintainer
Andrew Pritchard <awpr@google.com>
Links
Versions
- 0.2.0 Mon, 13 Mar 2023
- 0.1.0.0 Wed, 3 Nov 2021

Installation
In your cabal file:
Dependencies (3)
- base >=4.12 && <4.17
- portray >=0.1 && <0.3
- portray-diff >=0.1 && <0.2
Dependents (7)
@hackage/batching, @hackage/fin-int, @hackage/finite-table, @hackage/dependent-literals-plugin, @hackage/short-vec, @hackage/dependent-literals, Show all…

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 Nats with GHC array primitives that expect Ints as sizes and indices.

See the module intro of Data.SInt for more details.