Remove headOutputValue

input-output-hk · Feb 7, 2023 · 05803bd · 05803bd
1 parent d8f4fe0
commit 05803bd
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 9 deletions.
diff --git a/hydra-plutus/src/Hydra/Contract/Head.hs b/hydra-plutus/src/Hydra/Contract/Head.hs
@@ -21,7 +21,7 @@ import PlutusTx.Prelude
 import Hydra.Contract.Commit (Commit (..))
 import qualified Hydra.Contract.Commit as Commit
 import Hydra.Contract.HeadState (Input (..), Signature, SnapshotNumber, State (..))
-import Hydra.Contract.Util (hasST, headOutputValue, mustNotMintOrBurn, mustPreserveValue)
+import Hydra.Contract.Util (hasST, mustNotMintOrBurn, mustPreserveValue)
 import Hydra.Data.ContestationPeriod (ContestationPeriod, addContestationPeriod, milliseconds)
 import Hydra.Data.Party (Party (vkey))
 import Plutus.Extras (ValidatorType, scriptValidatorHash, wrapValidator)
@@ -280,7 +280,7 @@ checkClose ctx parties initialUtxoHash sig cperiod headPolicyId =
     && mustNotChangeParameters
     && mustPreserveValue outValue headOutValue
  where
-  headOutValue = headOutputValue $ txInfoOutputs txInfo
+  headOutValue = txOutValue . head $ txInfoOutputs txInfo
   hasBoundedValidity =
     traceIfFalse "hasBoundedValidity check failed" $
       tMax - tMin <= cp
@@ -377,7 +377,7 @@ checkContest ctx contestationDeadline parties closedSnapshotNumber sig contester
     && mustNotChangeParameters
     && mustPreserveValue outValue headOutValue
  where
-  headOutValue = headOutputValue $ txInfoOutputs txInfo
+  headOutValue = txOutValue . head $ txInfoOutputs txInfo
   outValue =
     maybe mempty (txOutValue . txInInfoResolved) $ findOwnInput ctx
 

diff --git a/hydra-plutus/src/Hydra/Contract/Util.hs b/hydra-plutus/src/Hydra/Contract/Util.hs
@@ -8,7 +8,6 @@ import Plutus.V2.Ledger.Api (
   CurrencySymbol,
   TokenName (..),
   TxInfo (TxInfo, txInfoMint),
-  TxOut (txOutValue),
   Value (getValue),
  )
 import qualified PlutusTx.AssocMap as Map
@@ -53,8 +52,3 @@ mustPreserveValue outValue headOutValue =
   traceIfFalse "head value is not preserved" $
     outValue == headOutValue
 {-# INLINEABLE mustPreserveValue #-}
-
-headOutputValue :: [TxOut] -> Value
-headOutputValue (headOutput : _outputs) = txOutValue headOutput
-headOutputValue _ = traceError "does not have at least head output"
-{-# INLINEABLE headOutputValue #-}