numtype-dk

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

https://github.com/bjornbm/numtype-dk

Version on this page:0.5
LTS Haskell 24.18:0.5.0.3
Stackage Nightly 2025-11-04:0.5.0.3
Latest on Hackage:0.5.0.3

See all snapshots numtype-dk appears in

BSD-3-Clause licensed by Bjorn Buckwalter
Maintained by [email protected]
This version can be pinned in stack with:numtype-dk-0.5@sha256:ad541ea8aa93d79ac96702c1f1fb6f903b26e1e86a306d2c55869144ef9d3436,1319

Module documentation for 0.5

Depends on 1 package(full list with versions):
base
Used by 2 packages in nightly-2016-02-15(full list with versions):
dimensional, exact-pi

This package provides type level representations of the (positive and negative) integers and basic operations (addition, subtraction, multiplication, division, exponentiation) on these. The numtype-dk package differs from the numtype package in that the NumTypes are implemented using Data Kinds, TypeNats, and Closed Type Families rather than Functional Dependencies. Requires GHC 7.8 or later.