aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification
diff options
context:
space:
mode:
authorEduardo Julian2022-06-04 19:34:42 -0400
committerEduardo Julian2022-06-04 19:34:42 -0400
commitf9e33ae96aec4741385a576719786092c9e68043 (patch)
tree140057dfc054346eab721f9905f0f0fff22ad933 /stdlib/source/specification
parent56d2835d35093e2d92c5e8a4371aa322b55e037b (diff)
De-sigil-ification: #
Diffstat (limited to 'stdlib/source/specification')
-rw-r--r--stdlib/source/specification/aedifex/repository.lux10
-rw-r--r--stdlib/source/specification/compositor/common.lux4
-rw-r--r--stdlib/source/specification/compositor/generation/case.lux8
-rw-r--r--stdlib/source/specification/compositor/generation/common.lux6
-rw-r--r--stdlib/source/specification/compositor/generation/function.lux2
-rw-r--r--stdlib/source/specification/compositor/generation/reference.lux2
-rw-r--r--stdlib/source/specification/compositor/generation/structure.lux6
-rw-r--r--stdlib/source/specification/lux/abstract/apply.lux10
-rw-r--r--stdlib/source/specification/lux/abstract/comonad.lux18
-rw-r--r--stdlib/source/specification/lux/abstract/functor.lux10
-rw-r--r--stdlib/source/specification/lux/abstract/monad.lux18
-rw-r--r--stdlib/source/specification/lux/world/console.lux10
-rw-r--r--stdlib/source/specification/lux/world/file.lux82
-rw-r--r--stdlib/source/specification/lux/world/program.lux4
-rw-r--r--stdlib/source/specification/lux/world/shell.lux14
15 files changed, 102 insertions, 102 deletions
diff --git a/stdlib/source/specification/aedifex/repository.lux b/stdlib/source/specification/aedifex/repository.lux
index d35058c45..d71b95e75 100644
--- a/stdlib/source/specification/aedifex/repository.lux
+++ b/stdlib/source/specification/aedifex/repository.lux
@@ -30,17 +30,17 @@
(in (all _.and'
(do async.monad
[.let [good_uri (/remote.uri (the //artifact.#version valid_artifact) valid_artifact //artifact/extension.lux_library)]
- good_upload! (# subject upload good_uri expected)
- good_download! (# subject download good_uri)
+ good_upload! (at subject upload good_uri expected)
+ good_download! (at subject download good_uri)
.let [bad_uri (/remote.uri (the //artifact.#version invalid_artifact) invalid_artifact //artifact/extension.lux_library)]
- bad_upload! (# subject upload bad_uri expected)
- bad_download! (# subject download bad_uri)]
+ bad_upload! (at subject upload bad_uri expected)
+ bad_download! (at subject download bad_uri)]
(_.coverage' [/.Repository]
(let [successfull_flow!
(case [good_upload! good_download!]
[{try.#Success _} {try.#Success actual}]
- (# binary.equivalence = expected actual)
+ (at binary.equivalence = expected actual)
_
false)
diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux
index 5e197472b..947131032 100644
--- a/stdlib/source/specification/compositor/common.lux
+++ b/stdlib/source/specification/compositor/common.lux
@@ -40,7 +40,7 @@
(do phase.monad
[_ runtime]
(phase expressionS)))]
- (# host evaluate! evaluation_name expressionG))))
+ (at host evaluate! evaluation_name expressionG))))
(def: (definer (open "[0]") state)
(Instancer Definer)
@@ -54,7 +54,7 @@
[host_name host_value host_directive] (generation.define! lux_name expressionG)
_ (generation.learn lux_name host_name)]
(phase (synthesis.constant lux_name))))]
- (# host evaluate! "definer" definitionG))))
+ (at host evaluate! "definer" definitionG))))
(def: .public (executors target expander platform
analysis_bundle generation_bundle directive_bundle
diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux
index 1fbde2917..05e58e21f 100644
--- a/stdlib/source/specification/compositor/generation/case.lux
+++ b/stdlib/source/specification/compositor/generation/case.lux
@@ -32,7 +32,7 @@
(def: size
(Random Nat)
- (|> r.nat (# r.monad each (|>> (n.% ..limit) (n.max 2)))))
+ (|> r.nat (at r.monad each (|>> (n.% ..limit) (n.max 2)))))
(def: (tail? size idx)
(-> Nat Nat Bit)
@@ -67,7 +67,7 @@
[(r.unicode 5) synthesis.text synthesis.path/text]))
(do [! r.monad]
[size ..size
- idx (|> r.nat (# ! each (n.% size)))
+ idx (|> r.nat (at ! each (n.% size)))
[subS subP] case
.let [unitS (synthesis.text synthesis.unit)
caseS (synthesis.tuple
@@ -82,7 +82,7 @@
(in [caseS caseP]))
(do [! r.monad]
[size ..size
- idx (|> r.nat (# ! each (n.% size)))
+ idx (|> r.nat (at ! each (n.% size)))
[subS subP] case
.let [right? (tail? size idx)
caseS (synthesis.variant
@@ -246,7 +246,7 @@
(_.property "==="
(and (text#= (synthesis.%path special_path)
(synthesis.%path special_pattern_path))
- (# synthesis.path_equivalence = special_path special_pattern_path)))
+ (at synthesis.path_equivalence = special_path special_pattern_path)))
(_.property "CODE"
(|> special_input
(run "special_input")
diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux
index e8d5e6ab4..8012798f8 100644
--- a/stdlib/source/specification/compositor/generation/common.lux
+++ b/stdlib/source/specification/compositor/generation/common.lux
@@ -124,7 +124,7 @@
(def: simple_frac
(Random Frac)
- (|> r.nat (# r.monad each (|>> (n.% 1000) .int i.frac))))
+ (|> r.nat (at r.monad each (|>> (n.% 1000) .int i.frac))))
(def: (f64 run)
(-> Runner Test)
@@ -182,12 +182,12 @@
(def: (text run)
(-> Runner Test)
(do [! r.monad]
- [sample_size (|> r.nat (# ! each (|>> (n.% 10) (n.max 1))))
+ [sample_size (|> r.nat (at ! each (|>> (n.% 10) (n.max 1))))
sample_lower (r.lower_case_alpha sample_size)
sample_upper (r.upper_case_alpha sample_size)
sample_alpha (|> (r.alphabetic sample_size)
(r.only (|>> (text#= sample_upper) not)))
- char_idx (|> r.nat (# ! each (n.% sample_size)))
+ char_idx (|> r.nat (at ! each (n.% sample_size)))
.let [sample_lowerS (synthesis.text sample_lower)
sample_upperS (synthesis.text sample_upper)
sample_alphaS (synthesis.text sample_alpha)
diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux
index 7e2c6d66f..86c495c3b 100644
--- a/stdlib/source/specification/compositor/generation/function.lux
+++ b/stdlib/source/specification/compositor/generation/function.lux
@@ -50,7 +50,7 @@
(-> Runner Test)
(do [! r.monad]
[[arity local functionS] ..function
- partial_arity (|> r.nat (# ! each (|>> (n.% arity) (n.max 1))))
+ partial_arity (|> r.nat (at ! each (|>> (n.% arity) (n.max 1))))
inputs (r.list arity r.safe_frac)
.let [expectation (maybe.trusted (list.item (-- local) inputs))
inputsS (list#each (|>> synthesis.f64) inputs)]]
diff --git a/stdlib/source/specification/compositor/generation/reference.lux b/stdlib/source/specification/compositor/generation/reference.lux
index e7b9ceeb0..f8f68c51e 100644
--- a/stdlib/source/specification/compositor/generation/reference.lux
+++ b/stdlib/source/specification/compositor/generation/reference.lux
@@ -41,7 +41,7 @@
(def: (variable run)
(-> Runner Test)
(do [! r.monad]
- [register (|> r.nat (# ! each (n.% 100)))
+ [register (|> r.nat (at ! each (n.% 100)))
expected r.safe_frac]
(_.property "Local variables."
(|> (synthesis.branch/let [(synthesis.f64 expected)
diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux
index d914c309f..86054b07e 100644
--- a/stdlib/source/specification/compositor/generation/structure.lux
+++ b/stdlib/source/specification/compositor/generation/structure.lux
@@ -31,8 +31,8 @@
(def: (variant run)
(-> Runner Test)
(do [! r.monad]
- [num_tags (|> r.nat (# ! each (|>> (n.% 10) (n.max 2))))
- tag_in (|> r.nat (# ! each (n.% num_tags)))
+ [num_tags (|> r.nat (at ! each (|>> (n.% 10) (n.max 2))))
+ tag_in (|> r.nat (at ! each (n.% num_tags)))
.let [last?_in (|> num_tags -- (n.= tag_in))]
value_in r.i64]
(_.property (%.symbol (symbol synthesis.variant))
@@ -67,7 +67,7 @@
(def: (tuple run)
(-> Runner Test)
(do [! r.monad]
- [size (|> r.nat (# ! each (|>> (n.% 10) (n.max 2))))
+ [size (|> r.nat (at ! each (|>> (n.% 10) (n.max 2))))
tuple_in (r.list size r.i64)]
(_.property (%.symbol (symbol synthesis.tuple))
(|> (synthesis.tuple (list#each (|>> synthesis.i64) tuple_in))
diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux
index fcb51c926..8d0fe390e 100644
--- a/stdlib/source/specification/lux/abstract/apply.lux
+++ b/stdlib/source/specification/lux/abstract/apply.lux
@@ -19,7 +19,7 @@
(def: (identity injection comparison (open "/#[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
(do [! random.monad]
- [sample (# ! each injection random.nat)]
+ [sample (at ! each injection random.nat)]
(_.property "Identity."
((comparison n.=)
(/#on sample (injection function.identity))
@@ -29,7 +29,7 @@
(All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
(do [! random.monad]
[sample random.nat
- increase (# ! each n.+ random.nat)]
+ increase (at ! each n.+ random.nat)]
(_.property "Homomorphism."
((comparison n.=)
(/#on (injection sample) (injection increase))
@@ -39,7 +39,7 @@
(All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
(do [! random.monad]
[sample random.nat
- increase (# ! each n.+ random.nat)]
+ increase (at ! each n.+ random.nat)]
(_.property "Interchange."
((comparison n.=)
(/#on (injection sample) (injection increase))
@@ -52,9 +52,9 @@
(do [! random.monad]
[sample random.nat
increase (is (Random :$/1:)
- (# ! each n.+ random.nat))
+ (at ! each n.+ random.nat))
decrease (is (Random :$/1:)
- (# ! each n.- random.nat))]
+ (at ! each n.- random.nat))]
(_.property "Composition."
((comparison n.=)
(|> (injection (is (-> :$/1: :$/1: :$/1:)
diff --git a/stdlib/source/specification/lux/abstract/comonad.lux b/stdlib/source/specification/lux/abstract/comonad.lux
index 6486cecd8..c9a03c6d3 100644
--- a/stdlib/source/specification/lux/abstract/comonad.lux
+++ b/stdlib/source/specification/lux/abstract/comonad.lux
@@ -17,9 +17,9 @@
(All (_ f) (-> (Injection f) (CoMonad f) Test))
(do [! random.monad]
[sample random.nat
- morphism (# ! each (function (_ diff)
- (|>> _//out (n.+ diff)))
- random.nat)
+ morphism (at ! each (function (_ diff)
+ (|>> _//out (n.+ diff)))
+ random.nat)
.let [start (injection sample)]]
(_.property "Left identity."
(n.= (morphism start)
@@ -39,12 +39,12 @@
(All (_ f) (-> (Injection f) (Comparison f) (CoMonad f) Test))
(do [! random.monad]
[sample random.nat
- increase (# ! each (function (_ diff)
- (|>> _//out (n.+ diff)))
- random.nat)
- decrease (# ! each (function (_ diff)
- (|>> _//out(n.- diff)))
- random.nat)
+ increase (at ! each (function (_ diff)
+ (|>> _//out (n.+ diff)))
+ random.nat)
+ decrease (at ! each (function (_ diff)
+ (|>> _//out(n.- diff)))
+ random.nat)
.let [start (injection sample)
== (comparison n.=)]]
(_.property "Associativity."
diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux
index cc53413ca..8ac207e97 100644
--- a/stdlib/source/specification/lux/abstract/functor.lux
+++ b/stdlib/source/specification/lux/abstract/functor.lux
@@ -25,7 +25,7 @@
(def: (identity injection comparison (open "@//[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
(do [! random.monad]
- [sample (# ! each injection random.nat)]
+ [sample (at ! each injection random.nat)]
(_.property "Identity."
((comparison n.=)
(@//each function.identity sample)
@@ -35,7 +35,7 @@
(All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
(do [! random.monad]
[sample random.nat
- increase (# ! each n.+ random.nat)]
+ increase (at ! each n.+ random.nat)]
(_.property "Homomorphism."
((comparison n.=)
(@//each increase (injection sample))
@@ -44,9 +44,9 @@
(def: (composition injection comparison (open "@//[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
(do [! random.monad]
- [sample (# ! each injection random.nat)
- increase (# ! each n.+ random.nat)
- decrease (# ! each n.- random.nat)]
+ [sample (at ! each injection random.nat)
+ increase (at ! each n.+ random.nat)
+ decrease (at ! each n.- random.nat)]
(_.property "Composition."
((comparison n.=)
(|> sample (@//each increase) (@//each decrease))
diff --git a/stdlib/source/specification/lux/abstract/monad.lux b/stdlib/source/specification/lux/abstract/monad.lux
index 70911488b..25a2f3e4f 100644
--- a/stdlib/source/specification/lux/abstract/monad.lux
+++ b/stdlib/source/specification/lux/abstract/monad.lux
@@ -15,9 +15,9 @@
(All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test))
(do [! random.monad]
[sample random.nat
- morphism (# ! each (function (_ diff)
- (|>> (n.+ diff) _//in))
- random.nat)]
+ morphism (at ! each (function (_ diff)
+ (|>> (n.+ diff) _//in))
+ random.nat)]
(_.property "Left identity."
((comparison n.=)
(|> (injection sample) (_//each morphism) _//conjoint)
@@ -36,12 +36,12 @@
(All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test))
(do [! random.monad]
[sample random.nat
- increase (# ! each (function (_ diff)
- (|>> (n.+ diff) _//in))
- random.nat)
- decrease (# ! each (function (_ diff)
- (|>> (n.- diff) _//in))
- random.nat)]
+ increase (at ! each (function (_ diff)
+ (|>> (n.+ diff) _//in))
+ random.nat)
+ decrease (at ! each (function (_ diff)
+ (|>> (n.- diff) _//in))
+ random.nat)]
(_.property "Associativity."
((comparison n.=)
(|> (injection sample) (_//each increase) _//conjoint (_//each decrease) _//conjoint)
diff --git a/stdlib/source/specification/lux/world/console.lux b/stdlib/source/specification/lux/world/console.lux
index e80610389..fd31486a2 100644
--- a/stdlib/source/specification/lux/world/console.lux
+++ b/stdlib/source/specification/lux/world/console.lux
@@ -23,11 +23,11 @@
[message (random.alphabetic 10)]
(in (do async.monad
[console (async.future console)
- ?write (# console write (format message text.new_line))
- ?read (# console read [])
- ?read_line (# console read_line [])
- ?close/good (# console close [])
- ?close/bad (# console close [])
+ ?write (at console write (format message text.new_line))
+ ?read (at console read [])
+ ?read_line (at console read_line [])
+ ?close/good (at console close [])
+ ?close/bad (at console close [])
.let [can_write!
(case ?write
diff --git a/stdlib/source/specification/lux/world/file.lux b/stdlib/source/specification/lux/world/file.lux
index 0956528de..33c42637d 100644
--- a/stdlib/source/specification/lux/world/file.lux
+++ b/stdlib/source/specification/lux/world/file.lux
@@ -58,9 +58,9 @@
(def: (directory?&make_directory fs parent)
(-> (/.System Async) /.Path (Async Bit))
(do async.monad
- [directory_pre! (# fs directory? parent)
- made? (# fs make_directory parent)
- directory_post! (# fs directory? parent)]
+ [directory_pre! (at fs directory? parent)
+ made? (at fs make_directory parent)
+ directory_post! (at fs directory? parent)]
(in (and (not directory_pre!)
(case made?
{try.#Success _} true
@@ -70,9 +70,9 @@
(def: (file?&write fs content path)
(-> (/.System Async) Binary /.Path (Async Bit))
(do async.monad
- [file_pre! (# fs file? path)
- made? (# fs write path content)
- file_post! (# fs file? path)]
+ [file_pre! (at fs file? path)
+ made? (at fs write path content)
+ file_post! (at fs file? path)]
(in (and (not file_pre!)
(case made?
{try.#Success _} true
@@ -82,26 +82,26 @@
(def: (file_size&read&append fs expected_file_size content appendix path)
(-> (/.System Async) Nat Binary Binary /.Path (Async Bit))
(do async.monad
- [pre_file_size (# fs file_size path)
- pre_content (# fs read path)
- appended? (# fs append path appendix)
- post_file_size (# fs file_size path)
- post_content (# fs read path)]
+ [pre_file_size (at fs file_size path)
+ pre_content (at fs read path)
+ appended? (at fs append path appendix)
+ post_file_size (at fs file_size path)
+ post_content (at fs read path)]
(in (<| (try.else false)
(do [! try.monad]
[pre_file_size!
- (# ! each (n.= expected_file_size) pre_file_size)
+ (at ! each (n.= expected_file_size) pre_file_size)
pre_content!
- (# ! each (binary#= content) pre_content)
+ (at ! each (binary#= content) pre_content)
_ appended?
post_file_size!
- (# ! each (n.= (n.* 2 expected_file_size)) post_file_size)
+ (at ! each (n.= (n.* 2 expected_file_size)) post_file_size)
post_content!
- (# ! each (binary#= (binary#composite content appendix)) post_content)]
+ (at ! each (binary#= (binary#composite content appendix)) post_content)]
(in (and pre_file_size!
pre_content!
post_file_size!
@@ -110,21 +110,21 @@
(def: (modified?&last_modified fs expected_time path)
(-> (/.System Async) Instant /.Path (Async Bit))
(do async.monad
- [modified? (# fs modify path expected_time)
- last_modified (# fs last_modified path)]
+ [modified? (at fs modify path expected_time)
+ last_modified (at fs last_modified path)]
(in (<| (try.else false)
(do [! try.monad]
[_ modified?]
- (# ! each (instant#= expected_time) last_modified))))))
+ (at ! each (instant#= expected_time) last_modified))))))
(def: (directory_files&sub_directories fs parent sub_dir child)
(-> (/.System Async) /.Path /.Path /.Path (Async Bit))
(let [sub_dir (/.rooted fs parent sub_dir)
child (/.rooted fs parent child)]
(do async.monad
- [made_sub? (# fs make_directory sub_dir)
- directory_files (# fs directory_files parent)
- sub_directories (# fs sub_directories parent)
+ [made_sub? (at fs make_directory sub_dir)
+ directory_files (at fs directory_files parent)
+ sub_directories (at fs sub_directories parent)
.let [(open "list#[0]") (list.equivalence text.equivalence)]]
(in (<| (try.else false)
(do try.monad
@@ -141,12 +141,12 @@
(let [origin (/.rooted fs parent child)
destination (/.rooted fs parent alternate_child)]
(do [! async.monad]
- [moved? (# fs move origin destination)
+ [moved? (at fs move origin destination)
lost? (|> origin
- (# fs file?)
- (# ! each not))
- found? (# fs file? destination)
- deleted? (# fs delete destination)]
+ (at fs file?)
+ (at ! each not))
+ found? (at fs file? destination)
+ deleted? (at fs delete destination)]
(in (<| (try.else false)
(do try.monad
[_ moved?
@@ -165,7 +165,7 @@
(|>> (text#= child) not)
(|>> (text#= sub_dir) not))
(random.numeric 2))
- expected_file_size (# ! each (|>> (n.% 10) ++) random.nat)
+ expected_file_size (at ! each (|>> (n.% 10) ++) random.nat)
content ($binary.random expected_file_size)
appendix ($binary.random expected_file_size)
expected_time random.instant])
@@ -188,8 +188,8 @@
can_execute?
(|> path
- (# fs can_execute?)
- (# ! each (|>> (try.else true) not)))
+ (at fs can_execute?)
+ (at ! each (|>> (try.else true) not)))
directory_files&sub_directories
(..directory_files&sub_directories fs parent sub_dir child)
@@ -216,16 +216,16 @@
[fs (async.future fs)
.let [dir/1 (/.rooted fs dir/0 dir/1)
dir/2 (/.rooted fs dir/1 dir/2)]
- pre_dir/0 (# fs directory? dir/0)
- pre_dir/1 (# fs directory? dir/1)
- pre_dir/2 (# fs directory? dir/2)
+ pre_dir/0 (at fs directory? dir/0)
+ pre_dir/1 (at fs directory? dir/1)
+ pre_dir/2 (at fs directory? dir/2)
made? (/.make_directories ! fs dir/2)
- post_dir/0 (# fs directory? dir/0)
- post_dir/1 (# fs directory? dir/1)
- post_dir/2 (# fs directory? dir/2)
+ post_dir/0 (at fs directory? dir/0)
+ post_dir/1 (at fs directory? dir/1)
+ post_dir/2 (at fs directory? dir/2)
cannot_make_directory!/0 (/.make_directories ! fs "")
- cannot_make_directory!/1 (/.make_directories ! fs (# fs separator))])
+ cannot_make_directory!/1 (/.make_directories ! fs (at fs separator))])
(all _.and'
(_.coverage' [/.make_directories]
(and (not pre_dir/0)
@@ -292,17 +292,17 @@
(do [! async.monad]
[fs (async.future fs)
- pre_file/0 (# fs file? file)
+ pre_file/0 (at fs file? file)
pre_file/1 (/.exists? ! fs file)
- pre_dir/0 (# fs directory? dir)
+ pre_dir/0 (at fs directory? dir)
pre_dir/1 (/.exists? ! fs dir)
made_file? (/.make_file ! fs (utf8#encoded file) file)
- made_dir? (# fs make_directory dir)
+ made_dir? (at fs make_directory dir)
- post_file/0 (# fs file? file)
+ post_file/0 (at fs file? file)
post_file/1 (/.exists? ! fs file)
- post_dir/0 (# fs directory? dir)
+ post_dir/0 (at fs directory? dir)
post_dir/1 (/.exists? ! fs dir)])
(_.coverage' [/.exists?]
(and (not pre_file/0)
diff --git a/stdlib/source/specification/lux/world/program.lux b/stdlib/source/specification/lux/world/program.lux
index 26371c1e6..3830dfb2a 100644
--- a/stdlib/source/specification/lux/world/program.lux
+++ b/stdlib/source/specification/lux/world/program.lux
@@ -28,5 +28,5 @@
(and (not (dictionary.empty? environment))
(list.every? (|>> text.empty? not)
(dictionary.keys environment))
- (not (text.empty? (# subject home)))
- (not (text.empty? (# subject directory)))))))))
+ (not (text.empty? (at subject home)))
+ (not (text.empty? (at subject directory)))))))))
diff --git a/stdlib/source/specification/lux/world/shell.lux b/stdlib/source/specification/lux/world/shell.lux
index 64e31abfe..702d29d97 100644
--- a/stdlib/source/specification/lux/world/shell.lux
+++ b/stdlib/source/specification/lux/world/shell.lux
@@ -35,7 +35,7 @@
(def: (can_wait! process)
(-> (/.Process Async) _.Assertion)
- (|> (# process await [])
+ (|> (at process await [])
(async#each (|>> (try#each (i.= /.normal))
(try.else false)
(_.coverage' [/.Exit /.normal])))
@@ -43,15 +43,15 @@
(def: (can_read! expected process)
(-> Text (/.Process Async) (Async Bit))
- (|> (# process read [])
+ (|> (at process read [])
(async#each (|>> (try#each (text#= expected))
(try.else false)))))
(def: (can_destroy! process)
(-> (/.Process Async) (Async Bit))
(do async.monad
- [?destroy (# process destroy [])
- ?await (# process await [])]
+ [?destroy (at process destroy [])
+ ?await (at process await [])]
(in (and (case ?destroy
{try.#Success _}
true
@@ -71,10 +71,10 @@
(<| (_.for [/.Shell /.Process])
(do [! random.monad]
[message (random.alphabetic 10)
- seconds (# ! each (|>> (n.% 5) (n.+ 5)) random.nat)]
+ seconds (at ! each (|>> (n.% 5) (n.+ 5)) random.nat)]
(in (do [! async.monad]
- [?echo (# shell execute (..echo! message))
- ?sleep (# shell execute (..sleep! seconds))]
+ [?echo (at shell execute (..echo! message))
+ ?sleep (at shell execute (..sleep! seconds))]
(case [?echo ?sleep]
[{try.#Success echo} {try.#Success sleep}]
(do !