Simplify by using head

cardano-scaling · Feb 6, 2023 · c1fa047 · c1fa047
1 parent 23a326b
commit c1fa047
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 5 deletions.
diff --git a/hydra-plutus/src/Hydra/Contract/Commit.hs b/hydra-plutus/src/Hydra/Contract/Commit.hs
@@ -101,9 +101,7 @@ validator (_party, _headScriptHash, _commit, headId) r ctx =
       traceIfFalse "ST is missing in the output" (hasST headId headOutputValue)
  where
   headOutputValue =
-    case txInfoOutputs (scriptContextTxInfo ctx) of
-      [] -> mempty
-      (headOutput : _otherOutputs) -> txOutValue headOutput
+    txOutValue . head $ txInfoOutputs (scriptContextTxInfo ctx)
 
 compiledValidator :: CompiledCode ValidatorType
 compiledValidator =

diff --git a/hydra-plutus/src/Hydra/Contract/Head.hs b/hydra-plutus/src/Hydra/Contract/Head.hs
@@ -480,8 +480,9 @@ findParticipationTokens headCurrency (Value val) =
 
 headOutputDatum :: ScriptContext -> Datum
 headOutputDatum ScriptContext{scriptContextTxInfo} =
-  let headOutput = head (txInfoOutputs scriptContextTxInfo)
-   in findTxOutDatum scriptContextTxInfo headOutput
+  findTxOutDatum scriptContextTxInfo (head $ txInfoOutputs txInfo)
+ where
+  ScriptContext{scriptContextTxInfo = txInfo} = ctx
 {-# INLINEABLE headOutputDatum #-}
 
 findTxOutDatum :: TxInfo -> TxOut -> Datum