packages feed

numtype-dk 0.5.0.2 → 0.5.0.3

raw patch · 2 files changed

+5/−3 lines, 2 filesdep ~basePVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: base

API changes (from Hackage documentation)

+ Numeric.NumType.DK.Integers: type family (i :: TypeInt) ^ (i' :: TypeInt) :: TypeInt
- Numeric.NumType.DK.Integers: neg1 :: Proxy 'Neg1
+ Numeric.NumType.DK.Integers: neg1 :: Proxy 'Neg1
- Numeric.NumType.DK.Integers: neg2 :: Proxy 'Neg2
+ Numeric.NumType.DK.Integers: neg2 :: Proxy 'Neg2
- Numeric.NumType.DK.Integers: neg3 :: Proxy 'Neg3
+ Numeric.NumType.DK.Integers: neg3 :: Proxy 'Neg3
- Numeric.NumType.DK.Integers: neg4 :: Proxy 'Neg4
+ Numeric.NumType.DK.Integers: neg4 :: Proxy 'Neg4
- Numeric.NumType.DK.Integers: neg5 :: Proxy 'Neg5
+ Numeric.NumType.DK.Integers: neg5 :: Proxy 'Neg5
- Numeric.NumType.DK.Integers: neg6 :: Proxy 'Neg6
+ Numeric.NumType.DK.Integers: neg6 :: Proxy 'Neg6
- Numeric.NumType.DK.Integers: neg7 :: Proxy 'Neg7
+ Numeric.NumType.DK.Integers: neg7 :: Proxy 'Neg7
- Numeric.NumType.DK.Integers: neg8 :: Proxy 'Neg8
+ Numeric.NumType.DK.Integers: neg8 :: Proxy 'Neg8
- Numeric.NumType.DK.Integers: neg9 :: Proxy 'Neg9
+ Numeric.NumType.DK.Integers: neg9 :: Proxy 'Neg9
- Numeric.NumType.DK.Integers: pos1 :: Proxy 'Pos1
+ Numeric.NumType.DK.Integers: pos1 :: Proxy 'Pos1
- Numeric.NumType.DK.Integers: pos2 :: Proxy 'Pos2
+ Numeric.NumType.DK.Integers: pos2 :: Proxy 'Pos2
- Numeric.NumType.DK.Integers: pos3 :: Proxy 'Pos3
+ Numeric.NumType.DK.Integers: pos3 :: Proxy 'Pos3
- Numeric.NumType.DK.Integers: pos4 :: Proxy 'Pos4
+ Numeric.NumType.DK.Integers: pos4 :: Proxy 'Pos4
- Numeric.NumType.DK.Integers: pos5 :: Proxy 'Pos5
+ Numeric.NumType.DK.Integers: pos5 :: Proxy 'Pos5
- Numeric.NumType.DK.Integers: pos6 :: Proxy 'Pos6
+ Numeric.NumType.DK.Integers: pos6 :: Proxy 'Pos6
- Numeric.NumType.DK.Integers: pos7 :: Proxy 'Pos7
+ Numeric.NumType.DK.Integers: pos7 :: Proxy 'Pos7
- Numeric.NumType.DK.Integers: pos8 :: Proxy 'Pos8
+ Numeric.NumType.DK.Integers: pos8 :: Proxy 'Pos8
- Numeric.NumType.DK.Integers: pos9 :: Proxy 'Pos9
+ Numeric.NumType.DK.Integers: pos9 :: Proxy 'Pos9
- Numeric.NumType.DK.Integers: zero :: Proxy 'Zero
+ Numeric.NumType.DK.Integers: zero :: Proxy 'Zero

Files

Numeric/NumType/DK/Integers.hs view
@@ -3,6 +3,7 @@ {-# LANGUAGE AutoDeriveTypeable #-} {-# LANGUAGE CPP #-} {-# LANGUAGE DataKinds #-}+{-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeOperators #-}
numtype-dk.cabal view
@@ -1,13 +1,13 @@ name:                numtype-dk-version:             0.5.0.2+version:             0.5.0.3 license:             BSD3 license-File:        LICENSE-copyright:           Bjorn Buckwalter 2012-2015+copyright:           Bjorn Buckwalter 2012-2021 author:              Bjorn Buckwalter maintainer:          bjorn@buckwalter.se category:            Math stability:           provisional-cabal-version:       >= 1.6+cabal-version:       >= 1.10 build-type:          Simple homepage:            https://github.com/bjornbm/numtype-dk synopsis:            Type-level integers, using TypeNats, Data@@ -33,6 +33,7 @@   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