From 4e496c78a7e6feb7cab3b3949fc25adfb846bf20 Mon Sep 17 00:00:00 2001 From: Jonathan Knowles Date: Tue, 29 Aug 2023 05:45:38 +0000 Subject: [PATCH] Use `mempty` instead of `TokenQuantity.zero`. --- .../test/spec/Cardano/CoinSelection/BalanceSpec.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/lib/coin-selection/test/spec/Cardano/CoinSelection/BalanceSpec.hs b/lib/coin-selection/test/spec/Cardano/CoinSelection/BalanceSpec.hs index 0983ed64af6..c98e9878c15 100644 --- a/lib/coin-selection/test/spec/Cardano/CoinSelection/BalanceSpec.hs +++ b/lib/coin-selection/test/spec/Cardano/CoinSelection/BalanceSpec.hs @@ -3846,7 +3846,7 @@ prop_splitBundlesWithExcessiveAssetCounts_sum prop_splitBundlesWithExcessiveTokenQuantities_length :: NonEmpty TokenBundle -> TokenQuantity -> Property prop_splitBundlesWithExcessiveTokenQuantities_length input maxQuantityAllowed = - maxQuantityAllowed > TokenQuantity.zero ==> checkCoverage $ property $ + maxQuantityAllowed > mempty ==> checkCoverage $ property $ cover 5 (lengthOutput > lengthInput) "length has increased" $ cover 5 (lengthOutput == lengthInput) @@ -3875,7 +3875,7 @@ prop_splitBundlesWithExcessiveTokenQuantities_length input maxQuantityAllowed = prop_splitBundlesWithExcessiveTokenQuantities_sum :: NonEmpty TokenBundle -> TokenQuantity -> Property prop_splitBundlesWithExcessiveTokenQuantities_sum ms maxQuantity = - maxQuantity > TokenQuantity.zero ==> + maxQuantity > mempty ==> F.fold (splitBundlesWithExcessiveTokenQuantities ms maxQuantity) === F.fold ms @@ -4162,7 +4162,7 @@ prop_reduceTokenQuantities_order reduceQty qtyDiffs = inAscendingOrder xs = NE.sort xs == xs -- A list of quantities already in ascending order. - qtys = NE.scanl (<>) TokenQuantity.zero qtyDiffs + qtys = NE.scanl (<>) mempty qtyDiffs -------------------------------------------------------------------------------- -- Utility functions