diff options
author | Eduardo Julian | 2021-07-27 03:51:10 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-07-27 03:51:10 -0400 |
commit | 061fd8a209bbcaffc2bfb850ac6046752a567d50 (patch) | |
tree | 8cd83ad7d0bc06ded7976eb5420467e485733ae8 /stdlib/source/test/lux/world | |
parent | e64b6d0114c26a455e19a416b5f02a4d19dd711f (diff) |
Re-named wrap => in && unwrap => out.
Diffstat (limited to 'stdlib/source/test/lux/world')
-rw-r--r-- | stdlib/source/test/lux/world/console.lux | 22 | ||||
-rw-r--r-- | stdlib/source/test/lux/world/file/watch.lux | 146 | ||||
-rw-r--r-- | stdlib/source/test/lux/world/input/keyboard.lux | 2 | ||||
-rw-r--r-- | stdlib/source/test/lux/world/net/http/client.lux | 2 | ||||
-rw-r--r-- | stdlib/source/test/lux/world/output/video/resolution.lux | 2 | ||||
-rw-r--r-- | stdlib/source/test/lux/world/program.lux | 18 | ||||
-rw-r--r-- | stdlib/source/test/lux/world/shell.lux | 64 |
7 files changed, 128 insertions, 128 deletions
diff --git a/stdlib/source/test/lux/world/console.lux b/stdlib/source/test/lux/world/console.lux index e7fd9f42b..c007b3ea8 100644 --- a/stdlib/source/test/lux/world/console.lux +++ b/stdlib/source/test/lux/world/console.lux @@ -28,24 +28,24 @@ [char (try.of_maybe (text.nth 0 content)) [_ content] (try.of_maybe (text.split 1 content))] (if dead? - (exception.throw ..dead []) - (wrap [[dead? content] char])))) + (exception.except ..dead []) + (in [[dead? content] char])))) (def: (on_read_line [dead? content]) (do try.monad [[line content] (try.of_maybe (text.split_with text.new_line content))] (if dead? - (exception.throw ..dead []) - (wrap [[dead? content] line])))) + (exception.except ..dead []) + (in [[dead? content] line])))) (def: (on_write message [dead? content]) (if dead? - (exception.throw ..dead []) + (exception.except ..dead []) (#try.Success [dead? (format content message)]))) (def: (on_close [dead? content]) (if dead? - (exception.throw ..dead []) + (exception.except ..dead []) (#try.Success [true content]))))) (def: #export test @@ -62,9 +62,9 @@ (do io.monad [?_ (/.write_line expected console) ?actual (\ console read_line [])] - (wrap (<| (try.default false) - (do try.monad - [_ ?_ - actual ?actual] - (wrap (text\= expected actual))))))))) + (in (<| (try.default false) + (do try.monad + [_ ?_ + actual ?actual] + (in (text\= expected actual))))))))) ))) diff --git a/stdlib/source/test/lux/world/file/watch.lux b/stdlib/source/test/lux/world/file/watch.lux index cb24e89b7..7d09023cf 100644 --- a/stdlib/source/test/lux/world/file/watch.lux +++ b/stdlib/source/test/lux/world/file/watch.lux @@ -28,9 +28,9 @@ (def: concern (Random [/.Concern (Predicate /.Concern)]) ($_ random.either - (random\wrap [/.creation /.creation?]) - (random\wrap [/.modification /.modification?]) - (random\wrap [/.deletion /.deletion?]) + (random\in [/.creation /.creation?]) + (random\in [/.modification /.modification?]) + (random\in [/.deletion /.deletion?]) )) (def: concern\\test @@ -71,22 +71,22 @@ [directory (random.ascii/alpha 5) #let [[fs watcher] (/.mock "/")]] ($_ _.and - (wrap (do async.monad - [?concern (\ watcher concern directory) - ?stop (\ watcher stop directory)] - (_.cover' [/.not_being_watched] - (and (case ?concern - (#try.Failure error) - (exception.match? /.not_being_watched error) - - (#try.Success _) - false) - (case ?stop - (#try.Failure error) - (exception.match? /.not_being_watched error) - - (#try.Success _) - false))))) + (in (do async.monad + [?concern (\ watcher concern directory) + ?stop (\ watcher stop directory)] + (_.cover' [/.not_being_watched] + (and (case ?concern + (#try.Failure error) + (exception.match? /.not_being_watched error) + + (#try.Success _) + false) + (case ?stop + (#try.Failure error) + (exception.match? /.not_being_watched error) + + (#try.Success _) + false))))) ))) (def: (no_events_prior_to_creation! fs watcher directory) @@ -104,16 +104,16 @@ (//.make_file async.monad fs (binary.create 0) expected_path)) poll/pre (\ watcher poll []) poll/post (\ watcher poll [])] - (wrap (and (case poll/pre - (^ (list [concern actual_path])) - (and (text\= expected_path actual_path) - (and (/.creation? concern) - (not (/.modification? concern)) - (not (/.deletion? concern)))) + (in (and (case poll/pre + (^ (list [concern actual_path])) + (and (text\= expected_path actual_path) + (and (/.creation? concern) + (not (/.modification? concern)) + (not (/.deletion? concern)))) - _ - false) - (list.empty? poll/post))))) + _ + false) + (list.empty? poll/post))))) (def: (after_modification! fs watcher data expected_path) (-> (//.System Async) (/.Watcher Async) Binary //.Path (Async (Try Bit))) @@ -122,16 +122,16 @@ _ (\ fs write data expected_path) poll/2 (\ watcher poll []) poll/2' (\ watcher poll [])] - (wrap (and (case poll/2 - (^ (list [concern actual_path])) - (and (text\= expected_path actual_path) - (and (not (/.creation? concern)) - (/.modification? concern) - (not (/.deletion? concern)))) + (in (and (case poll/2 + (^ (list [concern actual_path])) + (and (text\= expected_path actual_path) + (and (not (/.creation? concern)) + (/.modification? concern) + (not (/.deletion? concern)))) - _ - false) - (list.empty? poll/2'))))) + _ + false) + (list.empty? poll/2'))))) (def: (after_deletion! fs watcher expected_path) (-> (//.System Async) (/.Watcher Async) //.Path (Async (Try Bit))) @@ -139,15 +139,15 @@ [_ (\ fs delete expected_path) poll/3 (\ watcher poll []) poll/3' (\ watcher poll [])] - (wrap (and (case poll/3 - (^ (list [concern actual_path])) - (and (not (/.creation? concern)) - (not (/.modification? concern)) - (/.deletion? concern)) + (in (and (case poll/3 + (^ (list [concern actual_path])) + (and (not (/.creation? concern)) + (not (/.modification? concern)) + (/.deletion? concern)) - _ - false) - (list.empty? poll/3'))))) + _ + false) + (list.empty? poll/3'))))) (def: #export test Test @@ -164,36 +164,36 @@ expected_path (\ ! map (|>> (format directory /)) (random.ascii/alpha 5)) data ($binary.random 10)] - (wrap (do {! async.monad} - [verdict (do (try.with !) - [no_events_prior_to_creation! - (..no_events_prior_to_creation! fs watcher directory) - - after_creation! - (..after_creation! fs watcher expected_path) - - after_modification! - (..after_modification! fs watcher data expected_path) - - after_deletion! - (..after_deletion! fs watcher expected_path)] - (wrap (and no_events_prior_to_creation! - after_creation! - after_modification! - after_deletion!)))] - (_.cover' [/.mock /.polling] - (try.default false verdict))))) + (in (do {! async.monad} + [verdict (do (try.with !) + [no_events_prior_to_creation! + (..no_events_prior_to_creation! fs watcher directory) + + after_creation! + (..after_creation! fs watcher expected_path) + + after_modification! + (..after_modification! fs watcher data expected_path) + + after_deletion! + (..after_deletion! fs watcher expected_path)] + (in (and no_events_prior_to_creation! + after_creation! + after_modification! + after_deletion!)))] + (_.cover' [/.mock /.polling] + (try.default false verdict))))) (do random.monad [directory (random.ascii/alpha 5) #let [/ "/" [fs watcher] (/.mock /)]] - (wrap (do async.monad - [started? ( \ watcher start /.all directory)] - (_.cover' [/.cannot_poll_a_non_existent_directory] - (case started? - (#try.Success _) - false - - (#try.Failure error) - (exception.match? /.cannot_poll_a_non_existent_directory error)))))) + (in (do async.monad + [started? ( \ watcher start /.all directory)] + (_.cover' [/.cannot_poll_a_non_existent_directory] + (case started? + (#try.Success _) + false + + (#try.Failure error) + (exception.match? /.cannot_poll_a_non_existent_directory error)))))) ))) diff --git a/stdlib/source/test/lux/world/input/keyboard.lux b/stdlib/source/test/lux/world/input/keyboard.lux index 89c559bb5..24b657f0d 100644 --- a/stdlib/source/test/lux/world/input/keyboard.lux +++ b/stdlib/source/test/lux/world/input/keyboard.lux @@ -140,7 +140,7 @@ (let [count (list.size ..listing)] (do {! random.monad} [choice (\ ! map (n.% count) random.nat)] - (wrap (maybe.assume (list.nth choice ..listing)))))) + (in (maybe.assume (list.nth choice ..listing)))))) (def: #export test Test diff --git a/stdlib/source/test/lux/world/net/http/client.lux b/stdlib/source/test/lux/world/net/http/client.lux index c784d9cbe..1979003f0 100644 --- a/stdlib/source/test/lux/world/net/http/client.lux +++ b/stdlib/source/test/lux/world/net/http/client.lux @@ -73,7 +73,7 @@ [product.right (get@ #//.body) (function.apply #.None) io.run] [product.right (\ utf8.codec decode)] [(\ nat.decimal decode)] - [(nat.= <expected>) wrap]) + [(nat.= <expected>) in]) (try.default false)))] [/.post on_post] diff --git a/stdlib/source/test/lux/world/output/video/resolution.lux b/stdlib/source/test/lux/world/output/video/resolution.lux index 851214fb8..411ae288d 100644 --- a/stdlib/source/test/lux/world/output/video/resolution.lux +++ b/stdlib/source/test/lux/world/output/video/resolution.lux @@ -47,7 +47,7 @@ (let [count (list.size ..listing)] (do {! random.monad} [choice (\ ! map (n.% count) random.nat)] - (wrap (maybe.assume (list.nth choice ..listing)))))) + (in (maybe.assume (list.nth choice ..listing)))))) (def: #export test Test diff --git a/stdlib/source/test/lux/world/program.lux b/stdlib/source/test/lux/world/program.lux index 0028cfe9c..6760865e7 100644 --- a/stdlib/source/test/lux/world/program.lux +++ b/stdlib/source/test/lux/world/program.lux @@ -56,15 +56,15 @@ (io.run (do io.monad [actual (/.environment io.monad program)] - (wrap (and (n.= (dictionary.size environment) - (dictionary.size actual)) - (|> actual - dictionary.entries - (list.every? (function (_ [key value]) - (|> environment - (dictionary.get key) - (maybe\map (text\= value)) - (maybe.default false))))))))))) + (in (and (n.= (dictionary.size environment) + (dictionary.size actual)) + (|> actual + dictionary.entries + (list.every? (function (_ [key value]) + (|> environment + (dictionary.get key) + (maybe\map (text\= value)) + (maybe.default false))))))))))) (_.cover [/.unknown_environment_variable] (let [program (/.mock environment home directory)] (|> unknown diff --git a/stdlib/source/test/lux/world/shell.lux b/stdlib/source/test/lux/world/shell.lux index 1cd1473e8..4008c4c5a 100644 --- a/stdlib/source/test/lux/world/shell.lux +++ b/stdlib/source/test/lux/world/shell.lux @@ -36,29 +36,29 @@ (implementation (def: (on_read dead?) (if dead? - (exception.throw ..dead []) + (exception.except ..dead []) (do try.monad [to_echo (try.of_maybe (list.head arguments))] - (wrap [dead? to_echo])))) + (in [dead? to_echo])))) (def: (on_error dead?) (if dead? - (exception.throw ..dead []) + (exception.except ..dead []) (exception.return [dead? ""]))) (def: (on_write message dead?) (if dead? - (exception.throw ..dead []) + (exception.except ..dead []) (#try.Success dead?))) (def: (on_destroy dead?) (if dead? - (exception.throw ..dead []) + (exception.except ..dead []) (#try.Success true))) (def: (on_await dead?) (if dead? - (exception.throw ..dead []) + (exception.except ..dead []) (#try.Success [true /.normal]))))) (def: (io_shell command oops input destruction exit) @@ -96,33 +96,33 @@ destruction (random.ascii/alpha 5) exit random.int #let [shell (/.async (..io_shell command oops input destruction exit))]] - (wrap (do {! async.monad} - [verdict (do (try.with !) - [process (\ shell execute [environment.empty "~" command (list)]) - read (\ process read []) - error (\ process error []) - wrote! (do ! - [write (\ process write input)] - (wrap (#try.Success (case write + (in (do {! async.monad} + [verdict (do (try.with !) + [process (\ shell execute [environment.empty "~" command (list)]) + read (\ process read []) + error (\ process error []) + wrote! (do ! + [write (\ process write input)] + (in (#try.Success (case write + (#try.Success _) + false + + (#try.Failure write) + (text\= input write))))) + destroyed! (do ! + [destroy (\ process destroy [])] + (in (#try.Success (case destroy (#try.Success _) false - (#try.Failure write) - (text\= input write))))) - destroyed! (do ! - [destroy (\ process destroy [])] - (wrap (#try.Success (case destroy - (#try.Success _) - false - - (#try.Failure destroy) - (text\= destruction destroy))))) - await (\ process await [])] - (wrap (and (text\= command read) - (text\= oops error) - wrote! - destroyed! - (i.= exit await))))] - (_.cover' [/.Shell] - (try.default false verdict))))) + (#try.Failure destroy) + (text\= destruction destroy))))) + await (\ process await [])] + (in (and (text\= command read) + (text\= oops error) + wrote! + destroyed! + (i.= exit await))))] + (_.cover' [/.Shell] + (try.default false verdict))))) ))) |