diff options
| author | Eduardo Julian | 2021-09-05 22:52:26 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-05 22:52:26 -0400 |
| commit | 132ffdae1add622c8a3c6065d7730a8fe8ea5e78 (patch) | |
| tree | 540310f190007d192b892db2d0a520d17b73ad48 /stdlib/source/specification/lux/abstract/apply.lux | |
| parent | 09e2747bf8c6dcdc1d7318f2490f0de37d77b39f (diff) | |
Changed the syntax of do/be's (co)monad bindings.
Diffstat (limited to 'stdlib/source/specification/lux/abstract/apply.lux')
| -rw-r--r-- | stdlib/source/specification/lux/abstract/apply.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux index 594a42253..431fc8f29 100644 --- a/stdlib/source/specification/lux/abstract/apply.lux +++ b/stdlib/source/specification/lux/abstract/apply.lux @@ -17,7 +17,7 @@ (def: (identity injection comparison (^open "\.")) (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) - (do {! random.monad} + (do [! random.monad] [sample (\ ! each injection random.nat)] (_.test "Identity." ((comparison n.=) @@ -26,7 +26,7 @@ (def: (homomorphism injection comparison (^open "\.")) (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) - (do {! random.monad} + (do [! random.monad] [sample random.nat increase (\ ! each n.+ random.nat)] (_.test "Homomorphism." @@ -36,7 +36,7 @@ (def: (interchange injection comparison (^open "\.")) (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) - (do {! random.monad} + (do [! random.monad] [sample random.nat increase (\ ! each n.+ random.nat)] (_.test "Interchange." @@ -47,7 +47,7 @@ (def: (composition injection comparison (^open "\.")) (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) - (do {! random.monad} + (do [! random.monad] [sample random.nat increase (\ ! each n.+ random.nat) decrease (\ ! each n.- random.nat)] |