1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
name: numtype-dk
version: 0.5.0.3
license: BSD3
license-File: LICENSE
copyright: Bjorn Buckwalter 2012-2021
author: Bjorn Buckwalter
maintainer: bjorn@buckwalter.se
category: Math
stability: provisional
cabal-version: >= 1.10
build-type: Simple
homepage: https://github.com/bjornbm/numtype-dk
synopsis: Type-level integers, using TypeNats, Data
Kinds, and Closed Type Families.
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.
extra-source-files: README.md,
changelog.md
Numeric/NumType/DKTests.hs
source-repository head
type: git
location: https://github.com/bjornbm/numtype-dk/
library
default-language: Haskell98
build-depends: base < 5
exposed-modules: Numeric.NumType.DK.Integers
other-modules: Numeric.NumType.DK.Naturals
|
