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 +1/−0
- numtype-dk.cabal +4/−3
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