dev-haskell / numtype-dk

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

Official package sites : https://github.com/bjornbm/numtype-dk ·

Summary

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.

Versions

v0.5.0.2 :: 0/0.5.0.2 :: gentoo

Modified
License
BSD
Keywords
~amd64 ~x86
USE flags
doc hscolour profile

USE flags

General

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

Dependencies

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

dev-haskell / hscolour : Colourise Haskell code

dev-lang / ghc : The Glasgow Haskell Compiler

Runtime Dependencies

dev-lang / ghc : The Glasgow Haskell Compiler

Depending packages

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

Change logs

Repository mirror & CI · gentoo
Merge updates from master
Sergei Trofimovich · gentoo
dev-haskell/numtype-dk: update to EAPI=8
Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
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 <slyfox@gentoo.org>