Commit graph

501 commits

Author SHA1 Message Date
fanghr
65dc55f37f better naming 2022-05-20 19:10:34 +08:00
fanghr
1b9aaf111d add isPubKey && utilize it in the TreasuryWithdrawal effect 2022-05-20 18:22:33 +08:00
fanghr
1ba11bc23a add missing docs && consistent naming 2022-05-19 21:31:25 +08:00
fanghr
ad33b0cbbc refactor tests of the effect
* test both the effect and governor in the spec
* test that the effect and governor will fail when try setting the
  governor state to a invalid one
2022-05-19 21:31:22 +08:00
fanghr
fc050527a1 switch to TermCont; fix a bunch of compilation errors; format 2022-05-17 20:54:21 +08:00
fanghr
7f6e363c89 only allow script inputs from the effect and governor 2022-05-17 20:54:20 +08:00
fanghr
a65465b494 only allow desired inputs/outputs in an effect tx 2022-05-17 20:54:19 +08:00
fanghr
c556b3eda5 fix the broken test 2022-05-17 20:54:19 +08:00
fanghr
8c9a69dfec add a simple test 2022-05-17 20:54:18 +08:00
fanghr
bac4eaa74e add a valid sample for the mutate governor effect 2022-05-17 20:54:18 +08:00
fanghr
526ca67747 add templates of tests and samples 2022-05-17 20:54:17 +08:00
fanghr
12f9a5bf1d improve the docstring 2022-05-17 20:54:16 +08:00
fanghr
40d5cf5f74 safely check input/output governor datum
...utilize a bunch of util functions as well
2022-05-17 20:54:15 +08:00
fanghr
6ab6afbdb7 small doc fix to pisJust 2022-05-17 20:54:15 +08:00
fanghr
50deac1175 require PtryFrom PData (PAsData datum) in makeEffect 2022-05-17 20:54:14 +08:00
fanghr
0440e00410 fix compilation errors 2022-05-17 20:54:14 +08:00
fanghr
dd79a7b73a mlabs email 2022-05-17 20:54:13 +08:00
fanghr
015ee0b9de move GovernorMutation effect to Effect 2022-05-17 20:54:12 +08:00
fanghr
33365e0a31 add document for everything in GovernorMutation.hs 2022-05-17 20:54:12 +08:00
fanghr
f63e20907e utilize gatSymbol; clean up imports 2022-05-17 20:54:11 +08:00
fanghr
b8cd27fc2a fix compilation errors 2022-05-17 20:54:10 +08:00
fanghr
2c93a7cb1c add an effect that mutates the governor settings 2022-05-17 20:54:04 +08:00
方泓睿
f908dfe8b9 Merge pull request #61 from Liqwid-Labs/connor/governor
Implementation of the governor components
2022-05-17 20:52:58 +08:00
fanghr
937b69a50c rename some props, as @jhodgdev suggested 2022-05-17 18:17:58 +08:00
fanghr
3bb4d752e5 add doc string for prop tests of utils 2022-05-16 23:23:43 +08:00
fanghr
cd6b6a4acc add tests for 'pnubSort' and 'pisUniq' 2022-05-16 20:38:21 +08:00
fanghr
f45b919d0e apply Emily's suggestions 2022-05-16 19:59:11 +08:00
fanghr
28afcf2f65 docs for utils; refactor tests; rewrite pnubSortBy 2022-05-16 18:11:14 +08:00
fanghr
67ff8f7f46 add tests for pmsort, pmerge and phalve 2022-05-14 19:57:01 +08:00
fanghr
4da276a920 test-deps already contains agora 2022-05-14 17:32:42 +08:00
fanghr
ea4f3c1ce0 update purescript bridge 2022-05-14 01:04:16 +08:00
fanghr
88c54a74c5 Merge branch 'master' into connor/governor 2022-05-14 00:40:26 +08:00
方泓睿
4a3574a884 Merge pull request #78 from Liqwid-Labs/connor/purescript-bridge 2022-05-14 00:29:20 +08:00
fanghr
a09448cd5a fix lint/tag; run linter 2022-05-13 20:30:11 +08:00
fanghr
c4ee24461e add make ps_bridge subcommand 2022-05-13 20:23:10 +08:00
fanghr
8c5f10279e generate purescript stuff 2022-05-13 20:08:48 +08:00
fanghr
70367702fb add all agora types 2022-05-13 20:03:17 +08:00
fanghr
68f4bd5498 setup bridge target 2022-05-13 18:08:57 +08:00
fanghr
f586af2f64 pin purescript-bridge so that it builds 2022-05-13 17:36:04 +08:00
Hongrui Fang
f4844b7ff8 add purescript-bridge 2022-05-13 16:42:55 +08:00
fanghr
9d87206d5e add missing phony 2022-05-13 13:57:54 +08:00
fanghr
59fee6f75a merge master; use TermCont every where
fixes #73 partially
2022-05-12 21:21:48 +08:00
fanghr
31d8b8bc43 doc negative test cases as a TODO 2022-05-12 20:30:52 +08:00
Emily
cdd3f07442 Merge pull request #75 from Liqwid-Labs/emiflake/drop-pdo
remove all instances of `P.do` in favour of `TermCont`.
2022-05-12 14:12:02 +02:00
fanghr
38a8d5311e Merge branch 'master' into connor/governor 2022-05-12 20:07:28 +08:00
fanghr
0f36d649c6 merge #74; add sample and spec of the governor 2022-05-12 20:01:32 +08:00
Emily Martins
a404a81cad remove all instances of P.do in favour of TermCont. 2022-05-12 13:54:31 +02:00
方泓睿
42a3db991a Merge pull request #74 from Liqwid-Labs/connor/target-separation
Break `agora-test` into pieces; add test file for utility functions
2022-05-12 19:48:48 +08:00
fanghr
d43bf6cde4 add Spec.Utils to test utils in Agora.Utils 2022-05-12 19:28:19 +08:00
fanghr
25d011ed00 offload some stuff from agora-test to agora-sample and agora-testlib 2022-05-12 19:23:14 +08:00