singleton-nats 0.4.4 → 0.4.5

raw patch · 3 files changed

+7/−4 lines, 3 files

Files

CHANGELOG.md +3/−0
Data/Nat.hs +3/−3
singleton-nats.cabal +1/−1

CHANGELOG.md view

@@ -1,3 +1,6 @@+# 0.4.5 [2020.04.11]+* Remove the use of overlapping patterns in `NatMinus`.+ # 0.4.4 [2020.03.25] * Allow `singletons-2.7`.

Data/Nat.hs view

@@ -58,9 +58,9 @@   natMul (S a) b = natPlus b (natMul a b)    natMinus :: Nat -> Nat -> Nat-  natMinus Z     _     = Z-  natMinus (S a) (S b) = natMinus a b-  natMinus a     Z     = a+  natMinus Z       _     = Z+  natMinus (S a)   (S b) = natMinus a b+  natMinus a@(S _) Z     = a    natAbs :: Nat -> Nat   natAbs n = n

singleton-nats.cabal view

@@ -1,5 +1,5 @@ name:                singleton-nats-version:             0.4.4+version:             0.4.5 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