Package Info

ghc-numtype-dk

install

Type-level integers, using TypeNats, Data Kinds, and Closed Type Families

Development/Libraries/Haskell
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.
License: BSD-3-Clause
URL: https://hackage.haskell.org/package/numtype-dk

Categories

Development Libraries Haskell

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
0.5.0.1-bp150.2.5 info GA Release 2018-08-01 15
  • AArch64
  • ghc-numtype-dk
  • ghc-numtype-dk-devel
0.5.0.1-bp150.2.6 info GA Release 2018-07-30 15
  • ppc64le
  • x86-64
  • ghc-numtype-dk
  • ghc-numtype-dk-devel