Within UTxOSelection rename availableUTxO to availableMap.

This fixes a slight inconsistency in the API, making `availableMap`
consistent with `leftoverMap` and `selectedMap`.

lib/core/src/Cardano/Wallet.hs

@@ -1952,7 +1952,7 @@ selectAssets ctx pp params transform = do
     guardPendingWithdrawal
     lift $ traceWith tr $ MsgSelectionStart
         (inputMapToUTxO
-            $ UTxOSelection.availableUTxO
+            $ UTxOSelection.availableMap
             $ params ^. #utxoAvailableForInputs)
         (params ^. #outputs)
     let selectionConstraints = SelectionConstraints

lib/core/src/Cardano/Wallet/Primitive/Types/UTxOSelection.hs

@@ -65,7 +65,7 @@ module Cardano.Wallet.Primitive.Types.UTxOSelection
 
       -- * Accessor functions
     , availableBalance
-    , availableUTxO
+    , availableMap
     , leftoverBalance
     , leftoverSize
     , leftoverIndex
@@ -325,7 +325,7 @@ isProperSubSelectionOf s1 s2 = state s1 /= state s2 && s1 `isSubSelectionOf` s2
 availableBalance :: IsUTxOSelection s u => s u -> TokenBundle
 availableBalance s = leftoverBalance s <> selectedBalance s
 
--- | Computes the available UTxO set.
+-- | Computes the complete map of all available UTxOs.
 --
 -- The available UTxO set is the union of the selected and leftover UTxO sets.
 --
@@ -334,10 +334,10 @@ availableBalance s = leftoverBalance s <> selectedBalance s
 -- This result of this function remains constant over applications of 'select'
 -- and 'selectMany':
 --
--- >>> availableUTxO s == availableUTxO (selectMany is s)
+-- >>> availableMap s == availableMap (selectMany is s)
 --
-availableUTxO :: IsUTxOSelection s u => Ord u => s u -> Map u TokenBundle
-availableUTxO s = leftoverMap s <> selectedMap s
+availableMap :: IsUTxOSelection s u => Ord u => s u -> Map u TokenBundle
+availableMap s = leftoverMap s <> selectedMap s
 
 -- | Retrieves the balance of leftover UTxOs.
 --

lib/core/test/unit/Cardano/Wallet/Primitive/Types/UTxOSelectionSpec.hs

@@ -101,8 +101,8 @@ spec =
 
     parallel $ describe "Indicator and accessor functions" $ do
 
-        it "prop_availableBalance_availableUTxO" $
-            property prop_availableBalance_availableUTxO
+        it "prop_availableBalance_availableMap" $
+            property prop_availableBalance_availableMap
         it "prop_isNonEmpty_selectedSize" $
             property prop_isNonEmpty_selectedSize
         it "prop_isNonEmpty_selectedIndex" $
@@ -128,8 +128,8 @@ spec =
             property prop_select_isProperSubSelectionOf
         it "prop_select_availableBalance" $
             property prop_select_availableBalance
-        it "prop_select_availableUTxO" $
-            property prop_select_availableUTxO
+        it "prop_select_availableMap" $
+            property prop_select_availableMap
         it "prop_select_leftoverSize" $
             property prop_select_leftoverSize
         it "prop_select_selectedSize" $
@@ -249,11 +249,11 @@ prop_toNonEmpty_fromNonEmpty s =
 -- Indicator and accessor functions
 --------------------------------------------------------------------------------
 
-prop_availableBalance_availableUTxO :: UTxOSelection InputId -> Property
-prop_availableBalance_availableUTxO s =
+prop_availableBalance_availableMap :: UTxOSelection InputId -> Property
+prop_availableBalance_availableMap s =
     checkCoverage_UTxOSelection s $
     UTxOSelection.availableBalance s
-    === F.fold (UTxOSelection.availableUTxO s)
+    === F.fold (UTxOSelection.availableMap s)
 
 prop_isNonEmpty_selectedSize :: UTxOSelection InputId -> Property
 prop_isNonEmpty_selectedSize s =
@@ -335,13 +335,13 @@ prop_select_availableBalance i s =
     then Just (UTxOSelection.availableBalance s)
     else Nothing
 
-prop_select_availableUTxO :: InputId -> UTxOSelection InputId -> Property
-prop_select_availableUTxO i s =
+prop_select_availableMap :: InputId -> UTxOSelection InputId -> Property
+prop_select_availableMap i s =
     checkCoverage_select i s $
-    (UTxOSelection.availableUTxO <$> UTxOSelection.select i s)
+    (UTxOSelection.availableMap <$> UTxOSelection.select i s)
     ===
     if UTxOSelection.isLeftover i s
-    then Just (UTxOSelection.availableUTxO s)
+    then Just (UTxOSelection.availableMap s)
     else Nothing
 
 prop_select_leftoverSize :: InputId -> UTxOSelection InputId -> Property