The numtype-dk package

[maintain]

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.


[Skip to ReadMe]

Properties

Versions0.5, 0.5, 0.5.0.1
Dependenciesbase (<5) [details]
LicenseBSD3
CopyrightBjorn Buckwalter 2012-2014
AuthorBjorn Buckwalter
Maintainerbjorn@buckwalter.se
Stabilityprovisional
CategoryMath
Home pagehttps://github.com/bjornbm/numtype-dk
Source repositoryhead: git clone https://github.com/bjornbm/numtype-dk/
UploadedMon May 11 00:29:56 UTC 2015 by dmcclean

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees

Readme for numtype-dk-0.5

Experimental. Requires GHC 7.8 or later.

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