numtype-dk

Type-level integers, using TypeNats, Data Kinds, and Closed Type Families. https://github.com/bjornbm/numtype-dk

LTS Haskell 9.1:0.5.0.1
Stackage Nightly 2017-08-17:0.5.0.1
Latest on Hackage:0.5.0.1
BSD3 licensed by Bjorn Buckwalter
Maintained by bjorn@buckwalter.se

Module documentation for 0.5.0.1

There are no documented modules for this package.

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

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.

Depends on:
comments powered byDisqus