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

LTS Haskell 10.6:
Stackage Nightly 2018-02-22:
Latest on Hackage:

See all snapshots numtype-dk appears in

BSD3 licensed by Bjorn Buckwalter
Maintained by

Module documentation for


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


For project information (code, issues) see:

Changes (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:
comments powered byDisqus