snumber
Version 0.3.0 revision 1 uploaded by AndrewPritchard.
Package meta
- Synopsis
- Integer singletons with flexible representation
- Description
This provides singletons-style witnesses for type-level integers, and some limited arithmetic operations on them. Instead of working with (invisible, implicitly-passed) KnownNat instances, you can work with (visible, explicitly-mentioned) SNumber values, and can freely convert between the two forms.
This primarily exists in support of dependent-literals-plugin.
- Author
- Andrew Pritchard <awpritchard@gmail.com>
- Bug reports
- https://github.com/google/hs-dependent-literals/issues
- Category
- Constraints
- Copyright
- 2020-2021 Google LLC
- Homepage
- https://github.com/google/hs-dependent-literals#readme
- Maintainer
- Andrew Pritchard <awpritchard@gmail.com>
- Package URL
- n/a
- Stability
- n/a