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 |
|
fanghr
|
628894cc1c
|
describe what sample contexts are "valid" for
|
2022-05-11 20:44:57 +08:00 |
|
fanghr
|
96a137ec3f
|
add some description for the governor spec tests
|
2022-05-11 18:14:28 +08:00 |
|
fanghr
|
834eb892bf
|
run formatter
|
2022-05-11 17:50:26 +08:00 |
|