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@rev:1
LTS Haskell 22.19:0.5.0.3
Stackage Nightly 2024-05-01: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:6b13ae7553aded1d6485b38765894e2c950561c7a0e56be0ddeaf2179191fdf5,1346

Module documentation for 0.5

Depends on 1 package(full list with versions):
base
Used by 2 packages in lts-5.14(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.