Type-level integers, using TypeNats, Data Kinds, and Closed Type Families.

Latest on Hackage:[email protected]:1

See all snapshots numtype-dk appears in

BSD-3-Clause licensed by Bjorn Buckwalter
Maintained by [email protected]

Module documentation for

This version can be pinned in stack with:[email protected]:c4df6a4de406c6d66b99efaefac7b7e1355f32fad16ef2e80b747bbf51ed2221,1346


This package provides type level representations of the integers (TypeInts) and basic operations (addition, subtraction, multiplication, division, exponentiation) on these.

Requires GHC 7.8 or later.

Build Status Hackage Version Stackage version


For project information (code, issues) see:

Changes (2018-07)

Internal changes to support compilation on GHC 8.6.1 release candidate. (2016-05)

Internal changes to support compilation on GHC 8.0.1 release candidate.

0.5 (2015-05)

First public (Hackage) release.

Depends on 1 package(full list with versions):
Used by 2 packages in lts-12.14(full list with versions):