numtype-dk

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

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

LTS Haskell 23.2:0.5.0.3
Stackage Nightly 2024-12-30: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.0.3@sha256:d87bb75788bca15fc743e2267a27e6a525e3d58d028bfd65af49daac1cdfe5ca,1357

Module documentation for 0.5.0.3

Depends on 1 package(full list with versions):
base
Used by 2 packages in nightly-2024-11-01(full list with versions):
dimensional, exact-pi

numtype-dk

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

Contributing

For project information (code, issues) see: http://github.com/bjornbm/numtype-dk

Changes

0.5.0.2 (2018-07)

Internal changes to support compilation on GHC 8.6.1 release candidate.

0.5.0.1 (2016-05)

Internal changes to support compilation on GHC 8.0.1 release candidate.

0.5 (2015-05)

First public (Hackage) release.