sint
Version 0.2.0 revision 5 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/awpr/fin-vec/issues
- Category
- Data
- Copyright
- 2021 Google LLC
- Homepage
- https://github.com/awpr/fin-vec#readme
- Maintainer
- Andrew Pritchard <awpritchard@gmail.com>
- Package URL
- n/a
- Stability
- n/a