hackage.haskell.org : numtype-dk
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.
Registry
-
Source
- JSON
- codemeta.json
purl: pkg:hackage/numtype-dk
Keywords:
bsd3
, library
, math
, Propose Tags
License: BSD-3-Clause
Latest release: over 4 years ago
First release: over 10 years ago
Dependent repositories: 30
Downloads: 8,766 total
Stars: 1 on GitHub
Forks: 2 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: about 1 month ago