Add Mainnet to KnownNetwork in hydra-cluster

hydra-cluster/src/CardanoNode.hs

@@ -21,7 +21,7 @@ import Data.Time.Clock.POSIX (posixSecondsToUTCTime, utcTimeToPOSIXSeconds)
 import Hydra.Cardano.Api (AsType (AsPaymentKey), NetworkId, PaymentKey, SigningKey, VerificationKey, generateSigningKey, getProgress, getVerificationKey)
 import qualified Hydra.Cardano.Api as Api
 import Hydra.Cluster.Fixture (
-  KnownNetwork (Preproduction, Preview),
+  KnownNetwork (Mainnet, Preproduction, Preview),
   defaultNetworkId,
  )
 import Hydra.Cluster.Util (readConfigFile)
@@ -201,14 +201,14 @@ withCardanoNodeOnKnownNetwork tracer workDir knownNetwork action = do
       , nodeAlonzoGenesisFile = "genesis/alonzo.json"
       }
 
-  -- Read 'NetworkId' from shelley genesis, failing if on mainnet or not able to
-  -- find the network magic.
+  -- Read 'NetworkId' from shelley genesis
   readNetworkId = do
     shelleyGenesis :: Aeson.Value <- unsafeDecodeJson =<< readConfigFile (knownNetworkPath </> "genesis" </> "shelley.json")
-    when (shelleyGenesis ^?! key "networkId" == "Mainnet") $
-      fail "Mainnet not supported yet"
-    let magic = shelleyGenesis ^?! key "networkMagic" . _Number
-    pure $ Api.Testnet (Api.NetworkMagic $ truncate magic)
+    if shelleyGenesis ^?! key "networkId" == "Mainnet"
+      then pure $ Api.Mainnet
+      else do
+        let magic = shelleyGenesis ^?! key "networkMagic" . _Number
+        pure $ Api.Testnet (Api.NetworkMagic $ truncate magic)
 
   copyKnownNetworkFiles =
     forM_
@@ -227,6 +227,7 @@ withCardanoNodeOnKnownNetwork tracer workDir knownNetwork action = do
   knownNetworkName = case knownNetwork of
     Preview -> "preview"
     Preproduction -> "preprod"
+    Mainnet -> "mainnet"
 
   knownNetworkPath =
     "cardano-configurations" </> "network" </> knownNetworkName

hydra-cluster/src/Hydra/Cluster/Fixture.hs

@@ -62,4 +62,5 @@ actorName = \case
 data KnownNetwork
   = Preview
   | Preproduction
+  | Mainnet
   deriving (Show)

hydra-cluster/src/Hydra/Cluster/Options.hs

@@ -28,6 +28,7 @@ parseOptions =
   parseKnownNetwork =
     flag' (Just Preview) (long "preview" <> help "The preview testnet")
       <|> flag' (Just Preproduction) (long "preprod" <> help "The pre-production testnet")
+      <|> flag' (Just Mainnet) (long "mainnet" <> help "The mainnet")
       <|> flag'
         Nothing
         ( long "devnet"

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

@@ -1,8 +1,9 @@
-{-# LANGUAGE TypeApplications #-}
 {-# OPTIONS_GHC -fno-specialize #-}
 
 module Hydra.Contract.Util where
 
+import Hydra.Contract.Error (ToErrorCode (..))
+import Hydra.Prelude (Show)
 import Plutus.V1.Ledger.Value (isZero)
 import Plutus.V2.Ledger.Api (
   CurrencySymbol,
@@ -22,7 +23,7 @@ hydraHeadV1 = "HydraHeadV1"
 -- 'CurrencySymbol' and 'TokenName' of 'hydraHeadV1'
 hasST :: CurrencySymbol -> Value -> Bool
 hasST headPolicyId v =
-  maybe False id $ do
+  fromMaybe False $ do
     tokenMap <- Map.lookup headPolicyId $ getValue v
     quantity <- Map.lookup (TokenName hydraHeadV1) tokenMap
     pure $ quantity == 1
@@ -42,7 +43,7 @@ mustBurnST val headCurrencySymbol =
 
 mustNotMintOrBurn :: TxInfo -> Bool
 mustNotMintOrBurn TxInfo{txInfoMint} =
-  traceIfFalse "minting or burning is forbidden" $
+  traceIfFalse "U01" $
     isZero txInfoMint
 {-# INLINEABLE mustNotMintOrBurn #-}
 
@@ -56,3 +57,13 @@ infix 4 ===
 (===) val val' =
   serialiseData (toBuiltinData val) == serialiseData (toBuiltinData val')
 {-# INLINEABLE (===) #-}
+
+-- * Errors
+
+data UtilError
+  = MintingOrBurningIsForbidden
+  deriving (Show)
+
+instance ToErrorCode UtilError where
+  toErrorCode = \case
+    MintingOrBurningIsForbidden -> "U01"