purescript-contrib · thomashoneyman · May 6, 2021 · May 5, 2021 · May 5, 2021 · May 5, 2021
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -7,10 +7,13 @@ Notable changes to this project are documented in this file. The format is based
 Breaking changes:
 
 New features:
+- Export `HugeInt`'s `abs` and `neg` and `HugeNum`'s `subHugeNum`, both implemented by @Thimoteus (#25 by @JordanMartinez)
 
 Bugfixes:
 
 Other improvements:
+- Fix warnings revealed by v0.14.1 PS release, including the removal of `fromKRep` function (#25 by @JordanMartinez)
+- Install missing dependencies used in source code (#25 by @JordanMartinez)
 
 ## [v5.0.0](https://github.com/purescript-contrib/purescript-precise/releases/tag/v5.0.0) - 2021-02-26
 

diff --git a/spago.dhall b/spago.dhall
@@ -1,18 +1,22 @@
 { name = "precise"
 , dependencies =
-  [ "arrays"
-  , "console"
+  [ "console"
   , "effect"
   , "exceptions"
+  , "foldable-traversable"
   , "gen"
-  , "numbers"
   , "integers"
   , "lists"
+  , "maybe"
+  , "numbers"
+  , "partial"
   , "prelude"
   , "psci-support"
   , "quickcheck"
   , "quickcheck-laws"
   , "strings"
+  , "tuples"
+  , "unfoldable"
   ]
 , packages = ./packages.dhall
 , sources = [ "src/**/*.purs", "test/**/*.purs" ]

diff --git a/src/Data/HugeInt.purs b/src/Data/HugeInt.purs
@@ -5,6 +5,8 @@ module Data.HugeInt
   , toInt
   , toHugeNum
   , fromHugeNum
+  , abs
+  , neg
   , round
   , ceil
   , floor

diff --git a/src/Data/HugeNum.purs b/src/Data/HugeNum.purs
@@ -17,6 +17,7 @@ module Data.HugeNum
   , ceil
   , round
   , googol
+  , subHugeNum
   , pow, (^)
   , truncate
   ) where
@@ -457,14 +458,6 @@ takeMeatyParts :: List Digit -> List Digit
 takeMeatyParts arr =
   L.reverse (L.dropWhile (_ == _zero) (L.reverse arr))
 
--- | Turn a `KRep` into a `HugeNum`.
-fromKRep :: KRep -> HugeNum
-fromKRep k = z where
-  bm = { sign: Plus, digits: _one : replicate (k.exp + 1) _zero, decimal: k.exp + 1 }
-  prod = k.coeff <> L.drop 1 bm.digits
-  leftSummand = HugeNum { digits: prod, sign: Plus, decimal: bm.decimal + L.length k.coeff - 1 }
-  z = plus leftSummand k.const
-
 -- | Turn a `HugeNum` into a `KRep`, given an exponent m for B^m.
 toKRep :: Int -> HugeNum -> KRep
 toKRep exp h@(HugeNum r) = z where
@@ -583,7 +576,7 @@ adjustDecimalForTriviality h1 h2 (HugeNum r3) = dropZeroes (HugeNum r) where
 
 -- | Raise a HugeNum to an integer power.
 pow :: HugeNum -> Int -> HugeNum
-pow r 0 = one
+pow _ 0 = one
 pow r 1 = r
 pow r n =
   let c = r * r
-Original file line number
+Diff line change
@@ Expand Up / @@ -5,6 +5,8 @@ module Data.HugeInt @@
       , toInt
       , toHugeNum
       , fromHugeNum
+      , abs
+      , neg
       , round
       , ceil
       , floor
@@ Expand Down @@