numtype-dk-0.5.0.3: Type-level integers, using TypeNats, Data Kinds, and Closed Type Families.

# numtype-dk-0.5.0.3: Type-level integers, using TypeNats, Data Kinds, and Closed Type Families.

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.

Modules

numtype-dk-0.5.0.3

- Numeric
  Submodules
  - NumType
    Submodules
    - DK
      Submodules
      - Numeric.NumType.DK.Integers