numtype-dk

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

Version on this page:	0.5.0.1
LTS Haskell 20.24:	0.5.0.3
Stackage Nightly 2023-06-08:	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 bjorn@buckwalter.se

This version can be pinned in stack with:numtype-dk-0.5.0.1@sha256:46c87e9342f5a3631d63553b8ee01596b476bd4d2ce57786f66214ba93205fed,1361

Module documentation for 0.5.0.1

Numeric
- Numeric.NumType
  - Numeric.NumType.DK
    - Numeric.NumType.DK.Integers

Depends on 1 package(full list with versions):

base

Used by 2 packages in lts-9.21(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.

Contributing

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

Changes

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.