The numtype-dk package

[ Tags: bsd3, library, math ] [ Propose Tags ]

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
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 1090 total (92 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2016-05-16 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for numtype-dk-0.5.0.1

[back to package description]

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