From f9e33ae96aec4741385a576719786092c9e68043 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 4 Jun 2022 19:34:42 -0400 Subject: De-sigil-ification: # --- stdlib/source/test/aedifex/artifact/snapshot.lux | 2 +- .../test/aedifex/artifact/snapshot/build.lux | 2 +- .../test/aedifex/artifact/snapshot/stamp.lux | 2 +- .../source/test/aedifex/artifact/snapshot/time.lux | 2 +- .../test/aedifex/artifact/snapshot/version.lux | 2 +- stdlib/source/test/aedifex/artifact/time.lux | 4 +- stdlib/source/test/aedifex/artifact/time/date.lux | 4 +- stdlib/source/test/aedifex/artifact/time/time.lux | 2 +- stdlib/source/test/aedifex/artifact/versioning.lux | 4 +- stdlib/source/test/aedifex/cache.lux | 24 ++++---- stdlib/source/test/aedifex/cli.lux | 8 +-- stdlib/source/test/aedifex/command/auto.lux | 30 +++++----- stdlib/source/test/aedifex/command/build.lux | 34 +++++------ stdlib/source/test/aedifex/command/clean.lux | 14 ++--- stdlib/source/test/aedifex/command/deploy.lux | 44 +++++++------- stdlib/source/test/aedifex/command/deps.lux | 14 ++--- stdlib/source/test/aedifex/command/install.lux | 22 +++---- stdlib/source/test/aedifex/command/pom.lux | 16 ++--- stdlib/source/test/aedifex/command/test.lux | 22 +++---- stdlib/source/test/aedifex/command/version.lux | 2 +- .../source/test/aedifex/dependency/deployment.lux | 12 ++-- .../source/test/aedifex/dependency/resolution.lux | 70 +++++++++++----------- stdlib/source/test/aedifex/hash.lux | 18 +++--- stdlib/source/test/aedifex/input.lux | 18 +++--- stdlib/source/test/aedifex/metadata/artifact.lux | 18 +++--- stdlib/source/test/aedifex/metadata/snapshot.lux | 18 +++--- stdlib/source/test/aedifex/package.lux | 14 ++--- stdlib/source/test/aedifex/parser.lux | 12 ++-- stdlib/source/test/aedifex/pom.lux | 10 ++-- stdlib/source/test/aedifex/profile.lux | 18 +++--- stdlib/source/test/aedifex/project.lux | 10 ++-- stdlib/source/test/aedifex/repository/local.lux | 10 ++-- stdlib/source/test/aedifex/repository/remote.lux | 16 ++--- 33 files changed, 249 insertions(+), 249 deletions(-) (limited to 'stdlib/source/test/aedifex') diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux index 5379dd8af..628412bee 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot.lux @@ -40,7 +40,7 @@ /.format list (.result /.parser) - (try#each (# /.equivalence = expected)) + (try#each (at /.equivalence = expected)) (try.else false)))) $/build.test diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux index 2775467c9..71024f4d0 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux @@ -34,6 +34,6 @@ /.format list (.result /.parser) - (try#each (# /.equivalence = expected)) + (try#each (at /.equivalence = expected)) (try.else false)))) )))) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux index e097f5420..ae1ffb7a5 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux @@ -41,6 +41,6 @@ (|> expected /.format (.result /.parser) - (try#each (# /.equivalence = expected)) + (try#each (at /.equivalence = expected)) (try.else false)))) ))) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux index 28dd249cc..d93d9070c 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux @@ -36,7 +36,7 @@ (|> expected /.format (.result /.parser) - (try#each (# /.equivalence = expected)) + (try#each (at /.equivalence = expected)) (try.else false))) )) ))) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux index 7ba555256..c5c8f0e71 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux @@ -43,7 +43,7 @@ /.format list (.result /.parser) - (try#each (# /.equivalence = expected)) + (try#each (at /.equivalence = expected)) (try.else false)))) /value.test diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux index 366ec1955..56ffe1ea1 100644 --- a/stdlib/source/test/aedifex/artifact/time.lux +++ b/stdlib/source/test/aedifex/artifact/time.lux @@ -43,7 +43,7 @@ (|> expected /.format (.result /.parser) - (try#each (# /.equivalence = expected)) + (try#each (at /.equivalence = expected)) (try.else false)))) (do random.monad [expected ..random] @@ -51,7 +51,7 @@ (|> expected /.instant /.of_instant - (try#each (# /.equivalence = expected)) + (try#each (at /.equivalence = expected)) (try.else false)))) (_.coverage [/.epoch] (instant#= instant.epoch (/.instant /.epoch))) diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux index 12c4a0da1..ca23a1d2a 100644 --- a/stdlib/source/test/aedifex/artifact/time/date.lux +++ b/stdlib/source/test/aedifex/artifact/time/date.lux @@ -49,13 +49,13 @@ (|> expected /.format (.result /.parser) - (try#each (# /.equivalence = expected)) + (try#each (at /.equivalence = expected)) (try.else false))) (_.coverage [/.value /.date] (|> expected /.value /.date - (try#each (# /.equivalence = expected)) + (try#each (at /.equivalence = expected)) (try.else false))) (_.coverage [/.year_is_out_of_range] (case (/.date candidate) diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux index c3b866451..a242ae3a4 100644 --- a/stdlib/source/test/aedifex/artifact/time/time.lux +++ b/stdlib/source/test/aedifex/artifact/time/time.lux @@ -35,6 +35,6 @@ (|> expected /.format (.result /.parser) - (try#each (# time.equivalence = expected)) + (try#each (at time.equivalence = expected)) (try.else false)))) ))) diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux index 006ec6566..d1efdb17f 100644 --- a/stdlib/source/test/aedifex/artifact/versioning.lux +++ b/stdlib/source/test/aedifex/artifact/versioning.lux @@ -42,13 +42,13 @@ /.format list (.result /.parser) - (try#each (# /.equivalence = expected)) + (try#each (at /.equivalence = expected)) (try.else false)))) (_.coverage [/.init] (|> /.init /.format list (.result /.parser) - (try#each (# /.equivalence = /.init)) + (try#each (at /.equivalence = /.init)) (try.else false))) ))) diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux index de334b03d..b9762e9ee 100644 --- a/stdlib/source/test/aedifex/cache.lux +++ b/stdlib/source/test/aedifex/cache.lux @@ -64,7 +64,7 @@ (def: content (Random Binary) (do [! random.monad] - [content_size (# ! each (n.% 100) random.nat)] + [content_size (at ! each (n.% 100) random.nat)] (_binary.random content_size))) (def: package @@ -82,7 +82,7 @@ (do [! random.monad] [[main_dependency main_package] ..package dependencies (|> (//package.dependencies main_package) - (# try.monad each set.list) + (at try.monad each set.list) (try.else (list)) (monad.each ! (function (_ dependency) (do ! @@ -105,7 +105,7 @@ home (random.alphabetic 5) working_directory (random.alphabetic 5) .let [fs (is (file.System Async) - (file.mock (# file.default separator))) + (file.mock (at file.default separator))) program (program.async (program.mock environment.empty home working_directory))]] (in (do async.monad [wrote! (/.write_one program fs dependency expected_package) @@ -115,9 +115,9 @@ (do try.monad [_ wrote! actual_package read!] - (in (# //package.equivalence = - (has //package.#origin {//repository/origin.#Local ""} expected_package) - actual_package))))))))) + (in (at //package.equivalence = + (has //package.#origin {//repository/origin.#Local ""} expected_package) + actual_package))))))))) (def: plural Test @@ -126,7 +126,7 @@ home (random.alphabetic 5) working_directory (random.alphabetic 5) .let [fs (is (file.System Async) - (file.mock (# file.default separator))) + (file.mock (at file.default separator))) program (program.async (program.mock environment.empty home working_directory))]] (in (do async.monad [wrote! (/.write_all program fs expected) @@ -136,11 +136,11 @@ (do try.monad [_ wrote! actual read!] - (in (# //dependency/resolution.equivalence = - (# dictionary.functor each - (has //package.#origin {//repository/origin.#Local ""}) - expected) - actual))))))))) + (in (at //dependency/resolution.equivalence = + (at dictionary.functor each + (has //package.#origin {//repository/origin.#Local ""}) + expected) + actual))))))))) (def: .public test Test diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux index 9cc571bbe..fe15d204e 100644 --- a/stdlib/source/test/aedifex/cli.lux +++ b/stdlib/source/test/aedifex/cli.lux @@ -78,8 +78,8 @@ (cli.result /.command) (pipe.case {try.#Success [names actual]} - (and (# (list.equivalence text.equivalence) = (list //.default) names) - (# /.equivalence = expected actual)) + (and (at (list.equivalence text.equivalence) = (list //.default) names) + (at /.equivalence = expected actual)) {try.#Failure error} false))))) @@ -96,8 +96,8 @@ (cli.result /.command) (pipe.case {try.#Success [actual_profile actual_command]} - (and (# (list.equivalence text.equivalence) = (list expected_profile //.default) actual_profile) - (# /.equivalence = expected_command actual_command)) + (and (at (list.equivalence text.equivalence) = (list expected_profile //.default) actual_profile) + (at /.equivalence = expected_command actual_command)) {try.#Failure error} false))))) diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux index c057d173d..b483ecd2c 100644 --- a/stdlib/source/test/aedifex/command/auto.lux +++ b/stdlib/source/test/aedifex/command/auto.lux @@ -57,8 +57,8 @@ (if (n.= expected_runs actual_runs) (in {try.#Failure end_signal}) (do (try.with !) - [_ (# fs write dummy_file (# utf8.codec encoded (%.nat actual_runs))) - _ (# fs modify dummy_file (|> actual_runs .int instant.of_millis))] + [_ (at fs write dummy_file (at utf8.codec encoded (%.nat actual_runs))) + _ (at fs modify dummy_file (|> actual_runs .int instant.of_millis))] (in [shell.normal []])))))])) (def: .public test @@ -66,14 +66,14 @@ (<| (_.covering /._) (do [! random.monad] [end_signal (random.alphabetic 5) - .let [/ (# file.default separator) + .let [/ (at file.default separator) [fs watcher] (watch.mock /)] program (random.alphabetic 5) target (random.alphabetic 5) source (random.alphabetic 5) .let [empty_profile (is Profile - (# ///.monoid identity)) + (at ///.monoid identity)) with_target (is (-> Profile Profile) (has ///.#target target)) with_program (is (-> Profile Profile) @@ -87,18 +87,18 @@ home (random.alphabetic 5) working_directory (random.alphabetic 5) - expected_runs (# ! each (|>> (n.% 10) (n.max 2)) random.nat) - dummy_path (# ! each (|>> (format source /)) (random.alphabetic 5)) + expected_runs (at ! each (|>> (n.% 10) (n.max 2)) random.nat) + dummy_path (at ! each (|>> (format source /)) (random.alphabetic 5)) [compiler resolution] $build.resolution] (all _.and (_.coverage [/.delay] (n.> 0 /.delay)) (in (do async.monad [verdict (do ///action.monad - [_ (# fs make_directory source) - _ (# fs write dummy_path (binary.empty 0)) + [_ (at fs make_directory source) + _ (at fs write dummy_path (binary.empty 0)) .let [[@runs command] (..command expected_runs end_signal fs dummy_path)] - _ (# watcher poll [])] + _ (at watcher poll [])] (do [! async.monad] [no_dangling_process! (|> profile (has ///.#lux compiler) @@ -108,16 +108,16 @@ fs (shell.async ($build.good_shell [])) resolution) - (# ! each (|>> (pipe.case - {try.#Failure error} - (same? end_signal error) + (at ! each (|>> (pipe.case + {try.#Failure error} + (same? end_signal error) - {try.#Success _} - false)))) + {try.#Success _} + false)))) correct_number_of_runs! (|> @runs atom.read! async.future - (# ! each (n.= expected_runs)))] + (at ! each (n.= expected_runs)))] (in {try.#Success (and correct_number_of_runs! no_dangling_process!)})))] (_.coverage' [/.do!] diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux index 1bb77d307..25302fa71 100644 --- a/stdlib/source/test/aedifex/command/build.lux +++ b/stdlib/source/test/aedifex/command/build.lux @@ -142,14 +142,14 @@ (do [! random.monad] [last_read (random.alphabetic 5) last_error (random.alphabetic 5) - .let [fs (file.mock (# file.default separator)) + .let [fs (file.mock (at file.default separator)) shell (shell.async (..good_shell []))] program (random.alphabetic 5) target (random.alphabetic 5) home (random.alphabetic 5) working_directory (random.alphabetic 5) .let [empty_profile (is Profile - (# ///.monoid identity)) + (at ///.monoid identity)) with_target (is (-> Profile Profile) (has ///.#target target)) with_program (is (-> Profile Profile) @@ -186,8 +186,8 @@ [_ (/.do! console (program.async (program.mock environment.empty home working_directory)) fs shell resolution (has ///.#lux compiler profile)) - start (# console read_line []) - end (# console read_line [])] + start (at console read_line []) + end (at console read_line [])] (in (and (text#= /.start start) (text#= /.success end))))] (_.coverage' [/.do! @@ -208,8 +208,8 @@ [_ (/.do! console (program.async (program.mock environment.empty home working_directory)) fs (shell.async (..bad_shell [])) resolution (has ///.#lux compiler profile)) - start (# console read_line []) - end (# console read_line [])] + start (at console read_line []) + end (at console read_line [])] (in (and (text#= /.start start) (text#= /.failure end))))] (_.coverage' [/.failure] @@ -228,17 +228,17 @@ [verdict (do ///action.monad [process (shell [environment.empty working_directory "" (list "")]) _ ( console process) - actual/0 (# console read_line []) - actual/1 (# console read_line []) - actual/2 (# console read_line []) - end! (|> (# console read_line []) - (# ! each (|>> (pipe.case - {try.#Failure error} - true - - {try.#Success _} - false) - {try.#Success})))] + actual/0 (at console read_line []) + actual/1 (at console read_line []) + actual/2 (at console read_line []) + end! (|> (at console read_line []) + (at ! each (|>> (pipe.case + {try.#Failure error} + true + + {try.#Success _} + false) + {try.#Success})))] (in (and (text#= expected/0 actual/0) (text#= expected/1 actual/1) (text#= expected/2 actual/2) diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux index e7bf81855..4ead63063 100644 --- a/stdlib/source/test/aedifex/command/clean.lux +++ b/stdlib/source/test/aedifex/command/clean.lux @@ -43,7 +43,7 @@ (def: (files prefix) (-> Path (Random (List [Path Binary]))) (do [! random.monad] - [count (# ! each (n.% 10) random.nat) + [count (at ! each (n.% 10) random.nat) names (random.set text.hash count ..node_name) contents (random.list count ($binary.random 100))] (in (list.zipped_2 (list#each (|>> (format prefix)) (set.list names)) @@ -51,7 +51,7 @@ (def: (create_file! fs [path content]) (-> (file.System Async) [Path Binary] (Async (Try Any))) - (# fs write path content)) + (at fs write path content)) (def: (create_directory! fs path files) (-> (file.System Async) Path (List [Path Binary]) (Async (Try Any))) @@ -63,11 +63,11 @@ (def: (directory_exists? fs) (-> (file.System Async) Path (Async (Try Bit))) - (|>> (# fs directory?) (try.lifted async.monad))) + (|>> (at fs directory?) (try.lifted async.monad))) (def: (file_exists? fs) (-> (file.System Async) Path (Async (Try Bit))) - (|>> (# fs file?) (try.lifted async.monad))) + (|>> (at fs file?) (try.lifted async.monad))) (def: (assets_exist? fs directory_path files) (-> (file.System Async) Path (List [Path Binary]) (Async (Try Bit))) @@ -87,8 +87,8 @@ [context ..node_name target ..node_name sub ..node_name - .let [fs (file.mock (# file.default separator)) - / (# fs separator) + .let [fs (file.mock (at file.default separator)) + / (at fs separator) target_path (format context / target) sub_path (format target_path / sub)] direct_files (..files (format target_path /)) @@ -107,7 +107,7 @@ context_exists!/post (..directory_exists? fs context) target_exists!/post (..assets_exist? fs target_path direct_files) sub_exists!/post (..assets_exist? fs sub_path sub_files) - logging (# console read_line [])] + logging (at console read_line [])] (in (and (and context_exists!/pre context_exists!/post) (and target_exists!/pre diff --git a/stdlib/source/test/aedifex/command/deploy.lux b/stdlib/source/test/aedifex/command/deploy.lux index 0a4e08166..d62e027dd 100644 --- a/stdlib/source/test/aedifex/command/deploy.lux +++ b/stdlib/source/test/aedifex/command/deploy.lux @@ -62,7 +62,7 @@ shell (shell.async ($build.bad_shell []))] _ ($install.make_sources! fs (the ///.#sources profile)) _ (/.do! program shell console local remote fs artifact profile)] - (# console read_line []))) + (at console read_line []))) (def: .public test Test @@ -78,7 +78,7 @@ home (random.alphabetic 5) working_directory (random.alphabetic 5) - .let [fs (file.mock (# file.default separator)) + .let [fs (file.mock (at file.default separator)) program (program.async (program.mock environment.empty home working_directory)) local (///repository/local.repository program fs) remote (///repository.mock $repository.mock @@ -90,20 +90,20 @@ (the ///.#sources) set.list (export.library fs) - (# ! each (format.result tar.writer))) + (at ! each (format.result tar.writer))) - actual_pom (# remote download (///repository/remote.uri (the ///artifact.#version artifact) artifact ///artifact/extension.pom)) - actual_library (# remote download (///repository/remote.uri (the ///artifact.#version artifact) artifact ///artifact/extension.lux_library)) - actual_sha-1 (# remote download (///repository/remote.uri (the ///artifact.#version artifact) artifact (format ///artifact/extension.lux_library ///artifact/extension.sha-1))) - actual_sha-1 (# async.monad in - (do try.monad - [actual_sha-1 (# utf8.codec decoded actual_sha-1)] - (# ///hash.sha-1_codec decoded actual_sha-1))) - actual_md5 (# remote download (///repository/remote.uri (the ///artifact.#version artifact) artifact (format ///artifact/extension.lux_library ///artifact/extension.md5))) - actual_md5 (# async.monad in - (do try.monad - [actual_md5 (# utf8.codec decoded actual_md5)] - (# ///hash.md5_codec decoded actual_md5))) + actual_pom (at remote download (///repository/remote.uri (the ///artifact.#version artifact) artifact ///artifact/extension.pom)) + actual_library (at remote download (///repository/remote.uri (the ///artifact.#version artifact) artifact ///artifact/extension.lux_library)) + actual_sha-1 (at remote download (///repository/remote.uri (the ///artifact.#version artifact) artifact (format ///artifact/extension.lux_library ///artifact/extension.sha-1))) + actual_sha-1 (at async.monad in + (do try.monad + [actual_sha-1 (at utf8.codec decoded actual_sha-1)] + (at ///hash.sha-1_codec decoded actual_sha-1))) + actual_md5 (at remote download (///repository/remote.uri (the ///artifact.#version artifact) artifact (format ///artifact/extension.lux_library ///artifact/extension.md5))) + actual_md5 (at async.monad in + (do try.monad + [actual_md5 (at utf8.codec decoded actual_md5)] + (at ///hash.md5_codec decoded actual_md5))) .let [succeeded! (text#= /.success logging) @@ -113,18 +113,18 @@ actual_library) deployed_pom! - (binary#= (|> expected_pom (# xml.codec encoded) (# utf8.codec encoded)) + (binary#= (|> expected_pom (at xml.codec encoded) (at utf8.codec encoded)) actual_pom) deployed_sha-1! - (# ///hash.equivalence = - (///hash.sha-1 expected_library) - actual_sha-1) + (at ///hash.equivalence = + (///hash.sha-1 expected_library) + actual_sha-1) deployed_md5! - (# ///hash.equivalence = - (///hash.md5 expected_library) - actual_md5)]] + (at ///hash.equivalence = + (///hash.md5 expected_library) + actual_md5)]] (in (and succeeded! deployed_library! deployed_pom! diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux index c5e496e29..d9af2990b 100644 --- a/stdlib/source/test/aedifex/command/deps.lux +++ b/stdlib/source/test/aedifex/command/deps.lux @@ -61,7 +61,7 @@ dependee_artifact $///artifact.random depender_artifact (random.only (predicate.complement - (# ///artifact.equivalence = dependee_artifact)) + (at ///artifact.equivalence = dependee_artifact)) $///artifact.random) [_ dependee_package] $///package.random @@ -72,11 +72,11 @@ depender [///dependency.#artifact depender_artifact ///dependency.#type ///artifact/type.lux_library] - dependee_pom (|> (# ///.monoid identity) + dependee_pom (|> (at ///.monoid identity) (has ///.#identity {.#Some dependee_artifact}) ///pom.write try.trusted) - depender_pom (|> (# ///.monoid identity) + depender_pom (|> (at ///.monoid identity) (has ///.#identity {.#Some depender_artifact}) (has ///.#dependencies (set.of_list ///dependency.hash (list dependee))) ///pom.write @@ -85,15 +85,15 @@ dependee_package (|> dependee_package (has ///package.#origin {///repository/origin.#Remote ""}) (has ///package.#pom [dependee_pom - (|> dependee_pom (# xml.codec encoded) (# utf8.codec encoded)) + (|> dependee_pom (at xml.codec encoded) (at utf8.codec encoded)) {///dependency/status.#Unverified}])) depender_package (|> depender_package (has ///package.#origin {///repository/origin.#Remote ""}) (has ///package.#pom [depender_pom - (|> depender_pom (# xml.codec encoded) (# utf8.codec encoded)) + (|> depender_pom (at xml.codec encoded) (at utf8.codec encoded)) {///dependency/status.#Unverified}])) - fs (file.mock (# file.default separator)) + fs (file.mock (at file.default separator)) program (program.async (program.mock environment.empty home working_directory))]] (in (do async.monad [verdict (do ///action.monad @@ -102,7 +102,7 @@ pre (|> ///dependency/resolution.empty (dictionary.has dependee dependee_package) (///dependency/deployment.all local)) - post (|> (# ///.monoid identity) + post (|> (at ///.monoid identity) (has ///.#dependencies (set.of_list ///dependency.hash (list dependee depender))) (/.do! console local (list (///repository.mock ($///dependency/resolution.single depender_artifact depender_package) diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux index 4de5c5226..55bb762d0 100644 --- a/stdlib/source/test/aedifex/command/install.lux +++ b/stdlib/source/test/aedifex/command/install.lux @@ -40,7 +40,7 @@ (def: .public (make_sources! fs sources) (-> (file.System Async) (Set file.Path) (Action (List Any))) - (let [/ (# fs separator) + (let [/ (at fs separator) ! ///action.monad] (|> sources set.list @@ -57,18 +57,18 @@ [.let [console ($version.echo "")] _ (..make_sources! fs (the ///.#sources sample)) _ (/.do! console fs (///repository/local.repository program fs) sample)] - (# console read_line []))) + (at console read_line []))) (def: .public test Test (<| (_.covering /._) (do [! random.monad] [identity $artifact.random - sample (# ! each (has ///.#identity {.#Some identity}) - $profile.random) + sample (at ! each (has ///.#identity {.#Some identity}) + $profile.random) home (random.alphabetic 5) working_directory (random.alphabetic 5) - .let [/ (# file.default separator)]] + .let [/ (at file.default separator)]] (all _.and (in (do [! async.monad] [.let [fs (file.mock /) @@ -78,16 +78,16 @@ library_path (format artifact_path ///artifact/extension.lux_library) pom_path (format artifact_path ///artifact/extension.pom)] verdict (do [! ///action.monad] - [succeeded! (# ! each (text#= /.success) - (..execute! program fs sample)) + [succeeded! (at ! each (text#= /.success) + (..execute! program fs sample)) library_exists! (|> library_path (format home /) - (# fs file?) - (# async.monad each (|>> {try.#Success}))) + (at fs file?) + (at async.monad each (|>> {try.#Success}))) pom_exists! (|> pom_path (format home /) - (# fs file?) - (# async.monad each (|>> {try.#Success})))] + (at fs file?) + (at async.monad each (|>> {try.#Success})))] (in (and succeeded! library_exists! pom_exists!)))] diff --git a/stdlib/source/test/aedifex/command/pom.lux b/stdlib/source/test/aedifex/command/pom.lux index 75509644d..278d91209 100644 --- a/stdlib/source/test/aedifex/command/pom.lux +++ b/stdlib/source/test/aedifex/command/pom.lux @@ -35,7 +35,7 @@ (<| (_.covering /._) (do random.monad [sample @profile.random - .let [fs (file.mock (# file.default separator))]] + .let [fs (file.mock (at file.default separator))]] (in (do [! async.monad] [.let [console (@version.echo "")] outcome (/.do! console fs sample)] @@ -44,14 +44,14 @@ (do ! [verdict (do ///action.monad [expected (|> (///pom.write sample) - (try#each (|>> (# xml.codec encoded) - (# utf8.codec encoded))) - (# ! in)) - actual (# fs read ///pom.file) + (try#each (|>> (at xml.codec encoded) + (at utf8.codec encoded))) + (at ! in)) + actual (at fs read ///pom.file) - logging! (# ///action.monad each - (text#= /.success) - (# console read_line [])) + logging! (at ///action.monad each + (text#= /.success) + (at console read_line [])) .let [expected_content! (binary#= expected actual)]] diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux index 50bd8e183..9b01c2feb 100644 --- a/stdlib/source/test/aedifex/command/test.lux +++ b/stdlib/source/test/aedifex/command/test.lux @@ -48,7 +48,7 @@ home (random.alphabetic 5) working_directory (random.alphabetic 5) .let [empty_profile (is Profile - (# ///.monoid identity)) + (at ///.monoid identity)) with_target (is (-> Profile Profile) (has ///.#target target)) with_test (is (-> Profile Profile) @@ -59,17 +59,17 @@ with_target)] [compiler resolution] @build.resolution] (all _.and - (let [fs (file.mock (# file.default separator)) + (let [fs (file.mock (at file.default separator)) console (@version.echo "")] (in (do async.monad [verdict (do ///action.monad [_ (/.do! console (program.async (program.mock environment.empty home working_directory)) fs (shell.async (@build.good_shell [])) resolution (has ///.#lux compiler profile)) - build_start (# console read_line []) - build_end (# console read_line []) - test_start (# console read_line []) - test_end (# console read_line [])] + build_start (at console read_line []) + build_end (at console read_line []) + test_start (at console read_line []) + test_end (at console read_line [])] (in (and (and (text#= //build.start build_start) (text#= //build.success build_end)) (and (text#= /.start test_start) @@ -77,7 +77,7 @@ (_.coverage' [/.do! /.start /.success] (try.else false verdict))))) - (let [fs (file.mock (# file.default separator)) + (let [fs (file.mock (at file.default separator)) console (@version.echo "")] (in (do async.monad [verdict (do ///action.monad @@ -102,10 +102,10 @@ _ (/.do! console (program.async (program.mock environment.empty home working_directory)) fs (shell.async bad_shell) resolution (has ///.#lux compiler profile)) - build_start (# console read_line []) - build_end (# console read_line []) - test_start (# console read_line []) - test_end (# console read_line [])] + build_start (at console read_line []) + build_end (at console read_line []) + test_start (at console read_line []) + test_end (at console read_line [])] (in (and (and (text#= //build.start build_start) (text#= //build.success build_end)) (and (text#= /.start test_start) diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux index fbd864d4b..bb92fadfb 100644 --- a/stdlib/source/test/aedifex/command/version.lux +++ b/stdlib/source/test/aedifex/command/version.lux @@ -71,7 +71,7 @@ [.let [console (..echo "")] verdict (do (try.with async.monad) [_ (/.do! console profile) - logging (# console read_line [])] + logging (at console read_line [])] (in (text#= (version.format lux_version.latest) logging)))] (_.coverage' [/.do!] diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux index ab15af81c..794464839 100644 --- a/stdlib/source/test/aedifex/dependency/deployment.lux +++ b/stdlib/source/test/aedifex/dependency/deployment.lux @@ -147,8 +147,8 @@ Test (<| (_.covering /._) (do [! random.monad] - [address (# ! each (text.suffix uri.separator) - (random.upper_case 10))] + [address (at ! each (text.suffix uri.separator) + (random.upper_case 10))] (all _.and (do [! random.monad] [[dependency expected_artifact package] ..bundle @@ -165,12 +165,12 @@ (try.else false)))))) (do [! random.monad] [.let [hash (is (Hash [Dependency Artifact Package]) - (# hash.functor each (|>> product.right product.left product.left) - text.hash))] - num_bundles (# ! each (n.% 10) random.nat) + (at hash.functor each (|>> product.right product.left product.left) + text.hash))] + num_bundles (at ! each (n.% 10) random.nat) bundles (|> ..bundle (random.set hash num_bundles) - (# ! each set.list)) + (at ! each set.list)) .let [resolution (list#mix (function (_ [dependency expected_artifact package] resolution) (dictionary.has dependency package resolution)) resolution.empty diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux index eaec8b475..aeeb49cb2 100644 --- a/stdlib/source/test/aedifex/dependency/resolution.lux +++ b/stdlib/source/test/aedifex/dependency/resolution.lux @@ -77,14 +77,14 @@ (def: sha-1 (-> Binary Binary) (|>> ///hash.sha-1 - (# ///hash.sha-1_codec encoded) - (# utf8.codec encoded))) + (at ///hash.sha-1_codec encoded) + (at utf8.codec encoded))) (def: md5 (-> Binary Binary) (|>> ///hash.md5 - (# ///hash.md5_codec encoded) - (# utf8.codec encoded))) + (at ///hash.md5_codec encoded) + (at utf8.codec encoded))) (def: .public nope (Mock Any) @@ -112,8 +112,8 @@ (|> package (the ///package.#pom) product.left - (# xml.codec encoded) - (# utf8.codec encoded)))] + (at xml.codec encoded) + (at utf8.codec encoded)))] (cond (text.ends_with? ///artifact/extension.lux_library uri) {try.#Success [state library]} @@ -166,23 +166,23 @@ {try.#Success [state (|> expected_package (the ///package.#pom) product.left - (# xml.codec encoded) - (# utf8.codec encoded))]} + (at xml.codec encoded) + (at utf8.codec encoded))]} (text.ends_with? ..pom_sha-1 uri) {try.#Success [state (|> dummy_package (the ///package.#pom) product.left - (# xml.codec encoded) - (# utf8.codec encoded) + (at xml.codec encoded) + (at utf8.codec encoded) ..sha-1)]} (text.ends_with? ..pom_md5 uri) {try.#Success [state (|> expected_package (the ///package.#pom) product.left - (# xml.codec encoded) - (# utf8.codec encoded) + (at xml.codec encoded) + (at utf8.codec encoded) ..md5)]} ... else @@ -219,23 +219,23 @@ {try.#Success [state (|> expected_package (the ///package.#pom) product.left - (# xml.codec encoded) - (# utf8.codec encoded))]} + (at xml.codec encoded) + (at utf8.codec encoded))]} (text.ends_with? ..pom_sha-1 uri) {try.#Success [state (|> expected_package (the ///package.#pom) product.left - (# xml.codec encoded) - (# utf8.codec encoded) + (at xml.codec encoded) + (at utf8.codec encoded) ..sha-1)]} (text.ends_with? ..pom_md5 uri) {try.#Success [state (|> dummy_package (the ///package.#pom) product.left - (# xml.codec encoded) - (# utf8.codec encoded) + (at xml.codec encoded) + (at utf8.codec encoded) ..md5)]} ... else @@ -251,7 +251,7 @@ [_ expected_package] $///package.random [_ dummy_package] (random.only (|>> product.right (has ///package.#pom (the ///package.#pom expected_package)) - (# ///package.equivalence = expected_package) + (at ///package.equivalence = expected_package) not) $///package.random) .let [good (..single expected_artifact expected_package) @@ -265,9 +265,9 @@ (_.coverage' [/.one] (case actual_package {try.#Success actual_package} - (# ///package.equivalence = - (has ///package.#origin {///repository/origin.#Remote ""} expected_package) - actual_package) + (at ///package.equivalence = + (has ///package.#origin {///repository/origin.#Remote ""} expected_package) + actual_package) {try.#Failure _} false)))) @@ -296,7 +296,7 @@ [_ expected_package] $///package.random [_ dummy_package] (random.only (|>> product.right (has ///package.#pom (the ///package.#pom expected_package)) - (# ///package.equivalence = expected_package) + (at ///package.equivalence = expected_package) not) $///package.random) .let [good (..single expected_artifact expected_package) @@ -314,9 +314,9 @@ (_.coverage' [/.any] (case actual_package {try.#Success actual_package} - (# ///package.equivalence = - (has ///package.#origin {///repository/origin.#Remote ""} expected_package) - actual_package) + (at ///package.equivalence = + (has ///package.#origin {///repository/origin.#Remote ""} expected_package) + actual_package) {try.#Failure _} false)))) @@ -341,11 +341,11 @@ (do random.monad [dependee_artifact $///artifact.random depender_artifact (random.only (predicate.complement - (# ///artifact.equivalence = dependee_artifact)) + (at ///artifact.equivalence = dependee_artifact)) $///artifact.random) ignored_artifact (random.only (predicate.complement - (predicate.and (# ///artifact.equivalence = dependee_artifact) - (# ///artifact.equivalence = depender_artifact))) + (predicate.and (at ///artifact.equivalence = dependee_artifact) + (at ///artifact.equivalence = depender_artifact))) $///artifact.random)] (in [dependee_artifact depender_artifact ignored_artifact]))) @@ -365,33 +365,33 @@ ignored [///dependency.#artifact ignored_artifact ///dependency.#type ///artifact/type.lux_library] - dependee_pom (|> (# ///.monoid identity) + dependee_pom (|> (at ///.monoid identity) (has ///.#identity {.#Some dependee_artifact}) ///pom.write try.trusted) - depender_pom (|> (# ///.monoid identity) + depender_pom (|> (at ///.monoid identity) (has ///.#identity {.#Some depender_artifact}) (has ///.#dependencies (set.of_list ///dependency.hash (list dependee))) ///pom.write try.trusted) - ignored_pom (|> (# ///.monoid identity) + ignored_pom (|> (at ///.monoid identity) (has ///.#identity {.#Some ignored_artifact}) ///pom.write try.trusted) dependee_package (has ///package.#pom [dependee_pom - (|> dependee_pom (# xml.codec encoded) (# utf8.codec encoded)) + (|> dependee_pom (at xml.codec encoded) (at utf8.codec encoded)) {///dependency/status.#Unverified}] dependee_package) depender_package (has ///package.#pom [depender_pom - (|> depender_pom (# xml.codec encoded) (# utf8.codec encoded)) + (|> depender_pom (at xml.codec encoded) (at utf8.codec encoded)) {///dependency/status.#Unverified}] depender_package) ignored_package (has ///package.#pom [ignored_pom - (|> ignored_pom (# xml.codec encoded) (# utf8.codec encoded)) + (|> ignored_pom (at xml.codec encoded) (at utf8.codec encoded)) {///dependency/status.#Unverified}] ignored_package)]] (in [[dependee depender ignored] diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux index a8b2e0d80..dfa36217b 100644 --- a/stdlib/source/test/aedifex/hash.lux +++ b/stdlib/source/test/aedifex/hash.lux @@ -30,8 +30,8 @@ (-> (-> Binary (/.Hash h)) (Random (/.Hash h)))) (do [! random.monad] - [size (# ! each (n.% 100) random.nat)] - (# ! each hash (_binary.random size)))) + [size (at ! each (n.% 100) random.nat)] + (at ! each hash (_binary.random size)))) (def: .public test Test @@ -51,13 +51,13 @@ (_.coverage [ ] (and (case ( (/.data expected)) {try.#Success actual} - (# /.equivalence = expected actual) + (at /.equivalence = expected actual) {try.#Failure error} false) - (case ( (# binary.monoid composite - (/.data expected) - (/.data expected))) + (case ( (at binary.monoid composite + (/.data expected) + (/.data expected))) {try.#Success actual} false @@ -80,9 +80,9 @@ [(do random.monad [expected (..random )] (_.coverage [] - (case (# decoded - (format (# encoded expected) - "AABBCC")) + (case (at decoded + (format (at encoded expected) + "AABBCC")) {try.#Success actual} false diff --git a/stdlib/source/test/aedifex/input.lux b/stdlib/source/test/aedifex/input.lux index 16c91c69a..874170bc2 100644 --- a/stdlib/source/test/aedifex/input.lux +++ b/stdlib/source/test/aedifex/input.lux @@ -45,23 +45,23 @@ Test (<| (_.covering /._) (do [! random.monad] - [expected (# ! each (has //.#parents (list)) $profile.random) + [expected (at ! each (has //.#parents (list)) $profile.random) .let [fs (is (file.System Async) - (file.mock (# file.default separator)))]] + (file.mock (at file.default separator)))]] (in (do async.monad [verdict (do //action.monad [.let [profile (|> expected (//project.project //.default) //format.project %.code - (# utf8.codec encoded))] - _ (# fs write //project.file profile) + (at utf8.codec encoded))] + _ (at fs write //project.file profile) actual (is (Async (Try Profile)) (/.read async.monad fs (list //.default)))] - (in (# //.equivalence = - (|> expected - (revised //.#sources ..with_default_source) - (revised //.#repositories ..with_default_repository)) - actual)))] + (in (at //.equivalence = + (|> expected + (revised //.#sources ..with_default_source) + (revised //.#repositories ..with_default_repository)) + actual)))] (_.coverage' [/.read] (try.else false verdict))))))) diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux index 34869e646..041bad539 100644 --- a/stdlib/source/test/aedifex/metadata/artifact.lux +++ b/stdlib/source/test/aedifex/metadata/artifact.lux @@ -48,12 +48,12 @@ (random.alphabetic 5) (random.list 5 (random.alphabetic 5)) (do [! random.monad] - [year (# ! each (|>> (n.% 9,000) (n.+ 1,000) .int) random.nat) - month (# ! each (|>> (n.% 12) (n.+ 1)) random.nat) - day_of_month (# ! each (|>> (n.% 28) (n.+ 1)) random.nat) - hour (# ! each (n.% 24) random.nat) - minute (# ! each (n.% 60) random.nat) - second (# ! each (n.% 60) random.nat)] + [year (at ! each (|>> (n.% 9,000) (n.+ 1,000) .int) random.nat) + month (at ! each (|>> (n.% 12) (n.+ 1)) random.nat) + day_of_month (at ! each (|>> (n.% 28) (n.+ 1)) random.nat) + hour (at ! each (n.% 24) random.nat) + minute (at ! each (n.% 60) random.nat) + second (at ! each (n.% 60) random.nat)] (in (try.trusted (do try.monad [year (year.year year) @@ -89,7 +89,7 @@ /.format list (.result /.parser) - (try#each (# /.equivalence = expected)) + (try#each (at /.equivalence = expected)) (try.else false)))) (_.coverage [/.uri] (text#= (//.remote_project_uri artifact) @@ -98,7 +98,7 @@ [home (random.lower_case 5) working_directory (random.lower_case 5) .let [program (program.async (program.mock environment.empty home working_directory)) - fs (file.mock (# file.default separator)) + fs (file.mock (at file.default separator)) repository (///repository/local.repository program fs)]] (in (do async.monad [wrote? (/.write repository artifact expected) @@ -109,7 +109,7 @@ {try.#Failure _} false) (case actual {try.#Success actual} - (# /.equivalence = expected actual) + (at /.equivalence = expected actual) {try.#Failure _} false)))))) diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux index c45b817cd..7cff9954a 100644 --- a/stdlib/source/test/aedifex/metadata/snapshot.lux +++ b/stdlib/source/test/aedifex/metadata/snapshot.lux @@ -52,12 +52,12 @@ (def: random_instant (Random Instant) (do [! random.monad] - [year (# ! each (|>> (n.% 9,000) (n.+ 1,000) .int) random.nat) - month (# ! each (|>> (n.% 12) (n.+ 1)) random.nat) - day_of_month (# ! each (|>> (n.% 28) (n.+ 1)) random.nat) - hour (# ! each (n.% 24) random.nat) - minute (# ! each (n.% 60) random.nat) - second (# ! each (n.% 60) random.nat)] + [year (at ! each (|>> (n.% 9,000) (n.+ 1,000) .int) random.nat) + month (at ! each (|>> (n.% 12) (n.+ 1)) random.nat) + day_of_month (at ! each (|>> (n.% 28) (n.+ 1)) random.nat) + hour (at ! each (n.% 24) random.nat) + minute (at ! each (n.% 60) random.nat) + second (at ! each (n.% 60) random.nat)] (in (try.trusted (do try.monad [year (year.year year) @@ -101,7 +101,7 @@ /.format list (.result /.parser) - (try#each (# /.equivalence = expected)) + (try#each (at /.equivalence = expected)) (try.else false))) (_.coverage [/.uri] (text#= (//.remote_artifact_uri artifact) @@ -110,7 +110,7 @@ [home (random.lower_case 5) working_directory (random.lower_case 5) .let [program (program.async (program.mock environment.empty home working_directory)) - fs (file.mock (# file.default separator)) + fs (file.mock (at file.default separator)) repository (///repository/local.repository program fs)]] (in (do async.monad [wrote? (/.write repository artifact expected) @@ -121,7 +121,7 @@ {try.#Failure _} false) (case actual {try.#Success actual} - (# /.equivalence = expected actual) + (at /.equivalence = expected actual) {try.#Failure _} false)))))) diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux index 6a7f0a960..2e669228a 100644 --- a/stdlib/source/test/aedifex/package.lux +++ b/stdlib/source/test/aedifex/package.lux @@ -43,7 +43,7 @@ (def: .public random (Random [//.Profile /.Package]) (do [! random.monad] - [content_size (# ! each (n.% 100) random.nat) + [content_size (at ! each (n.% 100) random.nat) content ($binary.random content_size) [profile pom] (random.one (function (_ profile) (try.maybe @@ -61,7 +61,7 @@ [[profile package] ..random] (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence (# ! each product.right ..random))) + ($equivalence.spec /.equivalence (at ! each product.right ..random))) (_.coverage [/.local?] (/.local? (has /.#origin {//origin.#Local "~/yolo"} package))) @@ -92,9 +92,9 @@ expected_md5 (//hash.md5 binary_pom)] (and (same? expected_pom actual_pom) (|> (do try.monad - [xml_pom (# utf8.codec decoded binary_pom) - decoded_pom (# xml.codec decoded xml_pom)] - (in (# xml.equivalence = actual_pom decoded_pom))) + [xml_pom (at utf8.codec decoded binary_pom) + decoded_pom (at xml.codec decoded xml_pom)] + (in (at xml.equivalence = actual_pom decoded_pom))) (try.else false)) (case pom_status {//status.#Verified actual_sha1 expected_md5} @@ -107,7 +107,7 @@ (let [expected (the //.#dependencies profile)] (case (/.dependencies package) {try.#Success actual} - (# set.equivalence = expected actual) + (at set.equivalence = expected actual) {try.#Failure error} false))) @@ -115,7 +115,7 @@ (let [expected (the //.#repositories profile)] (case (/.repositories package) {try.#Success actual} - (# set.equivalence = expected actual) + (at set.equivalence = expected actual) {try.#Failure error} false))) diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux index 050d3daef..945576470 100644 --- a/stdlib/source/test/aedifex/parser.lux +++ b/stdlib/source/test/aedifex/parser.lux @@ -40,14 +40,14 @@ (def: (list_of random) (All (_ a) (-> (Random a) (Random (List a)))) (do [! random.monad] - [size (# ! each (n.% 5) random.nat)] + [size (at ! each (n.% 5) random.nat)] (random.list size random))) (def: (dictionary_of key_hash key_random value_random) (All (_ k v) (-> (Hash k) (Random k) (Random v) (Random (Dictionary k v)))) - (# random.functor each - (dictionary.of_list key_hash) - (..list_of (random.and key_random value_random)))) + (at random.functor each + (dictionary.of_list key_hash) + (..list_of (random.and key_random value_random)))) (def: random (Random Project) @@ -69,7 +69,7 @@ (def: (with_empty_profile project) (-> Project Project) (if (dictionary.empty? project) - (//project.project //.default (# //.monoid identity)) + (//project.project //.default (at //.monoid identity)) project)) (def: .public test @@ -94,7 +94,7 @@ ..with_default_sources ..with_default_repository)])) (dictionary.of_list text.hash) - (# //project.equivalence = actual)) + (at //project.equivalence = actual)) {try.#Failure error} false)))))) diff --git a/stdlib/source/test/aedifex/pom.lux b/stdlib/source/test/aedifex/pom.lux index 3a58b340c..ab19c1c7f 100644 --- a/stdlib/source/test/aedifex/pom.lux +++ b/stdlib/source/test/aedifex/pom.lux @@ -39,11 +39,11 @@ {.#Some _}] (case (.result /.parser (list pom)) {try.#Success actual} - (# //.equivalence = - (|> (# //.monoid identity) - (has //.#dependencies (the //.#dependencies expected)) - (has //.#repositories (the //.#repositories expected))) - actual) + (at //.equivalence = + (|> (at //.monoid identity) + (has //.#dependencies (the //.#dependencies expected)) + (has //.#repositories (the //.#repositories expected))) + actual) {try.#Failure error} false) diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux index d45ac5fa9..5a040973e 100644 --- a/stdlib/source/test/aedifex/profile.lux +++ b/stdlib/source/test/aedifex/profile.lux @@ -79,20 +79,20 @@ (def: (list_of random) (All (_ a) (-> (Random a) (Random (List a)))) (do [! random.monad] - [size (# ! each (n.% 5) random.nat)] + [size (at ! each (n.% 5) random.nat)] (random.list size random))) (def: (set_of hash random) (All (_ a) (-> (Hash a) (Random a) (Random (Set a)))) - (# random.functor each - (set.of_list hash) - (..list_of random))) + (at random.functor each + (set.of_list hash) + (..list_of random))) (def: (dictionary_of key_hash key_random value_random) (All (_ k v) (-> (Hash k) (Random k) (Random v) (Random (Dictionary k v)))) - (# random.functor each - (dictionary.of_list key_hash) - (..list_of (random.and key_random value_random)))) + (at random.functor each + (dictionary.of_list key_hash) + (..list_of (random.and key_random value_random)))) (def: info (Random /.Info) @@ -162,11 +162,11 @@ (_.coverage [/.default] (text#= "" /.default)) (_.coverage [/.default_lux] - (|> (# /.monoid identity) + (|> (at /.monoid identity) (the /.#lux) (same? /.default_lux))) (_.coverage [/.default_target] - (|> (# /.monoid identity) + (|> (at /.monoid identity) (the /.#target) (same? /.default_target))) ))))) diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux index 61afbc9da..d0f658040 100644 --- a/stdlib/source/test/aedifex/project.lux +++ b/stdlib/source/test/aedifex/project.lux @@ -63,24 +63,24 @@ (not (text#= dummy_name name)) (not (text#= sub_name name)))) (random.alphabetic 1)) - .let [project (all (# /.monoid composite) + .let [project (all (at /.monoid composite) (/.project super_name super_profile) (/.project dummy_name dummy_profile) (/.project sub_name (has //.#parents (list super_name) sub_profile))) - circular (all (# /.monoid composite) + circular (all (at /.monoid composite) (/.project super_name (has //.#parents (list sub_name) super_profile)) (/.project dummy_name dummy_profile) (/.project sub_name (has //.#parents (list super_name) sub_profile)))]] (all _.and (_.coverage [/.profile] (and (|> (/.profile project super_name) - (try#each (# //.equivalence = super_profile)) + (try#each (at //.equivalence = super_profile)) (try.else false)) (|> (/.profile project dummy_name) - (try#each (# //.equivalence = dummy_profile)) + (try#each (at //.equivalence = dummy_profile)) (try.else false)) (|> (/.profile project sub_name) - (try#each (# //.equivalence = (# //.monoid composite sub_profile super_profile))) + (try#each (at //.equivalence = (at //.monoid composite sub_profile super_profile))) (try.else false)))) (_.coverage [/.unknown_profile] (case (/.profile project fake_name) diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux index 160410bc4..93bb28f1d 100644 --- a/stdlib/source/test/aedifex/repository/local.lux +++ b/stdlib/source/test/aedifex/repository/local.lux @@ -35,13 +35,13 @@ repo (/.repository program fs)] uri (random.lower_case 10) - expected (# ! each (# utf8.codec encoded) - (random.lower_case 10))] + expected (at ! each (at utf8.codec encoded) + (random.lower_case 10))] (all _.and (in (do async.monad - [before_upload (# repo download uri) - _ (# repo upload uri expected) - actual (# repo download uri)] + [before_upload (at repo download uri) + _ (at repo upload uri expected) + actual (at repo download uri)] (_.coverage' [/.repository] (and (case before_upload {try.#Success _} false diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux index 50ae42a09..440a74ac5 100644 --- a/stdlib/source/test/aedifex/repository/remote.lux +++ b/stdlib/source/test/aedifex/repository/remote.lux @@ -33,7 +33,7 @@ (def: (url_body url) (-> URL (@http.Body IO)) - (let [url (# utf8.codec encoded url)] + (let [url (at utf8.codec encoded url)] (function (_ _) (io.io {try.#Success [(binary.size url) url]})))) @@ -90,21 +90,21 @@ user (random.lower_case 10) password (random.lower_case 10) - content (# ! each (# utf8.codec encoded) - (random.lower_case 10))] + content (at ! each (at utf8.codec encoded) + (random.lower_case 10))] (all _.and (_.coverage [/.repository /.user_agent /.Address] (let [repo (/.repository (..good_http user password) {.#Some [//identity.#user user //identity.#password password]} address)] - (and (|> (# repo download uri) + (and (|> (at repo download uri) io.run! - (try#each (# utf8.codec decoded)) + (try#each (at utf8.codec decoded)) try#conjoint (try#each (text#= (format address uri))) (try.else false)) - (|> (# repo upload uri content) + (|> (at repo upload uri content) io.run! (try#each (function.constant true)) (try.else false))))) @@ -112,7 +112,7 @@ (let [repo (/.repository (..good_http user password) {.#None} address)] - (case (io.run! (# repo upload uri content)) + (case (io.run! (at repo upload uri content)) {try.#Failure error} (exception.match? /.upload_failure error) @@ -122,7 +122,7 @@ (let [repo (/.repository ..bad_http {.#None} address)] - (case (io.run! (# repo download uri)) + (case (io.run! (at repo download uri)) {try.#Failure error} (exception.match? /.download_failure error) -- cgit v1.2.3