singleton-nats 0.4.5 → 0.4.6
raw patch · 4 files changed
+31/−11 lines, 4 filesdep +singletons-basedep ~singletons
Dependencies added: singletons-base
Dependency ranges changed: singletons
Files
- CHANGELOG.md +3/−0
- Data/Nat.hs +12/−6
- README.md +1/−1
- singleton-nats.cabal +15/−4
CHANGELOG.md view
@@ -1,3 +1,6 @@+# 0.4.6 [2021.03.12]+* Allow building with `singletons-base`.+ # 0.4.5 [2020.04.11] * Remove the use of overlapping patterns in `NatMinus`.
Data/Nat.hs view
@@ -26,13 +26,13 @@ , someNatVal #if MIN_VERSION_singletons(2,6,0) , SNat(..)- , Data.Singletons.Prelude.Sing+ , PreludeSingletons.Sing #else , SNat- , Data.Singletons.Prelude.Sing(SS, SZ)+ , PreludeSingletons.Sing(SS, SZ) #endif- , Data.Singletons.Prelude.PNum- , Data.Singletons.Prelude.SNum+ , PreludeSingletons.PNum+ , PreludeSingletons.SNum , SSym0(..) , SSym1 , ZSym0@@ -42,9 +42,15 @@ , SLit , sLit) where -import Data.Singletons.TH-import Data.Singletons.Prelude import qualified GHC.TypeLits as Lit++#if MIN_VERSION_singletons(3,0,0)+import Data.Singletons.Base.TH+import Prelude.Singletons as PreludeSingletons+#else+import Data.Singletons.Prelude as PreludeSingletons+import Data.Singletons.TH+#endif $(singletons [d| data Nat = Z | S Nat deriving (Eq, Show, Ord)
README.md view
@@ -1,5 +1,5 @@ # singleton-nats -[](https://hackage.haskell.org/package/singleton-nats) [](http://travis-ci.org/AndrasKovacs/singleton-nats)+[](https://hackage.haskell.org/package/singleton-nats) [](https://github.com/AndrasKovacs/singleton-nats/actions?query=workflow%3AHaskell-CI) Unary natural numbers relying on the singletons infrastructure.
singleton-nats.cabal view
@@ -1,5 +1,5 @@ name: singleton-nats-version: 0.4.5+version: 0.4.6 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@@ -13,20 +13,31 @@ build-type: Simple cabal-version: >=1.10-tested-with: GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.5, GHC == 8.8.3, GHC == 8.10.1+tested-with: GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.5, GHC == 8.8.3, GHC == 8.10.1, GHC == 9.0.1 extra-source-files: CHANGELOG.md, README.md source-repository head type: git location: https://github.com/AndrasKovacs/singleton-nats.git +flag singletons-3-0+ description: Use @singletons-3.0@ or later.+ default: True+ library exposed-modules: Data.Nat build-depends:- base >=4.8.1.0 && <5,- singletons >= 2.2 && < 2.8+ base >=4.8.1.0 && <5++ if flag(singletons-3-0)+ build-depends:+ singletons >= 3.0 && < 3.1,+ singletons-base >= 3.0 && < 3.1+ else+ build-depends:+ singletons >= 2.2 && < 2.8 default-language: Haskell2010 ghc-options: -Wall -Wno-unticked-promoted-constructors