Emily Martins
|
a174e11c5b
|
apply suggestions
|
2022-05-17 15:15:57 +02:00 |
|
fanghr
|
1e55827d8b
|
switch to TermCont; fix a bunch of compilation errors; format
|
2022-05-17 20:54:21 +08:00 |
|
fanghr
|
2e21e4c94a
|
only allow script inputs from the effect and governor
|
2022-05-17 20:54:20 +08:00 |
|
fanghr
|
df8fc484c9
|
only allow desired inputs/outputs in an effect tx
|
2022-05-17 20:54:19 +08:00 |
|
fanghr
|
ab9f472287
|
fix the broken test
|
2022-05-17 20:54:19 +08:00 |
|
fanghr
|
30b66a29ff
|
add a simple test
|
2022-05-17 20:54:18 +08:00 |
|
fanghr
|
023fcc8e6f
|
add a valid sample for the mutate governor effect
|
2022-05-17 20:54:18 +08:00 |
|
fanghr
|
30cceb7910
|
add templates of tests and samples
|
2022-05-17 20:54:17 +08:00 |
|
fanghr
|
5eebec544e
|
improve the docstring
|
2022-05-17 20:54:16 +08:00 |
|
fanghr
|
1b4f51b500
|
safely check input/output governor datum
...utilize a bunch of util functions as well
|
2022-05-17 20:54:15 +08:00 |
|
fanghr
|
ccf8229eed
|
small doc fix to pisJust
|
2022-05-17 20:54:15 +08:00 |
|
fanghr
|
9dc4a87ab3
|
require PtryFrom PData (PAsData datum) in makeEffect
|
2022-05-17 20:54:14 +08:00 |
|
fanghr
|
19f5481ef2
|
fix compilation errors
|
2022-05-17 20:54:14 +08:00 |
|
fanghr
|
b5dd2f6932
|
mlabs email
|
2022-05-17 20:54:13 +08:00 |
|
fanghr
|
7c5c8d423a
|
move GovernorMutation effect to Effect
|
2022-05-17 20:54:12 +08:00 |
|
fanghr
|
eb6b617d4d
|
add document for everything in GovernorMutation.hs
|
2022-05-17 20:54:12 +08:00 |
|
fanghr
|
4731614ac9
|
utilize gatSymbol; clean up imports
|
2022-05-17 20:54:11 +08:00 |
|
fanghr
|
94d6d465af
|
fix compilation errors
|
2022-05-17 20:54:10 +08:00 |
|
fanghr
|
5fc9c30d60
|
add an effect that mutates the governor settings
|
2022-05-17 20:54:04 +08:00 |
|
方泓睿
|
72d615bf0a
|
Merge pull request #61 from Liqwid-Labs/connor/governor
Implementation of the governor components
|
2022-05-17 20:52:58 +08:00 |
|
fanghr
|
2e1fda6b6a
|
rename some props, as @jhodgdev suggested
|
2022-05-17 18:17:58 +08:00 |
|
fanghr
|
1ee71d265f
|
add doc string for prop tests of utils
|
2022-05-16 23:23:43 +08:00 |
|
fanghr
|
0c47f0d84d
|
add tests for 'pnubSort' and 'pisUniq'
|
2022-05-16 20:38:21 +08:00 |
|
fanghr
|
6548105719
|
apply Emily's suggestions
|
2022-05-16 19:59:11 +08:00 |
|
Emily Martins
|
2fda54dcaf
|
add safety pool draft document
|
2022-05-16 12:47:30 +02:00 |
|
fanghr
|
768652deb2
|
docs for utils; refactor tests; rewrite pnubSortBy
|
2022-05-16 18:11:14 +08:00 |
|
fanghr
|
06d4fcd428
|
add tests for pmsort, pmerge and phalve
|
2022-05-14 19:57:01 +08:00 |
|
fanghr
|
9d34b63309
|
test-deps already contains agora
|
2022-05-14 17:32:42 +08:00 |
|
fanghr
|
26614a2e9f
|
update purescript bridge
|
2022-05-14 01:04:16 +08:00 |
|
fanghr
|
cbf14337ff
|
Merge branch 'master' into connor/governor
|
2022-05-14 00:40:26 +08:00 |
|
方泓睿
|
b940ba0c22
|
Merge pull request #78 from Liqwid-Labs/connor/purescript-bridge
|
2022-05-14 00:29:20 +08:00 |
|
fanghr
|
a90b2337dc
|
fix lint/tag; run linter
|
2022-05-13 20:30:11 +08:00 |
|
fanghr
|
b363b326f3
|
add make ps_bridge subcommand
|
2022-05-13 20:23:10 +08:00 |
|
fanghr
|
b04817b867
|
generate purescript stuff
|
2022-05-13 20:08:48 +08:00 |
|
fanghr
|
538e809d2c
|
add all agora types
|
2022-05-13 20:03:17 +08:00 |
|
fanghr
|
9a26439397
|
setup bridge target
|
2022-05-13 18:08:57 +08:00 |
|
fanghr
|
0a31f935b3
|
pin purescript-bridge so that it builds
|
2022-05-13 17:36:04 +08:00 |
|
Hongrui Fang
|
b8908dc6c9
|
add purescript-bridge
|
2022-05-13 16:42:55 +08:00 |
|
fanghr
|
f9acafa1c9
|
add missing phony
|
2022-05-13 13:57:54 +08:00 |
|
fanghr
|
bb45319fd6
|
merge master; use TermCont every where
fixes #73 partially
|
2022-05-12 21:21:48 +08:00 |
|
fanghr
|
107ee51ae9
|
doc negative test cases as a TODO
|
2022-05-12 20:30:52 +08:00 |
|
Emily
|
64ac81bc7d
|
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
|
0615f089ea
|
Merge branch 'master' into connor/governor
|
2022-05-12 20:07:28 +08:00 |
|
fanghr
|
9f116dd2cf
|
merge #74; add sample and spec of the governor
|
2022-05-12 20:01:32 +08:00 |
|
Emily Martins
|
1bd6030855
|
remove all instances of P.do in favour of TermCont.
|
2022-05-12 13:54:31 +02:00 |
|
方泓睿
|
2a0c6eb4a6
|
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
|
615f890745
|
add Spec.Utils to test utils in Agora.Utils
|
2022-05-12 19:28:19 +08:00 |
|
fanghr
|
283edd64b7
|
offload some stuff from agora-test to agora-sample and agora-testlib
|
2022-05-12 19:23:14 +08:00 |
|
fanghr
|
4a74fcc44c
|
describe what sample contexts are "valid" for
|
2022-05-11 20:44:57 +08:00 |
|
fanghr
|
28e1adeb22
|
add some description for the governor spec tests
|
2022-05-11 18:14:28 +08:00 |
|