name: numtype-dk version: 0.5 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 < 5 exposed-modules: Numeric.NumType.DK.Integers other-modules: Numeric.NumType.DK.Naturals