singleton-nats 0.4.0.0 → 0.4.0.1

raw patch · 1 files changed

+14/−6 lines, 1 filesdep ~basePVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: base

API changes (from Hackage documentation)

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.Compare_1627420094Sym0

- Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.Compare_1627420094Sym1

+ Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.Compare_1627420084Sym0

+ Data.Nat: instance Data.Singletons.SuppressUnusedWarnings.SuppressUnusedWarnings Data.Nat.Compare_1627420084Sym1

- Data.Nat: data SSym0 (l_a7fQ :: TyFun Nat Nat)

+ Data.Nat: data SSym0 (l_a7fG :: TyFun Nat Nat)

- Data.Nat: type SSym1 (t_a7fP :: Nat) = S t_a7fP

+ Data.Nat: type SSym1 (t_a7fF :: Nat) = S t_a7fF

Files

singleton-nats.cabal +14/−6

singleton-nats.cabal view

@@ -1,23 +1,31 @@ 
 name:                singleton-nats
-version:             0.4.0.0
-synopsis:            Unary natural numbers relying on the singletons infrastructure.         
+version:             0.4.0.1
+synopsis:            Unary natural numbers relying on the singletons infrastructure.
+description:         Unary natural number relying on the <https://hackage.haskell.org/package/singletons singletons> infrastructure. More information about the general usage of singletons can be found on the <https://github.com/goldfirere/singletons singletons github> page.                           
+category:            Data, Dependent Types
+homepage:            https://github.com/AndrasKovacs/singleton-nats
+bug-reports:         https://github.com/AndrasKovacs/singleton-nats/issues
 license:             BSD3
 license-file:        LICENSE
 author:              András Kovács
 maintainer:          puttamalac@gmail.com
 copyright:           2015 András Kovács
-category:            Data
-build-type:          Simple
 
+build-type:          Simple
 cabal-version:       >=1.10
+tested-with:         GHC == 7.10.2
 
+source-repository head
+  type: git
+  location: https://github.com/AndrasKovacs/singleton-nats.git
+
 library
   exposed-modules:
     Data.Nat
 
-  build-depends:       
-    base >=4.7 && <4.9,
+  build-depends:
+    base >=4.8.1.0 && <4.9,
     singletons >= 2.0.1
 
   default-language:    Haskell2010