peano 0.1.0.3 → 0.1.1.0

raw patch · 3 files changed

+13/−4 lines, 3 files

Files

CHANGELOG.md +8/−0
Data/Peano.hs +3/−2
peano.cabal +2/−2

CHANGELOG.md view

@@ -1,3 +1,11 @@+0.1.1.0+-------++_Andreas Abel, 2026-01-06_++* Add `deriving Generic` (Olaf Klinke, [PR #5](https://github.com/andreasabel/peano.hs/pull/5)).+* Tested with GHC 8.0 - 9.14.1.+ 0.1.0.3 -------

Data/Peano.hs view

@@ -1,15 +1,16 @@ -- | See 'Peano'.-+{-# LANGUAGE DeriveGeneric #-} module Data.Peano ( Peano (Zero, Succ), infinity ) where  import Data.Data       ( Data ) import Data.Ix         ( Ix( index, inRange, range, rangeSize ) )+import GHC.Generics    ( Generic )  -- | The natural numbers in (lazy) unary notation. data Peano   = Zero   | Succ Peano-  deriving (Eq, Ord, Data, Read, Show)+  deriving (Eq, Ord, Data, Read, Show, Generic)  instance Enum Peano where     succ = Succ

peano.cabal view

@@ -1,6 +1,6 @@ cabal-version:       1.18 name:                peano-version:             0.1.0.3+version:             0.1.1.0 synopsis:            Peano numbers description:         Lazy unary natural numbers. license:             BSD3@@ -13,7 +13,7 @@ tested-with:   GHC == 9.14.1   GHC == 9.12.2-  GHC == 9.10.2+  GHC == 9.10.3   GHC == 9.8.4   GHC == 9.6.7   GHC == 9.4.8