numeric-kinds: Type-level numeric types and classes

[ apache, library, numeric ] [ Propose Tags ]

This provides numeric types meant for use at the type level with -XDataKinds, along with type families that act like type-level typeclasses providing various operations.

Currently, this primarily exists in support of snumber and dependent-literals-plugin, and the only type-level numeric type in the current version is Integer.

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0.0, 0.2.0
Change log CHANGELOG.md
Dependencies base (>=4.12 && <4.17), type-compare (>=0.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 Numeric
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(numeric-kinds)
Uploaded by AndrewPritchard at 2021-11-05T08:31:19Z
Distributions NixOS:0.2.0
Downloads 170 total (7 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2021-11-05 [all 1 reports]