name:                numtype-dk
version:             0.5
x-revision: 1
license:             BSD3
license-File:        LICENSE
copyright:           Bjorn Buckwalter 2012-2014
author:              Bjorn Buckwalter
maintainer:          bjorn@buckwalter.se
category:            Math
stability:           provisional
cabal-version:       >= 1.6
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,
                     Numeric/NumType/DKTests.hs

source-repository head
  type:     git
  location: https://github.com/bjornbm/numtype-dk/

library
  build-depends:       base >= 4.7 && < 4.9
  exposed-modules:     Numeric.NumType.DK.Integers
  other-modules:       Numeric.NumType.DK.Naturals