lean-peano 1.0.0.0 → 1.0.1.0

raw patch · 2 files changed

+2/−6 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• lean-peano.cabal +1/−1
• src/Numeric/Peano/Typelevel.hs +1/−5

@@ -1,7 +1,7 @@ cabal-version: >= 1.12  name:           lean-peano-version:        1.0.0.0+version:        1.0.1.0 synopsis:       A maximally lazy, simple implementation of the Peano numbers with minimal dependencies description:    Please see the README on GitHub at <https://github.com/oisdk/lean-peano#readme> homepage:       https://github.com/oisdk/lean-peano#readme

@@ -38,11 +38,7 @@ -- | Conversion of numeric literals to naturals. type family FromLit (n :: Lit.Nat) :: Nat where     FromLit 0 = Z-    FromLit n = FromLit2 (Lit.Mod n 2) (FromLit (Lit.Div n 2))--type family FromLit2 (odd :: Lit.Nat) (rest :: Nat) :: Nat where-    FromLit2 0 n = n-    FromLit2 1 n = S n+    FromLit n = S (FromLit (n Lit.- 1))  -- | Conversion of naturals to numeric literals. type family ToLit (n :: Nat) :: Lit.Nat where