Skip to content

Commit 9b706ae

Browse files
github-actions[bot]github-actions[bot]
committed
Generate code for GH-673 
1 parent 05f46d8 commit 9b706ae

Some content is hidden

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

43 files changed

+18713
-18308
lines changed

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

Lines changed: 86 additions & 86 deletions
Original file line numberDiff line numberDiff line change
@@ -77,162 +77,162 @@ d_Wdrl_390 ::
7777
MAlonzo.Code.Ledger.Transaction.T_TransactionStructure_20 -> ()
7878
d_Wdrl_390 = erased
7979
-- Ledger.Abstract._.GovProposal.action
80-
d_action_692 ::
81-
MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_754 ->
80+
d_action_688 ::
81+
MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_740 ->
8282
MAlonzo.Code.Ledger.GovernanceActions.T_GovAction_692
83-
d_action_692 v0
84-
= coe MAlonzo.Code.Ledger.GovernanceActions.d_action_768 (coe v0)
83+
d_action_688 v0
84+
= coe MAlonzo.Code.Ledger.GovernanceActions.d_action_754 (coe v0)
8585
-- Ledger.Abstract._.GovProposal.anchor
86-
d_anchor_694 ::
87-
MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_754 ->
86+
d_anchor_690 ::
87+
MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_740 ->
8888
MAlonzo.Code.Ledger.GovernanceActions.T_Anchor_682
89-
d_anchor_694 v0
90-
= coe MAlonzo.Code.Ledger.GovernanceActions.d_anchor_778 (coe v0)
89+
d_anchor_690 v0
90+
= coe MAlonzo.Code.Ledger.GovernanceActions.d_anchor_764 (coe v0)
9191
-- Ledger.Abstract._.GovProposal.deposit
92-
d_deposit_696 ::
93-
MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_754 -> Integer
94-
d_deposit_696 v0
95-
= coe MAlonzo.Code.Ledger.GovernanceActions.d_deposit_774 (coe v0)
92+
d_deposit_692 ::
93+
MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_740 -> Integer
94+
d_deposit_692 v0
95+
= coe MAlonzo.Code.Ledger.GovernanceActions.d_deposit_760 (coe v0)
9696
-- Ledger.Abstract._.GovProposal.policy
97-
d_policy_698 ::
98-
MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_754 ->
97+
d_policy_694 ::
98+
MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_740 ->
9999
Maybe AgdaAny
100-
d_policy_698 v0
101-
= coe MAlonzo.Code.Ledger.GovernanceActions.d_policy_772 (coe v0)
100+
d_policy_694 v0
101+
= coe MAlonzo.Code.Ledger.GovernanceActions.d_policy_758 (coe v0)
102102
-- Ledger.Abstract._.GovProposal.prevAction
103-
d_prevAction_700 ::
104-
MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_754 -> AgdaAny
105-
d_prevAction_700 v0
103+
d_prevAction_696 ::
104+
MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_740 -> AgdaAny
105+
d_prevAction_696 v0
106106
= coe
107-
MAlonzo.Code.Ledger.GovernanceActions.d_prevAction_770 (coe v0)
107+
MAlonzo.Code.Ledger.GovernanceActions.d_prevAction_756 (coe v0)
108108
-- Ledger.Abstract._.GovProposal.returnAddr
109-
d_returnAddr_702 ::
110-
MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_754 ->
109+
d_returnAddr_698 ::
110+
MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_740 ->
111111
MAlonzo.Code.Ledger.Address.T_RwdAddr_76
112-
d_returnAddr_702 v0
112+
d_returnAddr_698 v0
113113
= coe
114-
MAlonzo.Code.Ledger.GovernanceActions.d_returnAddr_776 (coe v0)
114+
MAlonzo.Code.Ledger.GovernanceActions.d_returnAddr_762 (coe v0)
115115
-- Ledger.Abstract._.GovernanceActions.GovProposal
116-
d_GovProposal_744 a0 = ()
116+
d_GovProposal_740 a0 = ()
117117
-- Ledger.Abstract._.RwdAddr.net
118-
d_net_1156 :: MAlonzo.Code.Ledger.Address.T_RwdAddr_76 -> AgdaAny
119-
d_net_1156 v0 = coe MAlonzo.Code.Ledger.Address.d_net_82 (coe v0)
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)
120120
-- Ledger.Abstract._.RwdAddr.stake
121-
d_stake_1158 ::
121+
d_stake_1150 ::
122122
MAlonzo.Code.Ledger.Address.T_RwdAddr_76 ->
123123
MAlonzo.Code.Ledger.Address.T_Credential_16
124-
d_stake_1158 v0
124+
d_stake_1150 v0
125125
= coe MAlonzo.Code.Ledger.Address.d_stake_84 (coe v0)
126126
-- Ledger.Abstract._.DCert
127-
d_DCert_1498 a0 = ()
127+
d_DCert_1490 a0 = ()
128128
-- Ledger.Abstract.indexOf
129-
d_indexOf_1690 a0 = ()
130-
data T_indexOf_1690
131-
= C_indexOf'46'constructor_2699 (MAlonzo.Code.Ledger.Certs.T_DCert_834 ->
132-
[MAlonzo.Code.Ledger.Certs.T_DCert_834] -> Maybe AgdaAny)
129+
d_indexOf_1682 a0 = ()
130+
data T_indexOf_1682
131+
= C_indexOf'46'constructor_2687 (MAlonzo.Code.Ledger.Certs.T_DCert_830 ->
132+
[MAlonzo.Code.Ledger.Certs.T_DCert_830] -> 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 ->
136136
[MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] -> Maybe AgdaAny)
137137
(AgdaAny -> [AgdaAny] -> Maybe AgdaAny)
138138
(MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 ->
139139
[MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] -> Maybe AgdaAny)
140-
(MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_754 ->
141-
[MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_754] ->
140+
(MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_740 ->
141+
[MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_740] ->
142142
Maybe AgdaAny)
143143
-- Ledger.Abstract.indexOf.indexOfDCert
144-
d_indexOfDCert_1704 ::
145-
T_indexOf_1690 ->
146-
MAlonzo.Code.Ledger.Certs.T_DCert_834 ->
147-
[MAlonzo.Code.Ledger.Certs.T_DCert_834] -> Maybe AgdaAny
148-
d_indexOfDCert_1704 v0
144+
d_indexOfDCert_1696 ::
145+
T_indexOf_1682 ->
146+
MAlonzo.Code.Ledger.Certs.T_DCert_830 ->
147+
[MAlonzo.Code.Ledger.Certs.T_DCert_830] -> Maybe AgdaAny
148+
d_indexOfDCert_1696 v0
149149
= case coe v0 of
150-
C_indexOf'46'constructor_2699 v1 v2 v3 v4 v5 v6 -> coe v1
150+
C_indexOf'46'constructor_2687 v1 v2 v3 v4 v5 v6 -> coe v1
151151
_ -> MAlonzo.RTE.mazUnreachableError
152152
-- Ledger.Abstract.indexOf.indexOfRwdAddr
153-
d_indexOfRwdAddr_1706 ::
154-
T_indexOf_1690 ->
153+
d_indexOfRwdAddr_1698 ::
154+
T_indexOf_1682 ->
155155
MAlonzo.Code.Ledger.Address.T_RwdAddr_76 ->
156156
MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 -> Maybe AgdaAny
157-
d_indexOfRwdAddr_1706 v0
157+
d_indexOfRwdAddr_1698 v0
158158
= case coe v0 of
159-
C_indexOf'46'constructor_2699 v1 v2 v3 v4 v5 v6 -> coe v2
159+
C_indexOf'46'constructor_2687 v1 v2 v3 v4 v5 v6 -> coe v2
160160
_ -> MAlonzo.RTE.mazUnreachableError
161161
-- Ledger.Abstract.indexOf.indexOfTxIn
162-
d_indexOfTxIn_1708 ::
163-
T_indexOf_1690 ->
162+
d_indexOfTxIn_1700 ::
163+
T_indexOf_1682 ->
164164
MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 ->
165165
[MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] -> Maybe AgdaAny
166-
d_indexOfTxIn_1708 v0
166+
d_indexOfTxIn_1700 v0
167167
= case coe v0 of
168-
C_indexOf'46'constructor_2699 v1 v2 v3 v4 v5 v6 -> coe v3
168+
C_indexOf'46'constructor_2687 v1 v2 v3 v4 v5 v6 -> coe v3
169169
_ -> MAlonzo.RTE.mazUnreachableError
170170
-- Ledger.Abstract.indexOf.indexOfPolicyId
171-
d_indexOfPolicyId_1710 ::
172-
T_indexOf_1690 -> AgdaAny -> [AgdaAny] -> Maybe AgdaAny
173-
d_indexOfPolicyId_1710 v0
171+
d_indexOfPolicyId_1702 ::
172+
T_indexOf_1682 -> AgdaAny -> [AgdaAny] -> Maybe AgdaAny
173+
d_indexOfPolicyId_1702 v0
174174
= case coe v0 of
175-
C_indexOf'46'constructor_2699 v1 v2 v3 v4 v5 v6 -> coe v4
175+
C_indexOf'46'constructor_2687 v1 v2 v3 v4 v5 v6 -> coe v4
176176
_ -> MAlonzo.RTE.mazUnreachableError
177177
-- Ledger.Abstract.indexOf.indexOfVote
178-
d_indexOfVote_1712 ::
179-
T_indexOf_1690 ->
178+
d_indexOfVote_1704 ::
179+
T_indexOf_1682 ->
180180
MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 ->
181181
[MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] -> Maybe AgdaAny
182-
d_indexOfVote_1712 v0
182+
d_indexOfVote_1704 v0
183183
= case coe v0 of
184-
C_indexOf'46'constructor_2699 v1 v2 v3 v4 v5 v6 -> coe v5
184+
C_indexOf'46'constructor_2687 v1 v2 v3 v4 v5 v6 -> coe v5
185185
_ -> MAlonzo.RTE.mazUnreachableError
186186
-- Ledger.Abstract.indexOf.indexOfProposal
187-
d_indexOfProposal_1714 ::
188-
T_indexOf_1690 ->
189-
MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_754 ->
190-
[MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_754] ->
187+
d_indexOfProposal_1706 ::
188+
T_indexOf_1682 ->
189+
MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_740 ->
190+
[MAlonzo.Code.Ledger.GovernanceActions.T_GovProposal_740] ->
191191
Maybe AgdaAny
192-
d_indexOfProposal_1714 v0
192+
d_indexOfProposal_1706 v0
193193
= case coe v0 of
194-
C_indexOf'46'constructor_2699 v1 v2 v3 v4 v5 v6 -> coe v6
194+
C_indexOf'46'constructor_2687 v1 v2 v3 v4 v5 v6 -> coe v6
195195
_ -> MAlonzo.RTE.mazUnreachableError
196196
-- Ledger.Abstract.AbstractFunctions
197-
d_AbstractFunctions_1716 a0 = ()
198-
data T_AbstractFunctions_1716
199-
= C_AbstractFunctions'46'constructor_2991 (AgdaAny ->
197+
d_AbstractFunctions_1708 a0 = ()
198+
data T_AbstractFunctions_1708
199+
= C_AbstractFunctions'46'constructor_2979 (AgdaAny ->
200200
AgdaAny -> Integer)
201-
(AgdaAny -> Integer) T_indexOf_1690
201+
(AgdaAny -> Integer) T_indexOf_1682
202202
(AgdaAny -> AgdaAny -> AgdaAny -> [AgdaAny] -> Bool)
203203
(MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> Integer)
204204
-- Ledger.Abstract.AbstractFunctions.txscriptfee
205-
d_txscriptfee_1728 ::
206-
T_AbstractFunctions_1716 -> AgdaAny -> AgdaAny -> Integer
207-
d_txscriptfee_1728 v0
205+
d_txscriptfee_1720 ::
206+
T_AbstractFunctions_1708 -> AgdaAny -> AgdaAny -> Integer
207+
d_txscriptfee_1720 v0
208208
= case coe v0 of
209-
C_AbstractFunctions'46'constructor_2991 v1 v2 v3 v4 v5 -> coe v1
209+
C_AbstractFunctions'46'constructor_2979 v1 v2 v3 v4 v5 -> coe v1
210210
_ -> MAlonzo.RTE.mazUnreachableError
211211
-- Ledger.Abstract.AbstractFunctions.serSize
212-
d_serSize_1730 :: T_AbstractFunctions_1716 -> AgdaAny -> Integer
213-
d_serSize_1730 v0
212+
d_serSize_1722 :: T_AbstractFunctions_1708 -> AgdaAny -> Integer
213+
d_serSize_1722 v0
214214
= case coe v0 of
215-
C_AbstractFunctions'46'constructor_2991 v1 v2 v3 v4 v5 -> coe v2
215+
C_AbstractFunctions'46'constructor_2979 v1 v2 v3 v4 v5 -> coe v2
216216
_ -> MAlonzo.RTE.mazUnreachableError
217217
-- Ledger.Abstract.AbstractFunctions.indexOfImp
218-
d_indexOfImp_1732 :: T_AbstractFunctions_1716 -> T_indexOf_1690
219-
d_indexOfImp_1732 v0
218+
d_indexOfImp_1724 :: T_AbstractFunctions_1708 -> T_indexOf_1682
219+
d_indexOfImp_1724 v0
220220
= case coe v0 of
221-
C_AbstractFunctions'46'constructor_2991 v1 v2 v3 v4 v5 -> coe v3
221+
C_AbstractFunctions'46'constructor_2979 v1 v2 v3 v4 v5 -> coe v3
222222
_ -> MAlonzo.RTE.mazUnreachableError
223223
-- Ledger.Abstract.AbstractFunctions.runPLCScript
224-
d_runPLCScript_1734 ::
225-
T_AbstractFunctions_1716 ->
224+
d_runPLCScript_1726 ::
225+
T_AbstractFunctions_1708 ->
226226
AgdaAny -> AgdaAny -> AgdaAny -> [AgdaAny] -> Bool
227-
d_runPLCScript_1734 v0
227+
d_runPLCScript_1726 v0
228228
= case coe v0 of
229-
C_AbstractFunctions'46'constructor_2991 v1 v2 v3 v4 v5 -> coe v4
229+
C_AbstractFunctions'46'constructor_2979 v1 v2 v3 v4 v5 -> coe v4
230230
_ -> MAlonzo.RTE.mazUnreachableError
231231
-- Ledger.Abstract.AbstractFunctions.scriptSize
232-
d_scriptSize_1736 ::
233-
T_AbstractFunctions_1716 ->
232+
d_scriptSize_1728 ::
233+
T_AbstractFunctions_1708 ->
234234
MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> Integer
235-
d_scriptSize_1736 v0
235+
d_scriptSize_1728 v0
236236
= case coe v0 of
237-
C_AbstractFunctions'46'constructor_2991 v1 v2 v3 v4 v5 -> coe v5
237+
C_AbstractFunctions'46'constructor_2979 v1 v2 v3 v4 v5 -> coe v5
238238
_ -> MAlonzo.RTE.mazUnreachableError

0 commit comments

Comments
 (0)