Introduce a MockInitial script

hydra-plutus/hydra-plutus.cabal

@@ -75,6 +75,7 @@ library
     Hydra.Contract.Head
     Hydra.Contract.Initial
     Hydra.Contract.MockCommit
+    Hydra.Contract.MockInitial
     Hydra.Data.ContestationPeriod
     Hydra.Data.HeadParameters
     Hydra.Data.Party

hydra-plutus/src/Hydra/Contract/MockCommit.hs

@@ -23,7 +23,7 @@ instance Scripts.ValidatorTypes Commit where
   type DatumType Commit = (Party, Utxo)
   type RedeemerType Commit = ()
 
-validator :: (Party, Utxo) -> () -> ScriptContext -> Bool
+validator :: DatumType Commit -> RedeemerType Commit -> ScriptContext -> Bool
 validator _datum _redeemer _ctx = True
 
 compiledValidator :: CompiledCode (ValidatorType Commit)

hydra-plutus/src/Hydra/Contract/MockInitial.hs

@@ -0,0 +1,54 @@
+{-# LANGUAGE TemplateHaskell #-}
+{-# LANGUAGE TypeApplications #-}
+{-# OPTIONS_GHC -fno-specialize #-}
+
+-- | A mock script to focus on the off-chain datum types without having to worry
+-- about on-chain validation.
+module Hydra.Contract.MockInitial where
+
+import Ledger hiding (validatorHash)
+import PlutusTx.Prelude
+
+import Ledger.Typed.Scripts (TypedValidator, ValidatorType, ValidatorTypes (..))
+import qualified Ledger.Typed.Scripts as Scripts
+import PlutusTx (CompiledCode)
+import qualified PlutusTx
+import PlutusTx.IsData.Class (ToData (..))
+
+data Initial
+
+instance Scripts.ValidatorTypes Initial where
+  type DatumType Initial = PubKeyHash
+  type RedeemerType Initial = ()
+
+validator :: DatumType Initial -> RedeemerType Initial -> ScriptContext -> Bool
+validator _datum _redeemer _ctx = True
+
+compiledValidator :: CompiledCode (ValidatorType Initial)
+compiledValidator = $$(PlutusTx.compile [||validator||])
+
+{- ORMOLU_DISABLE -}
+typedValidator :: TypedValidator Initial
+typedValidator = Scripts.mkTypedValidator @Initial
+  compiledValidator
+  $$(PlutusTx.compile [|| wrap ||])
+ where
+  wrap = Scripts.wrapValidator @(DatumType Initial) @(RedeemerType Initial)
+{- ORMOLU_ENABLE -}
+
+-- | Get the actual plutus script. Mainly used to serialize and use in
+-- transactions.
+validatorScript :: Script
+validatorScript = unValidatorScript $ Scripts.validatorScript typedValidator
+
+validatorHash :: ValidatorHash
+validatorHash = Scripts.validatorHash typedValidator
+
+datum :: DatumType Initial -> Datum
+datum a = Datum (toBuiltinData a)
+
+redeemer :: RedeemerType Initial -> Redeemer
+redeemer a = Redeemer (toBuiltinData a)
+
+address :: Address
+address = scriptHashAddress validatorHash