Peano 0.0.2 → 0.0.3

raw patch · 2 files changed

+28/−13 lines, 2 filesnew-uploaderPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• Data/Peano.hs +18/−2
• Peano.cabal +10/−11

@@ -1,7 +1,23 @@ -- | Peano numbers without any extra fluff-module Data.Peano (Peano(..)) where+module Data.Peano+    ( Peano(..)+    , plus+    , times+    , infinity+    ) where  data Peano     = Zero     | Succ Peano-    deriving (Show, Eq, Ord)+    deriving (Show, Read, Eq, Ord)++plus :: Peano -> Peano -> Peano+plus Zero     m = m+plus (Succ n) m = Succ (plus n m)++times :: Peano -> Peano -> Peano+times Zero     _ = Zero+times (Succ n) m = plus n (times n m)++infinity :: Peano+infinity = Succ infinity

@@ -7,7 +7,7 @@ -- The package version. See the Haskell package versioning policy -- (http://www.haskell.org/haskellwiki/Package_versioning_policy) for -- standards guiding when and how versions should be incremented.-Version:             0.0.2+Version:             0.0.3  -- A short (one-line) description of the package. Synopsis:            simple Peano numbers@@ -22,14 +22,14 @@ License-file:        LICENSE  -- The package author(s).-Author:              Andras Slemmer+Author:              Andras Slemmer, Francesco Mazzoli  -- An email address to which users can send suggestions, bug reports, -- and patches. Maintainer:          0slemi0@gmail.com  -- A copyright notice.--- Copyright:           +-- Copyright:  Category:            Data @@ -37,7 +37,7 @@  -- Extra files to be distributed with the package, such as examples or -- a README.--- Extra-source-files:  +-- Extra-source-files:  -- Constraint on the version of Cabal needed to build this package. Cabal-version:       >=1.2@@ -46,14 +46,13 @@ Library   -- Modules exported by the library.   Exposed-modules:     Data.Peano-  +   -- Packages needed in order to build this package.-  Build-depends:       +  Build-depends:      base < 5-  +   -- Modules not exported by this package.-  -- Other-modules:       -  +  -- Other-modules:+   -- Extra tools (e.g. alex, hsc2hs, ...) needed to build the source.-  -- Build-tools:         -  +  -- Build-tools: