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.


Maintainer's Corner

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS], 0.2.0
Change log
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 <>
Maintainer Andrew Pritchard <>
Category Numeric
Home page
Bug tracker
Source repo head: git clone
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]