Skip to content

Commit d0bd5fa

Browse files
github-actions[bot]github-actions[bot]
committed
Generate code for GH-506 
1 parent 26f1f64 commit d0bd5fa

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

42 files changed

+16146
-15696
lines changed

‎generated/MAlonzo/Code/Ledger/Abstract.hs‎

Lines changed: 70 additions & 70 deletions
Original file line numberDiff line numberDiff line change
@@ -77,59 +77,59 @@ d_Wdrl_390 ::
7777
MAlonzo.Code.Ledger.Transaction.T_TransactionStructure_20 -> ()
7878
d_Wdrl_390 = erased
7979
-- Ledger.Abstract._.GovProposal.action
80-
d_action_688 ::
80+
d_action_690 ::
8181
MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_750 ->
8282
MAlonzo.Code.Ledger.GovernanceActions.T_GovAction_690
83-
d_action_688 v0
83+
d_action_690 v0
8484
= coe MAlonzo.Code.Ledger.GovernanceActions.d_action_764 (coe v0)
8585
-- Ledger.Abstract._.GovProposal.anchor
86-
d_anchor_690 ::
86+
d_anchor_692 ::
8787
MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_750 ->
8888
MAlonzo.Code.Ledger.GovernanceActions.T_Anchor_680
89-
d_anchor_690 v0
89+
d_anchor_692 v0
9090
= coe MAlonzo.Code.Ledger.GovernanceActions.d_anchor_774 (coe v0)
9191
-- Ledger.Abstract._.GovProposal.deposit
92-
d_deposit_692 ::
92+
d_deposit_694 ::
9393
MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_750 -> Integer
94-
d_deposit_692 v0
94+
d_deposit_694 v0
9595
= coe MAlonzo.Code.Ledger.GovernanceActions.d_deposit_770 (coe v0)
9696
-- Ledger.Abstract._.GovProposal.policy
97-
d_policy_694 ::
97+
d_policy_696 ::
9898
MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_750 ->
9999
Maybe AgdaAny
100-
d_policy_694 v0
100+
d_policy_696 v0
101101
= coe MAlonzo.Code.Ledger.GovernanceActions.d_policy_768 (coe v0)
102102
-- Ledger.Abstract._.GovProposal.prevAction
103-
d_prevAction_696 ::
103+
d_prevAction_698 ::
104104
MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_750 -> AgdaAny
105-
d_prevAction_696 v0
105+
d_prevAction_698 v0
106106
= coe
107107
MAlonzo.Code.Ledger.GovernanceActions.d_prevAction_766 (coe v0)
108108
-- Ledger.Abstract._.GovProposal.returnAddr
109-
d_returnAddr_698 ::
109+
d_returnAddr_700 ::
110110
MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_750 ->
111111
MAlonzo.Code.Ledger.Address.T_RwdAddr_76
112-
d_returnAddr_698 v0
112+
d_returnAddr_700 v0
113113
= coe
114114
MAlonzo.Code.Ledger.GovernanceActions.d_returnAddr_772 (coe v0)
115115
-- Ledger.Abstract._.GovernanceActions.GovProposal
116-
d_GovProposal_740 a0 = ()
116+
d_GovProposal_742 a0 = ()
117117
-- Ledger.Abstract._.RwdAddr.net
118-
d_net_1148 :: MAlonzo.Code.Ledger.Address.T_RwdAddr_76 -> AgdaAny
119-
d_net_1148 v0 = coe MAlonzo.Code.Ledger.Address.d_net_82 (coe v0)
118+
d_net_1152 :: MAlonzo.Code.Ledger.Address.T_RwdAddr_76 -> AgdaAny
119+
d_net_1152 v0 = coe MAlonzo.Code.Ledger.Address.d_net_82 (coe v0)
120120
-- Ledger.Abstract._.RwdAddr.stake
121-
d_stake_1150 ::
121+
d_stake_1154 ::
122122
MAlonzo.Code.Ledger.Address.T_RwdAddr_76 ->
123123
MAlonzo.Code.Ledger.Address.T_Credential_16
124-
d_stake_1150 v0
124+
d_stake_1154 v0
125125
= coe MAlonzo.Code.Ledger.Address.d_stake_84 (coe v0)
126126
-- Ledger.Abstract._.DCert
127-
d_DCert_1490 a0 = ()
127+
d_DCert_1494 a0 = ()
128128
-- Ledger.Abstract.indexOf
129-
d_indexOf_1680 a0 = ()
130-
data T_indexOf_1680
131-
= C_indexOf'46'constructor_2687 (MAlonzo.Code.Ledger.Certs.T_DCert_830 ->
132-
[MAlonzo.Code.Ledger.Certs.T_DCert_830] -> Maybe AgdaAny)
129+
d_indexOf_1686 a0 = ()
130+
data T_indexOf_1686
131+
= C_indexOf'46'constructor_2693 (MAlonzo.Code.Ledger.Certs.T_DCert_832 ->
132+
[MAlonzo.Code.Ledger.Certs.T_DCert_832] -> Maybe AgdaAny)
133133
(MAlonzo.Code.Ledger.Address.T_RwdAddr_76 ->
134134
MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 -> Maybe AgdaAny)
135135
(MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 ->
@@ -141,98 +141,98 @@ data T_indexOf_1680
141141
[MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_750] ->
142142
Maybe AgdaAny)
143143
-- Ledger.Abstract.indexOf.indexOfDCert
144-
d_indexOfDCert_1694 ::
145-
T_indexOf_1680 ->
146-
MAlonzo.Code.Ledger.Certs.T_DCert_830 ->
147-
[MAlonzo.Code.Ledger.Certs.T_DCert_830] -> Maybe AgdaAny
148-
d_indexOfDCert_1694 v0
144+
d_indexOfDCert_1700 ::
145+
T_indexOf_1686 ->
146+
MAlonzo.Code.Ledger.Certs.T_DCert_832 ->
147+
[MAlonzo.Code.Ledger.Certs.T_DCert_832] -> Maybe AgdaAny
148+
d_indexOfDCert_1700 v0
149149
= case coe v0 of
150-
C_indexOf'46'constructor_2687 v1 v2 v3 v4 v5 v6 -> coe v1
150+
C_indexOf'46'constructor_2693 v1 v2 v3 v4 v5 v6 -> coe v1
151151
_ -> MAlonzo.RTE.mazUnreachableError
152152
-- Ledger.Abstract.indexOf.indexOfRwdAddr
153-
d_indexOfRwdAddr_1696 ::
154-
T_indexOf_1680 ->
153+
d_indexOfRwdAddr_1702 ::
154+
T_indexOf_1686 ->
155155
MAlonzo.Code.Ledger.Address.T_RwdAddr_76 ->
156156
MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 -> Maybe AgdaAny
157-
d_indexOfRwdAddr_1696 v0
157+
d_indexOfRwdAddr_1702 v0
158158
= case coe v0 of
159-
C_indexOf'46'constructor_2687 v1 v2 v3 v4 v5 v6 -> coe v2
159+
C_indexOf'46'constructor_2693 v1 v2 v3 v4 v5 v6 -> coe v2
160160
_ -> MAlonzo.RTE.mazUnreachableError
161161
-- Ledger.Abstract.indexOf.indexOfTxIn
162-
d_indexOfTxIn_1698 ::
163-
T_indexOf_1680 ->
162+
d_indexOfTxIn_1704 ::
163+
T_indexOf_1686 ->
164164
MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 ->
165165
[MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] -> Maybe AgdaAny
166-
d_indexOfTxIn_1698 v0
166+
d_indexOfTxIn_1704 v0
167167
= case coe v0 of
168-
C_indexOf'46'constructor_2687 v1 v2 v3 v4 v5 v6 -> coe v3
168+
C_indexOf'46'constructor_2693 v1 v2 v3 v4 v5 v6 -> coe v3
169169
_ -> MAlonzo.RTE.mazUnreachableError
170170
-- Ledger.Abstract.indexOf.indexOfPolicyId
171-
d_indexOfPolicyId_1700 ::
172-
T_indexOf_1680 -> AgdaAny -> [AgdaAny] -> Maybe AgdaAny
173-
d_indexOfPolicyId_1700 v0
171+
d_indexOfPolicyId_1706 ::
172+
T_indexOf_1686 -> AgdaAny -> [AgdaAny] -> Maybe AgdaAny
173+
d_indexOfPolicyId_1706 v0
174174
= case coe v0 of
175-
C_indexOf'46'constructor_2687 v1 v2 v3 v4 v5 v6 -> coe v4
175+
C_indexOf'46'constructor_2693 v1 v2 v3 v4 v5 v6 -> coe v4
176176
_ -> MAlonzo.RTE.mazUnreachableError
177177
-- Ledger.Abstract.indexOf.indexOfVote
178-
d_indexOfVote_1702 ::
179-
T_indexOf_1680 ->
178+
d_indexOfVote_1708 ::
179+
T_indexOf_1686 ->
180180
MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 ->
181181
[MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] -> Maybe AgdaAny
182-
d_indexOfVote_1702 v0
182+
d_indexOfVote_1708 v0
183183
= case coe v0 of
184-
C_indexOf'46'constructor_2687 v1 v2 v3 v4 v5 v6 -> coe v5
184+
C_indexOf'46'constructor_2693 v1 v2 v3 v4 v5 v6 -> coe v5
185185
_ -> MAlonzo.RTE.mazUnreachableError
186186
-- Ledger.Abstract.indexOf.indexOfProposal
187-
d_indexOfProposal_1704 ::
188-
T_indexOf_1680 ->
187+
d_indexOfProposal_1710 ::
188+
T_indexOf_1686 ->
189189
MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_750 ->
190190
[MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_750] ->
191191
Maybe AgdaAny
192-
d_indexOfProposal_1704 v0
192+
d_indexOfProposal_1710 v0
193193
= case coe v0 of
194-
C_indexOf'46'constructor_2687 v1 v2 v3 v4 v5 v6 -> coe v6
194+
C_indexOf'46'constructor_2693 v1 v2 v3 v4 v5 v6 -> coe v6
195195
_ -> MAlonzo.RTE.mazUnreachableError
196196
-- Ledger.Abstract.AbstractFunctions
197-
d_AbstractFunctions_1706 a0 = ()
198-
data T_AbstractFunctions_1706
199-
= C_AbstractFunctions'46'constructor_2979 (AgdaAny ->
197+
d_AbstractFunctions_1712 a0 = ()
198+
data T_AbstractFunctions_1712
199+
= C_AbstractFunctions'46'constructor_2985 (AgdaAny ->
200200
AgdaAny -> Integer)
201-
(AgdaAny -> Integer) T_indexOf_1680
201+
(AgdaAny -> Integer) T_indexOf_1686
202202
(AgdaAny -> AgdaAny -> AgdaAny -> [AgdaAny] -> Bool)
203203
(MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> Integer)
204204
-- Ledger.Abstract.AbstractFunctions.txscriptfee
205-
d_txscriptfee_1718 ::
206-
T_AbstractFunctions_1706 -> AgdaAny -> AgdaAny -> Integer
207-
d_txscriptfee_1718 v0
205+
d_txscriptfee_1724 ::
206+
T_AbstractFunctions_1712 -> AgdaAny -> AgdaAny -> Integer
207+
d_txscriptfee_1724 v0
208208
= case coe v0 of
209-
C_AbstractFunctions'46'constructor_2979 v1 v2 v3 v4 v5 -> coe v1
209+
C_AbstractFunctions'46'constructor_2985 v1 v2 v3 v4 v5 -> coe v1
210210
_ -> MAlonzo.RTE.mazUnreachableError
211211
-- Ledger.Abstract.AbstractFunctions.serSize
212-
d_serSize_1720 :: T_AbstractFunctions_1706 -> AgdaAny -> Integer
213-
d_serSize_1720 v0
212+
d_serSize_1726 :: T_AbstractFunctions_1712 -> AgdaAny -> Integer
213+
d_serSize_1726 v0
214214
= case coe v0 of
215-
C_AbstractFunctions'46'constructor_2979 v1 v2 v3 v4 v5 -> coe v2
215+
C_AbstractFunctions'46'constructor_2985 v1 v2 v3 v4 v5 -> coe v2
216216
_ -> MAlonzo.RTE.mazUnreachableError
217217
-- Ledger.Abstract.AbstractFunctions.indexOfImp
218-
d_indexOfImp_1722 :: T_AbstractFunctions_1706 -> T_indexOf_1680
219-
d_indexOfImp_1722 v0
218+
d_indexOfImp_1728 :: T_AbstractFunctions_1712 -> T_indexOf_1686
219+
d_indexOfImp_1728 v0
220220
= case coe v0 of
221-
C_AbstractFunctions'46'constructor_2979 v1 v2 v3 v4 v5 -> coe v3
221+
C_AbstractFunctions'46'constructor_2985 v1 v2 v3 v4 v5 -> coe v3
222222
_ -> MAlonzo.RTE.mazUnreachableError
223223
-- Ledger.Abstract.AbstractFunctions.runPLCScript
224-
d_runPLCScript_1724 ::
225-
T_AbstractFunctions_1706 ->
224+
d_runPLCScript_1730 ::
225+
T_AbstractFunctions_1712 ->
226226
AgdaAny -> AgdaAny -> AgdaAny -> [AgdaAny] -> Bool
227-
d_runPLCScript_1724 v0
227+
d_runPLCScript_1730 v0
228228
= case coe v0 of
229-
C_AbstractFunctions'46'constructor_2979 v1 v2 v3 v4 v5 -> coe v4
229+
C_AbstractFunctions'46'constructor_2985 v1 v2 v3 v4 v5 -> coe v4
230230
_ -> MAlonzo.RTE.mazUnreachableError
231231
-- Ledger.Abstract.AbstractFunctions.scriptSize
232-
d_scriptSize_1726 ::
233-
T_AbstractFunctions_1706 ->
232+
d_scriptSize_1732 ::
233+
T_AbstractFunctions_1712 ->
234234
MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> Integer
235-
d_scriptSize_1726 v0
235+
d_scriptSize_1732 v0
236236
= case coe v0 of
237-
C_AbstractFunctions'46'constructor_2979 v1 v2 v3 v4 v5 -> coe v5
237+
C_AbstractFunctions'46'constructor_2985 v1 v2 v3 v4 v5 -> coe v5
238238
_ -> MAlonzo.RTE.mazUnreachableError

0 commit comments

Comments
 (0)