Add and use compactTxOut{Address,Value} projections

For when we want just one component of the CompactTxOut without
uncompacting the other (e.g. computing the utxo balance).

cardano-ledger/src/Cardano/Chain/UTxO/Compact.hs

@@ -28,6 +28,8 @@ module Cardano.Chain.UTxO.Compact
   , CompactTxOut(..)
   , toCompactTxOut
   , fromCompactTxOut
+  , compactTxOutAddress
+  , compactTxOutValue
   )
 where
 
@@ -41,6 +43,7 @@ import qualified Data.ByteArray as BA (convert)
 import qualified Data.ByteString.Lazy as BSL (fromStrict, toStrict)
 
 import Cardano.Binary (FromCBOR(..), ToCBOR(..), encodeListLen, enforceSize)
+import Cardano.Chain.Common (Address)
 import Cardano.Chain.Common.Compact
   (CompactAddress, fromCompactAddress, toCompactAddress)
 import Cardano.Chain.Common.Lovelace
@@ -259,3 +262,10 @@ toCompactLovelace = CompactLovelace . fromIntegral . lovelaceToNatural
 
 fromCompactLovelace :: CompactLovelace -> Lovelace
 fromCompactLovelace (CompactLovelace n) = naturalToLovelace (fromIntegral n)
+
+compactTxOutAddress :: CompactTxOut -> Address
+compactTxOutAddress (CompactTxOut addr _) = fromCompactAddress addr
+
+compactTxOutValue :: CompactTxOut -> Lovelace
+compactTxOutValue (CompactTxOut _ lovelace) = fromCompactLovelace lovelace
+

cardano-ledger/src/Cardano/Chain/UTxO/UTxO.hs

@@ -55,6 +55,7 @@ import Cardano.Chain.UTxO.Compact
   , fromCompactTxOut
   , toCompactTxIn
   , toCompactTxOut
+  , compactTxOutValue
   )
 import Cardano.Crypto (hash)
 
@@ -137,9 +138,6 @@ concat = foldM union empty
 
 balance :: UTxO -> Lovelace
 balance = foldMap compactTxOutValue . unUTxO
- where
-  compactTxOutValue :: CompactTxOut -> Lovelace
-  compactTxOutValue = txOutValue . fromCompactTxOut
 
 (<|) :: Set TxIn -> UTxO -> UTxO
 (<|) inputs = UTxO . flip M.restrictKeys compactInputs . unUTxO