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.

Versions [RSS] [faq] 0.1.0.0, 0.2.0
Change log CHANGELOG.md
Dependencies base (>=4.12 && <4.17), type-compare (==0.1.*) [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.1.0.0
Downloads 106 total (46 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