Commit graph

385 commits

Author SHA1 Message Date
fanghr
a970c0586f add doc string for governorValidator and pnextProposalId 2022-05-06 17:09:11 +08:00
fanghr
04bba9ebaf convert all "datum NFT" to "state token" in the messages
in order to avoid confusion
2022-05-06 17:09:10 +08:00
fanghr
18bfa25fcb implement governor state token minting policy
* parameterize the policy and the validator with a utxo
2022-05-06 17:09:09 +08:00
fanghr
afc48aa9f8 apply hlint suggestions; fix the ci 2022-05-06 17:09:08 +08:00
fanghr
dd99543449 apply naming suggestions from Emily and Seungheon
* `pid` -> `id`
*  `MutateParams` -> `MutateGovernor`
2022-05-06 17:09:08 +08:00
fanghr
be16b80459 get next proposal id from pnextProposalId 2022-05-06 17:09:07 +08:00
fanghr
731e714fc3 handle effects that mutate params of the governor 2022-05-06 17:09:07 +08:00
fanghr
de517fc144 add pisDJust util function
the counterpart of `pisJust`, for type `PMaybeData`
2022-05-06 17:09:06 +08:00
fanghr
f30ca26ea5 rename redeemer MutateDatum to MutateParams 2022-05-06 17:09:05 +08:00
fanghr
1e9ff7d8f4 handle proposal creation
* check proposal id
2022-05-06 17:09:05 +08:00
fanghr
99365a32ae check that the datum nft always stays at the governor address 2022-05-06 17:09:04 +08:00
fanghr
b546fc9701 export PGovernorRedeemer 2022-05-06 17:09:03 +08:00
fanghr
c432a06d5e add corresponding plutarch-level redeemer and datum
* lift them as well
2022-05-06 17:09:03 +08:00
fanghr
5ace88290d modify GovernorRedeemer and Governor
* add `MutateDatum` redeemer
* add `datumNFT` to `Governor` so that we can identify the datum
* Lift `GovernorDatum` and `GovernorRedeemer`
2022-05-06 17:09:02 +08:00
Jack Hodgkinson
1ce89d3ac6 Merge pull request #72 from Liqwid-Labs/connor/validatorHashTokenName
`ValidatorHashToTokenName`
2022-05-06 09:15:17 +01:00
fanghr
32d6e74a8b run linter 2022-05-06 14:18:16 +08:00
fanghr
3b21cadd26 add PlutusTX validatorHashToTokenName 2022-05-06 13:22:28 +08:00
Emily
297b6a59ef Merge pull request #59 from Liqwid-Labs/emiflake/proposal-impl
Proposal validator implementation
2022-04-29 16:39:59 +02:00
Emily Martins
ea47bdddaf fix formatting
fourmolu breaks weirdly on some spacing
2022-04-28 17:22:40 +02:00
Emily Martins
9ccc481272 remove infinities in ProposalTime, fix test build 2022-04-28 17:00:19 +02:00
Emily Martins
ec835b48c9 remove pfindDatum', in favour of ptryFindDatum 2022-04-28 16:25:40 +02:00
Emily Martins
18622c76d2 apply suggestions 2022-04-28 16:21:16 +02:00
Jack Hodgkinson
5622a9d6db Added doc to new Makefile function 2022-04-28 09:28:58 +01:00
Jack Hodgkinson
638d616e29 add hasktags function to Makefile 2022-04-28 09:27:03 +01:00
Emily Martins
bc90affbcd add effect and votes shape check on proposalDatumValid 2022-04-27 15:18:07 +02:00
Emily Martins
731ef4e42c be more consistent in use of "period", "state", etc wrt. proposals
- specify maximum cosigners requirement in spec.
- remove silly qualified names in Proposal impl.
2022-04-27 14:43:55 +02:00
Emily Martins
0ca97a645a reduce use of unjustified punsafeCoerce 2022-04-27 12:55:37 +02:00
Emily Martins
4ec0013af4 add missing range checks 2022-04-27 12:55:37 +02:00
Emily Martins
e201351249 fix haddock errors 2022-04-27 12:55:37 +02:00
Emily Martins
82ce3ab717 move Stake to Scripts, fix tests 2022-04-27 12:55:37 +02:00
Emily Martins
33bf2facb1 remove TreasuryDatum, PTryFrom for PTreasuryRedeemer 2022-04-27 12:55:37 +02:00
Emily Martins
7f62b04268 reduce 'PTxInfo' passing to functions 2022-04-27 12:55:37 +02:00
Emily Martins
deaa5cf6f1 move Proposal impl. to Agora.Proposal.Scripts to avoid cyclic deps 2022-04-27 12:55:37 +02:00
Hongrui Fang
cee9eaec79 add missing plutarch level proposal status PLocked 2022-04-27 12:55:37 +02:00
Emily Martins
4ea9255a6b add shared Sample values module
- add Proposal validator testing
- add some Agora.Record improvements
2022-04-27 12:55:12 +02:00
Emily Martins
1e972f1402 add checks to cosign 2022-04-27 12:54:36 +02:00
Emily Martins
832e15fc16 simplify some PTxInfo functions 2022-04-27 12:53:56 +02:00
Emily Martins
83230e0948 flake: bump plutarch-extra fork 2022-04-27 12:53:53 +02:00
Emily Martins
355dcc99cd stub redeemer matching 2022-04-27 12:53:53 +02:00
Emily Martins
5649f27d24 fix linter errors 2022-04-27 12:53:53 +02:00
Emily Martins
862e9b6079 add proposalCreation Sample test 2022-04-27 12:53:53 +02:00
Emily Martins
76911ed5d6 add 'isDraftRange' checking function. 2022-04-27 12:53:53 +02:00
Emily Martins
0ba8a58cb7 implement Agora.Record, implement Agora.Proposal.Time 2022-04-27 12:53:37 +02:00
Emily Martins
265d8f25c7 add ProposalRedeemer, bump plutarch-safemoney PR revision 2022-04-27 12:51:01 +02:00
Emily Martins
808bf77d14 refactor out ptokenSpent 2022-04-27 12:51:01 +02:00
Emily Martins
99cacbf30d add proposalDatumValid 2022-04-27 12:51:01 +02:00
Jack Hodgkinson
ecf1336463 Spelling error 2022-04-26 10:22:26 +01:00
Emily
928ea73400 Merge pull request #56 from Liqwid-Labs/seungheonoh/treasurywithdrawaleffect
Treasury Withdrawal Effect
2022-04-25 17:23:56 +02:00
Seungheon Oh
3ec470a9ed format 2022-04-25 11:17:15 -04:00
Seungheon Oh
e08f294adc PTryFrom for Treasury Withdrawal Effect! 2022-04-25 11:16:17 -04:00