Generate code for GH-554

IntersectMBO · Aug 28, 2024 · fd95257 · fd95257
1 parent 5d6cf16
commit fd95257
Show file tree

Hide file tree

Showing 43 changed files with 57,642 additions and 57,538 deletions.
diff --git a/generated/MAlonzo/Code/Ledger/Abstract.hs b/generated/MAlonzo/Code/Ledger/Abstract.hs
@@ -27,167 +27,167 @@ import qualified MAlonzo.Code.Ledger.Transaction
 import qualified MAlonzo.Code.Ledger.Types.GovStructure
 
 -- Ledger.Abstract._.CostModel
-d_CostModel_62 ::
+d_CostModel_66 ::
   MAlonzo.Code.Ledger.Transaction.T_TransactionStructure_20 -> ()
-d_CostModel_62 = erased
+d_CostModel_66 = erased
 -- Ledger.Abstract._.DCert
-d_DCert_68 a0 = ()
+d_DCert_72 a0 = ()
 -- Ledger.Abstract._.T
-d_T_82 ::
+d_T_86 ::
   MAlonzo.Code.Ledger.Transaction.T_TransactionStructure_20 -> ()
-d_T_82 = erased
+d_T_86 = erased
 -- Ledger.Abstract._.ExUnits
-d_ExUnits_192 ::
+d_ExUnits_196 ::
   MAlonzo.Code.Ledger.Transaction.T_TransactionStructure_20 -> ()
-d_ExUnits_192 = erased
+d_ExUnits_196 = erased
 -- Ledger.Abstract._.GovProposal
-d_GovProposal_216 a0 = ()
+d_GovProposal_220 a0 = ()
 -- Ledger.Abstract._.MemoryEstimate
-d_MemoryEstimate_258 ::
+d_MemoryEstimate_262 ::
   MAlonzo.Code.Ledger.Transaction.T_TransactionStructure_20 -> ()
-d_MemoryEstimate_258 = erased
+d_MemoryEstimate_262 = erased
 -- Ledger.Abstract._.PlutusScript
-d_PlutusScript_282 ::
+d_PlutusScript_286 ::
   MAlonzo.Code.Ledger.Transaction.T_TransactionStructure_20 -> ()
-d_PlutusScript_282 = erased
+d_PlutusScript_286 = erased
 -- Ledger.Abstract._.Prices
-d_Prices_316 ::
+d_Prices_320 ::
   MAlonzo.Code.Ledger.Transaction.T_TransactionStructure_20 -> ()
-d_Prices_316 = erased
+d_Prices_320 = erased
 -- Ledger.Abstract._.RwdAddr
-d_RwdAddr_340 a0 = ()
+d_RwdAddr_344 a0 = ()
 -- Ledger.Abstract._.Script
-d_Script_348 ::
+d_Script_352 ::
   MAlonzo.Code.Ledger.Transaction.T_TransactionStructure_20 -> ()
-d_Script_348 = erased
+d_Script_352 = erased
 -- Ledger.Abstract._.ScriptHash
-d_ScriptHash_356 ::
+d_ScriptHash_360 ::
   MAlonzo.Code.Ledger.Transaction.T_TransactionStructure_20 -> ()
-d_ScriptHash_356 = erased
+d_ScriptHash_360 = erased
 -- Ledger.Abstract._.TxIn
-d_TxIn_440 ::
+d_TxIn_444 ::
   MAlonzo.Code.Ledger.Transaction.T_TransactionStructure_20 -> ()
-d_TxIn_440 = erased
+d_TxIn_444 = erased
 -- Ledger.Abstract._.Value
-d_Value_466 ::
+d_Value_470 ::
   MAlonzo.Code.Ledger.Transaction.T_TransactionStructure_20 -> ()
-d_Value_466 = erased
+d_Value_470 = erased
 -- Ledger.Abstract._.Voter
-d_Voter_472 ::
+d_Voter_476 ::
   MAlonzo.Code.Ledger.Transaction.T_TransactionStructure_20 -> ()
-d_Voter_472 = erased
+d_Voter_476 = erased
 -- Ledger.Abstract._.Wdrl
-d_Wdrl_474 ::
+d_Wdrl_478 ::
   MAlonzo.Code.Ledger.Transaction.T_TransactionStructure_20 -> ()
-d_Wdrl_474 = erased
+d_Wdrl_478 = erased
 -- Ledger.Abstract.indexOf
-d_indexOf_1618 a0 = ()
-data T_indexOf_1618
-  = C_indexOf'46'constructor_2271 (MAlonzo.Code.Ledger.Certs.T_DCert_828 ->
-                                   [MAlonzo.Code.Ledger.Certs.T_DCert_828] -> Maybe AgdaAny)
+d_indexOf_1624 a0 = ()
+data T_indexOf_1624
+  = C_indexOf'46'constructor_2285 (MAlonzo.Code.Ledger.Certs.T_DCert_834 ->
+                                   [MAlonzo.Code.Ledger.Certs.T_DCert_834] -> Maybe AgdaAny)
                                   (MAlonzo.Code.Ledger.Address.T_RwdAddr_76 ->
                                    MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 -> Maybe AgdaAny)
                                   (MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 ->
                                    [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] -> Maybe AgdaAny)
                                   (AgdaAny -> [AgdaAny] -> Maybe AgdaAny)
                                   (MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 ->
                                    [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] -> Maybe AgdaAny)
-                                  (MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_748 ->
-                                   [MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_748] ->
+                                  (MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_754 ->
+                                   [MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_754] ->
                                    Maybe AgdaAny)
 -- Ledger.Abstract.indexOf.indexOfDCert
-d_indexOfDCert_1632 ::
-  T_indexOf_1618 ->
-  MAlonzo.Code.Ledger.Certs.T_DCert_828 ->
-  [MAlonzo.Code.Ledger.Certs.T_DCert_828] -> Maybe AgdaAny
-d_indexOfDCert_1632 v0
+d_indexOfDCert_1638 ::
+  T_indexOf_1624 ->
+  MAlonzo.Code.Ledger.Certs.T_DCert_834 ->
+  [MAlonzo.Code.Ledger.Certs.T_DCert_834] -> Maybe AgdaAny
+d_indexOfDCert_1638 v0
   = case coe v0 of
-      C_indexOf'46'constructor_2271 v1 v2 v3 v4 v5 v6 -> coe v1
+      C_indexOf'46'constructor_2285 v1 v2 v3 v4 v5 v6 -> coe v1
       _ -> MAlonzo.RTE.mazUnreachableError
 -- Ledger.Abstract.indexOf.indexOfRwdAddr
-d_indexOfRwdAddr_1634 ::
-  T_indexOf_1618 ->
+d_indexOfRwdAddr_1640 ::
+  T_indexOf_1624 ->
   MAlonzo.Code.Ledger.Address.T_RwdAddr_76 ->
   MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 -> Maybe AgdaAny
-d_indexOfRwdAddr_1634 v0
+d_indexOfRwdAddr_1640 v0
   = case coe v0 of
-      C_indexOf'46'constructor_2271 v1 v2 v3 v4 v5 v6 -> coe v2
+      C_indexOf'46'constructor_2285 v1 v2 v3 v4 v5 v6 -> coe v2
       _ -> MAlonzo.RTE.mazUnreachableError
 -- Ledger.Abstract.indexOf.indexOfTxIn
-d_indexOfTxIn_1636 ::
-  T_indexOf_1618 ->
+d_indexOfTxIn_1642 ::
+  T_indexOf_1624 ->
   MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 ->
   [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] -> Maybe AgdaAny
-d_indexOfTxIn_1636 v0
+d_indexOfTxIn_1642 v0
   = case coe v0 of
-      C_indexOf'46'constructor_2271 v1 v2 v3 v4 v5 v6 -> coe v3
+      C_indexOf'46'constructor_2285 v1 v2 v3 v4 v5 v6 -> coe v3
       _ -> MAlonzo.RTE.mazUnreachableError
 -- Ledger.Abstract.indexOf.indexOfPolicyId
-d_indexOfPolicyId_1638 ::
-  T_indexOf_1618 -> AgdaAny -> [AgdaAny] -> Maybe AgdaAny
-d_indexOfPolicyId_1638 v0
+d_indexOfPolicyId_1644 ::
+  T_indexOf_1624 -> AgdaAny -> [AgdaAny] -> Maybe AgdaAny
+d_indexOfPolicyId_1644 v0
   = case coe v0 of
-      C_indexOf'46'constructor_2271 v1 v2 v3 v4 v5 v6 -> coe v4
+      C_indexOf'46'constructor_2285 v1 v2 v3 v4 v5 v6 -> coe v4
       _ -> MAlonzo.RTE.mazUnreachableError
 -- Ledger.Abstract.indexOf.indexOfVote
-d_indexOfVote_1640 ::
-  T_indexOf_1618 ->
+d_indexOfVote_1646 ::
+  T_indexOf_1624 ->
   MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 ->
   [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] -> Maybe AgdaAny
-d_indexOfVote_1640 v0
+d_indexOfVote_1646 v0
   = case coe v0 of
-      C_indexOf'46'constructor_2271 v1 v2 v3 v4 v5 v6 -> coe v5
+      C_indexOf'46'constructor_2285 v1 v2 v3 v4 v5 v6 -> coe v5
       _ -> MAlonzo.RTE.mazUnreachableError
 -- Ledger.Abstract.indexOf.indexOfProposal
-d_indexOfProposal_1642 ::
-  T_indexOf_1618 ->
-  MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_748 ->
-  [MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_748] ->
+d_indexOfProposal_1648 ::
+  T_indexOf_1624 ->
+  MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_754 ->
+  [MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_754] ->
   Maybe AgdaAny
-d_indexOfProposal_1642 v0
+d_indexOfProposal_1648 v0
   = case coe v0 of
-      C_indexOf'46'constructor_2271 v1 v2 v3 v4 v5 v6 -> coe v6
+      C_indexOf'46'constructor_2285 v1 v2 v3 v4 v5 v6 -> coe v6
       _ -> MAlonzo.RTE.mazUnreachableError
 -- Ledger.Abstract.AbstractFunctions
-d_AbstractFunctions_1644 a0 = ()
-data T_AbstractFunctions_1644
-  = C_AbstractFunctions'46'constructor_2533 (AgdaAny ->
+d_AbstractFunctions_1650 a0 = ()
+data T_AbstractFunctions_1650
+  = C_AbstractFunctions'46'constructor_2547 (AgdaAny ->
                                              AgdaAny -> Integer)
-                                            (AgdaAny -> Integer) T_indexOf_1618
+                                            (AgdaAny -> Integer) T_indexOf_1624
                                             (AgdaAny -> AgdaAny -> AgdaAny -> [AgdaAny] -> Bool)
                                             (MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> Integer)
 -- Ledger.Abstract.AbstractFunctions.txscriptfee
-d_txscriptfee_1656 ::
-  T_AbstractFunctions_1644 -> AgdaAny -> AgdaAny -> Integer
-d_txscriptfee_1656 v0
+d_txscriptfee_1662 ::
+  T_AbstractFunctions_1650 -> AgdaAny -> AgdaAny -> Integer
+d_txscriptfee_1662 v0
   = case coe v0 of
-      C_AbstractFunctions'46'constructor_2533 v1 v2 v3 v4 v5 -> coe v1
+      C_AbstractFunctions'46'constructor_2547 v1 v2 v3 v4 v5 -> coe v1
       _ -> MAlonzo.RTE.mazUnreachableError
 -- Ledger.Abstract.AbstractFunctions.serSize
-d_serSize_1658 :: T_AbstractFunctions_1644 -> AgdaAny -> Integer
-d_serSize_1658 v0
+d_serSize_1664 :: T_AbstractFunctions_1650 -> AgdaAny -> Integer
+d_serSize_1664 v0
   = case coe v0 of
-      C_AbstractFunctions'46'constructor_2533 v1 v2 v3 v4 v5 -> coe v2
+      C_AbstractFunctions'46'constructor_2547 v1 v2 v3 v4 v5 -> coe v2
       _ -> MAlonzo.RTE.mazUnreachableError
 -- Ledger.Abstract.AbstractFunctions.indexOfImp
-d_indexOfImp_1660 :: T_AbstractFunctions_1644 -> T_indexOf_1618
-d_indexOfImp_1660 v0
+d_indexOfImp_1666 :: T_AbstractFunctions_1650 -> T_indexOf_1624
+d_indexOfImp_1666 v0
   = case coe v0 of
-      C_AbstractFunctions'46'constructor_2533 v1 v2 v3 v4 v5 -> coe v3
+      C_AbstractFunctions'46'constructor_2547 v1 v2 v3 v4 v5 -> coe v3
       _ -> MAlonzo.RTE.mazUnreachableError
 -- Ledger.Abstract.AbstractFunctions.runPLCScript
-d_runPLCScript_1662 ::
-  T_AbstractFunctions_1644 ->
+d_runPLCScript_1668 ::
+  T_AbstractFunctions_1650 ->
   AgdaAny -> AgdaAny -> AgdaAny -> [AgdaAny] -> Bool
-d_runPLCScript_1662 v0
+d_runPLCScript_1668 v0
   = case coe v0 of
-      C_AbstractFunctions'46'constructor_2533 v1 v2 v3 v4 v5 -> coe v4
+      C_AbstractFunctions'46'constructor_2547 v1 v2 v3 v4 v5 -> coe v4
       _ -> MAlonzo.RTE.mazUnreachableError
 -- Ledger.Abstract.AbstractFunctions.scriptSize
-d_scriptSize_1664 ::
-  T_AbstractFunctions_1644 ->
+d_scriptSize_1670 ::
+  T_AbstractFunctions_1650 ->
   MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> Integer
-d_scriptSize_1664 v0
+d_scriptSize_1670 v0
   = case coe v0 of
-      C_AbstractFunctions'46'constructor_2533 v1 v2 v3 v4 v5 -> coe v5
+      C_AbstractFunctions'46'constructor_2547 v1 v2 v3 v4 v5 -> coe v5
       _ -> MAlonzo.RTE.mazUnreachableError