- package:numtype-dk

type family (i :: TypeInt) - (i' :: TypeInt) :: TypeInt
numtype-dk Numeric.NumType.DK.Integers
TypeInt subtraction.
(-) :: Proxy i -> Proxy i' -> Proxy (i - i')
numtype-dk Numeric.NumType.DK.Integers
package numtype-dk
Uses
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.