dev-haskell / numtype-dk

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

Official package sites : ·

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.

v0.5.0.2 :: 0/ :: gentoo

~amd64 ~x86
USE flags
doc hscolour profile


Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
Include coloured haskell sources to generated documentation (dev-haskell/hscolour)
Add support for software performance analysis (will likely vary from ebuild to ebuild)

dev-haskell / cabal : A framework for packaging Haskell software

dev-haskell / hscolour : Colourise Haskell code

dev-lang / ghc : The Glasgow Haskell Compiler

dev-lang / ghc : The Glasgow Haskell Compiler

dev-haskell / exact-pi : Exact rational multiples of pi (and integer powers of pi)

Repository mirror & CI · gentoo
Merge updates from master
Sergei Trofimovich · gentoo
dev-haskell/numtype-dk: new package, a depend of arithmoi-0.11
Package-Manager: Portage-3.0.4, Repoman-3.0.1 Signed-off-by: Sergei Trofimovich <>