The numtype-dk package

[Tags:bsd3, library]

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

Versions 0.5, 0.5.0.1
Change log changelog.md
Dependencies base (<5) [details]
License BSD3
Copyright Bjorn Buckwalter 2012-2015
Author Bjorn Buckwalter
Maintainer bjorn@buckwalter.se
Stability provisional
Category Math
Home page https://github.com/bjornbm/numtype-dk
Source repository head: git clone https://github.com/bjornbm/numtype-dk/
Uploaded Mon May 16 13:24:16 UTC 2016 by dmcclean
Distributions LTSHaskell:0.5.0.1, NixOS:0.5.0.1, Stackage:0.5.0.1, Tumbleweed:0.5.0.1
Downloads 422 total (25 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2016-05-16 [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Readme for numtype-dk

Readme for numtype-dk-0.5.0.1

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