Add insertCoin and unionValue costing skeleton

Author: ana-pantilie

plutus-core/cost-model/create-cost-model/BuiltinMemoryModels.hs

@@ -181,5 +181,7 @@ builtinMemoryModels = BuiltinCostModelBase
   , paramValueContains                   = Id $ ModelTwoArgumentsConstantCost 1
   , paramValueData                       = Id $ ModelOneArgumentConstantCost 1
   , paramUnValueData                     = Id $ ModelOneArgumentConstantCost 1
+  , paramInsertCoin                      = Id $ ModelFourArgumentsConstantCost 1
+  , paramUnionValue                      = Id $ ModelTwoArgumentsConstantCost 1
   }
   where identityFunction = OneVariableLinearFunction 0 1

plutus-core/cost-model/create-cost-model/CreateBuiltinCostModel.hs

@@ -136,6 +136,8 @@ builtinCostModelNames = BuiltinCostModelBase
   , paramValueContains                   = "valueContainsModel"
   , paramValueData                       = "valueDataModel"
   , paramUnValueData                     = "unValueDataModel"
+  , paramInsertCoin                      = "insertCoinModel"
+  , paramUnionValue                      = "unionValueModel"
   }
 
 
@@ -289,6 +291,9 @@ createBuiltinCostModel bmfile rfile = do
   paramValueContains                   <- getParams readCF2 paramValueContains
   paramValueData                       <- getParams readCF1 paramValueData
   paramUnValueData                     <- getParams readCF1 paramUnValueData
+  -- Values
+  paramInsertCoin                      <- getParams readCF4 paramInsertCoin
+  paramUnionValue                      <- getParams readCF2 paramUnionValue
 
   pure $ BuiltinCostModelBase {..}
 
@@ -452,6 +457,13 @@ readCF3 e = do
     "exp_mod_cost"                -> ModelThreeArgumentsExpModCost            <$> readExpModCostingFunction "y_mem" "z_mem" e
     _                             -> error $ "Unknown three-variable model type: " ++ ty
 
+readCF4 :: MonadR m => SomeSEXP (Region m) -> m ModelFourArguments
+readCF4 e = do
+  ty <- getType e
+  case ty of
+    "constant_cost" -> ModelFourArgumentsConstantCost <$> getConstant e
+    _               -> error $ "Unknown four-variable model type: " ++ ty
+
 readCF6 :: MonadR m => SomeSEXP (Region m) -> m ModelSixArguments
 readCF6 e = do
   ty <- getType e