snumber: Integer singletons with flexible representation

[ apache, constraints, library ] [ Propose Tags ]

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.

Versions [RSS] [faq] 0.1.0.0, 0.2.0, 0.3.0
Change log CHANGELOG.md
Dependencies base (>=4.12 && <4.17), numeric-kinds (>=0.1 && <0.3), type-compare (>=0.1.1 && <0.2) [details]
License Apache-2.0
Copyright 2020-2021 Google LLC
Author Andrew Pritchard <awpr@google.com>
Maintainer Andrew Pritchard <awpr@google.com>
Category Constraints
Home page https://github.com/google/hs-dependent-literals#readme
Bug tracker https://github.com/google/hs-dependent-literals/issues
Source repo head: git clone https://github.com/google/hs-dependent-literals(snumber)
Uploaded by AndrewPritchard at 2021-11-05T08:38:04Z
Distributions NixOS:0.1.0.0
Downloads 163 total (8 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2021-11-05 [all 1 reports]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates