-
Notifications
You must be signed in to change notification settings - Fork 11
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Mm/proposal procedures #422
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Nice!! It is always satisfying to see how new features integrate well in the codebase. Also, I like the simplification of the redeemer api.
- Changes to the API need to be applied to the CHEATSHEET.
- The CHANGELOG should be updated as well.
- I think splitting GenerateTx into several submodules and the documentation phase unrelated to proposal procedures should have been in another PR to ease focus during the review process. I did not review the generatetx submodules that are from previous code. I reviewed the new content though.
Co-authored-by: Florent C. <florentc@users.noreply.github.com>
…dators into mm/proposal-procedures
simpleTxSkelProposal :: (ToAddress a) => a -> TxGovAction -> TxSkelProposal | ||
simpleTxSkelProposal a govAction = TxSkelProposal (toAddress a) govAction Nothing Nothing | ||
|
||
withWitness :: (ToScript a) => TxSkelProposal -> (a, TxSkelRedeemer) -> TxSkelProposal | ||
withWitness prop (s, red) = prop {txSkelProposalWitness = Just (toScript s, red)} | ||
|
||
withAnchor :: TxSkelProposal -> String -> TxSkelProposal | ||
withAnchor prop url = prop {txSkelProposalAnchor = Just url} |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Since a lot of datatypes in Skeleton
already use existential types. Could we maybe do that with TxSkelProposal
and replace its Api.Address
with a
where a
has the ToAddress
constraint? We would get the conversion for free without the need for simpleTxSkelProposal
.
This add the core elements of proposal procedures feature to cooked-validators.
This also closes #419.