Generate code for GH-649

IntersectMBO · Jan 31, 2025 · a1acdef · a1acdef
1 parent 9ea3e21
commit a1acdef
Show file tree

Hide file tree

Showing 32 changed files with 11,038 additions and 10,189 deletions.
diff --git a/generated/MAlonzo/Code/Ledger/Abstract.hs b/generated/MAlonzo/Code/Ledger/Abstract.hs
@@ -77,58 +77,58 @@ d_Wdrl_390 ::
   MAlonzo.Code.Ledger.Transaction.T_TransactionStructure_20 -> ()
 d_Wdrl_390 = erased
 -- Ledger.Abstract._.GovProposal.action
-d_action_690 ::
+d_action_692 ::
   MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_754 ->
   MAlonzo.Code.Ledger.GovernanceActions.T_GovAction_692
-d_action_690 v0
+d_action_692 v0
   = coe MAlonzo.Code.Ledger.GovernanceActions.d_action_768 (coe v0)
 -- Ledger.Abstract._.GovProposal.anchor
-d_anchor_692 ::
+d_anchor_694 ::
   MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_754 ->
   MAlonzo.Code.Ledger.GovernanceActions.T_Anchor_682
-d_anchor_692 v0
+d_anchor_694 v0
   = coe MAlonzo.Code.Ledger.GovernanceActions.d_anchor_778 (coe v0)
 -- Ledger.Abstract._.GovProposal.deposit
-d_deposit_694 ::
+d_deposit_696 ::
   MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_754 -> Integer
-d_deposit_694 v0
+d_deposit_696 v0
   = coe MAlonzo.Code.Ledger.GovernanceActions.d_deposit_774 (coe v0)
 -- Ledger.Abstract._.GovProposal.policy
-d_policy_696 ::
+d_policy_698 ::
   MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_754 ->
   Maybe AgdaAny
-d_policy_696 v0
+d_policy_698 v0
   = coe MAlonzo.Code.Ledger.GovernanceActions.d_policy_772 (coe v0)
 -- Ledger.Abstract._.GovProposal.prevAction
-d_prevAction_698 ::
+d_prevAction_700 ::
   MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_754 -> AgdaAny
-d_prevAction_698 v0
+d_prevAction_700 v0
   = coe
       MAlonzo.Code.Ledger.GovernanceActions.d_prevAction_770 (coe v0)
 -- Ledger.Abstract._.GovProposal.returnAddr
-d_returnAddr_700 ::
+d_returnAddr_702 ::
   MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_754 ->
   MAlonzo.Code.Ledger.Address.T_RwdAddr_76
-d_returnAddr_700 v0
+d_returnAddr_702 v0
   = coe
       MAlonzo.Code.Ledger.GovernanceActions.d_returnAddr_776 (coe v0)
 -- Ledger.Abstract._.GovernanceActions.GovProposal
-d_GovProposal_742 a0 = ()
+d_GovProposal_744 a0 = ()
 -- Ledger.Abstract._.RwdAddr.net
-d_net_1154 :: MAlonzo.Code.Ledger.Address.T_RwdAddr_76 -> AgdaAny
-d_net_1154 v0 = coe MAlonzo.Code.Ledger.Address.d_net_82 (coe v0)
+d_net_1156 :: MAlonzo.Code.Ledger.Address.T_RwdAddr_76 -> AgdaAny
+d_net_1156 v0 = coe MAlonzo.Code.Ledger.Address.d_net_82 (coe v0)
 -- Ledger.Abstract._.RwdAddr.stake
-d_stake_1156 ::
+d_stake_1158 ::
   MAlonzo.Code.Ledger.Address.T_RwdAddr_76 ->
   MAlonzo.Code.Ledger.Address.T_Credential_16
-d_stake_1156 v0
+d_stake_1158 v0
   = coe MAlonzo.Code.Ledger.Address.d_stake_84 (coe v0)
 -- Ledger.Abstract._.DCert
-d_DCert_1496 a0 = ()
+d_DCert_1498 a0 = ()
 -- Ledger.Abstract.indexOf
-d_indexOf_1688 a0 = ()
-data T_indexOf_1688
-  = C_indexOf'46'constructor_2695 (MAlonzo.Code.Ledger.Certs.T_DCert_834 ->
+d_indexOf_1690 a0 = ()
+data T_indexOf_1690
+  = C_indexOf'46'constructor_2699 (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)
@@ -141,98 +141,98 @@ data T_indexOf_1688
                                    [MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_754] ->
                                    Maybe AgdaAny)
 -- Ledger.Abstract.indexOf.indexOfDCert
-d_indexOfDCert_1702 ::
-  T_indexOf_1688 ->
+d_indexOfDCert_1704 ::
+  T_indexOf_1690 ->
   MAlonzo.Code.Ledger.Certs.T_DCert_834 ->
   [MAlonzo.Code.Ledger.Certs.T_DCert_834] -> Maybe AgdaAny
-d_indexOfDCert_1702 v0
+d_indexOfDCert_1704 v0
   = case coe v0 of
-      C_indexOf'46'constructor_2695 v1 v2 v3 v4 v5 v6 -> coe v1
+      C_indexOf'46'constructor_2699 v1 v2 v3 v4 v5 v6 -> coe v1
       _ -> MAlonzo.RTE.mazUnreachableError
 -- Ledger.Abstract.indexOf.indexOfRwdAddr
-d_indexOfRwdAddr_1704 ::
-  T_indexOf_1688 ->
+d_indexOfRwdAddr_1706 ::
+  T_indexOf_1690 ->
   MAlonzo.Code.Ledger.Address.T_RwdAddr_76 ->
   MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 -> Maybe AgdaAny
-d_indexOfRwdAddr_1704 v0
+d_indexOfRwdAddr_1706 v0
   = case coe v0 of
-      C_indexOf'46'constructor_2695 v1 v2 v3 v4 v5 v6 -> coe v2
+      C_indexOf'46'constructor_2699 v1 v2 v3 v4 v5 v6 -> coe v2
       _ -> MAlonzo.RTE.mazUnreachableError
 -- Ledger.Abstract.indexOf.indexOfTxIn
-d_indexOfTxIn_1706 ::
-  T_indexOf_1688 ->
+d_indexOfTxIn_1708 ::
+  T_indexOf_1690 ->
   MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 ->
   [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] -> Maybe AgdaAny
-d_indexOfTxIn_1706 v0
+d_indexOfTxIn_1708 v0
   = case coe v0 of
-      C_indexOf'46'constructor_2695 v1 v2 v3 v4 v5 v6 -> coe v3
+      C_indexOf'46'constructor_2699 v1 v2 v3 v4 v5 v6 -> coe v3
       _ -> MAlonzo.RTE.mazUnreachableError
 -- Ledger.Abstract.indexOf.indexOfPolicyId
-d_indexOfPolicyId_1708 ::
-  T_indexOf_1688 -> AgdaAny -> [AgdaAny] -> Maybe AgdaAny
-d_indexOfPolicyId_1708 v0
+d_indexOfPolicyId_1710 ::
+  T_indexOf_1690 -> AgdaAny -> [AgdaAny] -> Maybe AgdaAny
+d_indexOfPolicyId_1710 v0
   = case coe v0 of
-      C_indexOf'46'constructor_2695 v1 v2 v3 v4 v5 v6 -> coe v4
+      C_indexOf'46'constructor_2699 v1 v2 v3 v4 v5 v6 -> coe v4
       _ -> MAlonzo.RTE.mazUnreachableError
 -- Ledger.Abstract.indexOf.indexOfVote
-d_indexOfVote_1710 ::
-  T_indexOf_1688 ->
+d_indexOfVote_1712 ::
+  T_indexOf_1690 ->
   MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 ->
   [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] -> Maybe AgdaAny
-d_indexOfVote_1710 v0
+d_indexOfVote_1712 v0
   = case coe v0 of
-      C_indexOf'46'constructor_2695 v1 v2 v3 v4 v5 v6 -> coe v5
+      C_indexOf'46'constructor_2699 v1 v2 v3 v4 v5 v6 -> coe v5
       _ -> MAlonzo.RTE.mazUnreachableError
 -- Ledger.Abstract.indexOf.indexOfProposal
-d_indexOfProposal_1712 ::
-  T_indexOf_1688 ->
+d_indexOfProposal_1714 ::
+  T_indexOf_1690 ->
   MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_754 ->
   [MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_754] ->
   Maybe AgdaAny
-d_indexOfProposal_1712 v0
+d_indexOfProposal_1714 v0
   = case coe v0 of
-      C_indexOf'46'constructor_2695 v1 v2 v3 v4 v5 v6 -> coe v6
+      C_indexOf'46'constructor_2699 v1 v2 v3 v4 v5 v6 -> coe v6
       _ -> MAlonzo.RTE.mazUnreachableError
 -- Ledger.Abstract.AbstractFunctions
-d_AbstractFunctions_1714 a0 = ()
-data T_AbstractFunctions_1714
-  = C_AbstractFunctions'46'constructor_2987 (AgdaAny ->
+d_AbstractFunctions_1716 a0 = ()
+data T_AbstractFunctions_1716
+  = C_AbstractFunctions'46'constructor_2991 (AgdaAny ->
                                              AgdaAny -> Integer)
-                                            (AgdaAny -> Integer) T_indexOf_1688
+                                            (AgdaAny -> Integer) T_indexOf_1690
                                             (AgdaAny -> AgdaAny -> AgdaAny -> [AgdaAny] -> Bool)
                                             (MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> Integer)
 -- Ledger.Abstract.AbstractFunctions.txscriptfee
-d_txscriptfee_1726 ::
-  T_AbstractFunctions_1714 -> AgdaAny -> AgdaAny -> Integer
-d_txscriptfee_1726 v0
+d_txscriptfee_1728 ::
+  T_AbstractFunctions_1716 -> AgdaAny -> AgdaAny -> Integer
+d_txscriptfee_1728 v0
   = case coe v0 of
-      C_AbstractFunctions'46'constructor_2987 v1 v2 v3 v4 v5 -> coe v1
+      C_AbstractFunctions'46'constructor_2991 v1 v2 v3 v4 v5 -> coe v1
       _ -> MAlonzo.RTE.mazUnreachableError
 -- Ledger.Abstract.AbstractFunctions.serSize
-d_serSize_1728 :: T_AbstractFunctions_1714 -> AgdaAny -> Integer
-d_serSize_1728 v0
+d_serSize_1730 :: T_AbstractFunctions_1716 -> AgdaAny -> Integer
+d_serSize_1730 v0
   = case coe v0 of
-      C_AbstractFunctions'46'constructor_2987 v1 v2 v3 v4 v5 -> coe v2
+      C_AbstractFunctions'46'constructor_2991 v1 v2 v3 v4 v5 -> coe v2
       _ -> MAlonzo.RTE.mazUnreachableError
 -- Ledger.Abstract.AbstractFunctions.indexOfImp
-d_indexOfImp_1730 :: T_AbstractFunctions_1714 -> T_indexOf_1688
-d_indexOfImp_1730 v0
+d_indexOfImp_1732 :: T_AbstractFunctions_1716 -> T_indexOf_1690
+d_indexOfImp_1732 v0
   = case coe v0 of
-      C_AbstractFunctions'46'constructor_2987 v1 v2 v3 v4 v5 -> coe v3
+      C_AbstractFunctions'46'constructor_2991 v1 v2 v3 v4 v5 -> coe v3
       _ -> MAlonzo.RTE.mazUnreachableError
 -- Ledger.Abstract.AbstractFunctions.runPLCScript
-d_runPLCScript_1732 ::
-  T_AbstractFunctions_1714 ->
+d_runPLCScript_1734 ::
+  T_AbstractFunctions_1716 ->
   AgdaAny -> AgdaAny -> AgdaAny -> [AgdaAny] -> Bool
-d_runPLCScript_1732 v0
+d_runPLCScript_1734 v0
   = case coe v0 of
-      C_AbstractFunctions'46'constructor_2987 v1 v2 v3 v4 v5 -> coe v4
+      C_AbstractFunctions'46'constructor_2991 v1 v2 v3 v4 v5 -> coe v4
       _ -> MAlonzo.RTE.mazUnreachableError
 -- Ledger.Abstract.AbstractFunctions.scriptSize
-d_scriptSize_1734 ::
-  T_AbstractFunctions_1714 ->
+d_scriptSize_1736 ::
+  T_AbstractFunctions_1716 ->
   MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> Integer
-d_scriptSize_1734 v0
+d_scriptSize_1736 v0
   = case coe v0 of
-      C_AbstractFunctions'46'constructor_2987 v1 v2 v3 v4 v5 -> coe v5
+      C_AbstractFunctions'46'constructor_2991 v1 v2 v3 v4 v5 -> coe v5
       _ -> MAlonzo.RTE.mazUnreachableError