peano 0.1.0.2 → 0.1.0.3
raw patch · 3 files changed
+17/−6 lines, 3 files
Files
- CHANGELOG.md +8/−0
- Data/Peano.hs +2/−2
- peano.cabal +7/−4
CHANGELOG.md view
@@ -1,3 +1,11 @@+0.1.0.3+-------++_Andreas Abel, 2025-09-02_++* Remove obsolete `deriving Typeable`.+* Tested with GHC 8.0 - 9.14.1 alpha1.+ 0.1.0.2 -------
Data/Peano.hs view
@@ -2,14 +2,14 @@ module Data.Peano ( Peano (Zero, Succ), infinity ) where -import Data.Data ( Data, Typeable )+import Data.Data ( Data ) import Data.Ix ( Ix( index, inRange, range, rangeSize ) ) -- | The natural numbers in (lazy) unary notation. data Peano = Zero | Succ Peano- deriving (Eq, Ord, Typeable, Data, Read, Show)+ deriving (Eq, Ord, Data, Read, Show) instance Enum Peano where succ = Succ
peano.cabal view
@@ -1,6 +1,6 @@ cabal-version: 1.18 name: peano-version: 0.1.0.2+version: 0.1.0.3 synopsis: Peano numbers description: Lazy unary natural numbers. license: BSD3@@ -11,9 +11,12 @@ build-type: Simple tested-with:- GHC == 9.8.1- GHC == 9.6.3- GHC == 9.4.7+ GHC == 9.14.1+ GHC == 9.12.2+ GHC == 9.10.2+ GHC == 9.8.4+ GHC == 9.6.7+ GHC == 9.4.8 GHC == 9.2.8 GHC == 9.0.2 GHC == 8.10.7