@hackage / numeric-kinds

Type-level numeric types and classes

Latest0.2.0

About

Metadata

  • Last updated , by AndrewPritchard
  • License Apache-2.0
  • Categories Mathematics

  • Maintained by: Andrew Pritchard <awpritchard@gmail.com>

  • Lottery factor: 0

Links

Installation

Readme

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.