The latest version of sint is 0.2.0-5.

sint

Version 0.2.0 revision 4 uploaded by AndrewPritchard.

Package meta

Synopsis
Nat singletons represented by Int
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 Nats with GHC array primitives that expect Ints as sizes and indices.

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

Author
Andrew Pritchard <awpritchard@gmail.com>
Bug reports
https://github.com/google/hs-fin-vec/issues
Category
Data
Copyright
2021 Google LLC
Homepage
https://github.com/google/hs-fin-vec#readme
Maintainer
Andrew Pritchard <awpritchard@gmail.com>
Package URL
n/a
Stability
n/a

Components