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.2.0
Change log
Dependencies base (>=4.12 && <4.17), type-compare (==0.1.*) [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:
Downloads 106 total (59 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]


[Index] [Quick Jump]


Maintainer's Corner

For package maintainers and hackage trustees