@hackage sint0.2.0
Nat singletons represented by Int
Categories
License
Apache-2.0
Maintainer
Andrew Pritchard <awpritchard@gmail.com>
Links
Versions
Installation
Dependencies (3)
- base >=4.12 && <4.19
- portray >=0.1 && <0.4
- portray-diff >=0.1 && <0.2 Show all…
Dependents (7)
@hackage/batching, @hackage/fin-int, @hackage/finite-table, @hackage/dependent-literals-plugin, @hackage/short-vec, @hackage/dependent-literals, Show all…
sint
A singleton type for Nat represented as Int.
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.