Package0.5.0.3Math
numtype-dk
Type-level integers, using TypeNats, Data Kinds, and Closed Type Families.
- Version0.5.0.3
- CategoryMath
- LicenceBSD-3-Clause
- AuthorBjorn Buckwalter
- Maintainerbjorn@buckwalter.se
- Homepagegithub.com/bjornbm/numtype-dk
- Pinned byhackage numtype-dk 0.5.0.3
- Sourcehackage.haskell.org/package/numtype-dk-0.5.0.3
Modules
1 module- Numeric.NumType.DK.Integers41Summary Type-level integers for GHC 7.8+. We provide type level arithmetic operations. We also provide term-level arithmetic operations o…
Description
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.
Depends on
1 package- base-4.20.2.0with GHC