From 94e5802f594a73245fce0fbd885103b8bf210d57 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 2 Dec 2022 19:33:00 -0400 Subject: Added some simple time-series handling machinery. --- 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 | 14 ++--- stdlib/source/test/aedifex/cli.lux | 8 +-- stdlib/source/test/aedifex/command/auto.lux | 22 ++++---- stdlib/source/test/aedifex/command/build.lux | 22 ++++---- stdlib/source/test/aedifex/command/clean.lux | 14 ++--- stdlib/source/test/aedifex/command/deploy.lux | 36 ++++++------- stdlib/source/test/aedifex/command/deps.lux | 14 ++--- stdlib/source/test/aedifex/command/install.lux | 18 +++---- stdlib/source/test/aedifex/command/pom.lux | 14 ++--- stdlib/source/test/aedifex/command/test.lux | 22 ++++---- stdlib/source/test/aedifex/command/version.lux | 2 +- .../source/test/aedifex/dependency/deployment.lux | 8 +-- .../source/test/aedifex/dependency/resolution.lux | 62 +++++++++++----------- stdlib/source/test/aedifex/hash.lux | 12 ++--- stdlib/source/test/aedifex/input.lux | 10 ++-- 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 | 8 +-- stdlib/source/test/aedifex/pom.lux | 4 +- stdlib/source/test/aedifex/profile.lux | 10 ++-- stdlib/source/test/aedifex/project.lux | 10 ++-- stdlib/source/test/aedifex/repository/local.lux | 8 +-- stdlib/source/test/aedifex/repository/remote.lux | 14 ++--- 33 files changed, 203 insertions(+), 203 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 9a71acb9c..9094e815b 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot.lux @@ -43,7 +43,7 @@ /.format list (.result /.parser) - (try#each (at /.equivalence = expected)) + (try#each (of /.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 53be5d10f..9a5cbba1c 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux @@ -37,6 +37,6 @@ /.format list (.result /.parser) - (try#each (at /.equivalence = expected)) + (try#each (of /.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 eba776e33..a5d3b0e1d 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux @@ -45,6 +45,6 @@ (|> expected /.format (.result /.parser) - (try#each (at /.equivalence = expected)) + (try#each (of /.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 40f181552..af6f8bdb0 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux @@ -38,7 +38,7 @@ (|> expected /.format (.result /.parser) - (try#each (at /.equivalence = expected)) + (try#each (of /.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 31336c5df..ba8f44d04 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux @@ -46,7 +46,7 @@ /.format list (.result /.parser) - (try#each (at /.equivalence = expected)) + (try#each (of /.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 d26f6d55b..912aa30f1 100644 --- a/stdlib/source/test/aedifex/artifact/time.lux +++ b/stdlib/source/test/aedifex/artifact/time.lux @@ -46,7 +46,7 @@ (|> expected /.format (.result /.parser) - (try#each (at /.equivalence = expected)) + (try#each (of /.equivalence = expected)) (try.else false)))) (do random.monad [expected ..random] @@ -54,7 +54,7 @@ (|> expected /.instant /.of_instant - (try#each (at /.equivalence = expected)) + (try#each (of /.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 23f0a69f8..f6fc6c83a 100644 --- a/stdlib/source/test/aedifex/artifact/time/date.lux +++ b/stdlib/source/test/aedifex/artifact/time/date.lux @@ -52,13 +52,13 @@ (|> expected /.format (.result /.parser) - (try#each (at /.equivalence = expected)) + (try#each (of /.equivalence = expected)) (try.else false))) (_.coverage [/.value /.date] (|> expected /.value /.date - (try#each (at /.equivalence = expected)) + (try#each (of /.equivalence = expected)) (try.else false))) (_.coverage [/.year_is_out_of_range] (when (/.date candidate) diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux index 90ac9819b..77521ce00 100644 --- a/stdlib/source/test/aedifex/artifact/time/time.lux +++ b/stdlib/source/test/aedifex/artifact/time/time.lux @@ -38,6 +38,6 @@ (|> expected /.format (.result /.parser) - (try#each (at time.equivalence = expected)) + (try#each (of 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 71d9ad175..6b2b504d2 100644 --- a/stdlib/source/test/aedifex/artifact/versioning.lux +++ b/stdlib/source/test/aedifex/artifact/versioning.lux @@ -45,13 +45,13 @@ /.format list (.result /.parser) - (try#each (at /.equivalence = expected)) + (try#each (of /.equivalence = expected)) (try.else false)))) (_.coverage [/.init] (|> /.init /.format list (.result /.parser) - (try#each (at /.equivalence = /.init)) + (try#each (of /.equivalence = /.init)) (try.else false))) ))) diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux index f6c75114f..63f9e6f90 100644 --- a/stdlib/source/test/aedifex/cache.lux +++ b/stdlib/source/test/aedifex/cache.lux @@ -67,7 +67,7 @@ (def content (Random Binary) (do [! random.monad] - [content_size (at ! each (n.% 100) random.nat)] + [content_size (of ! each (n.% 100) random.nat)] (_binary.random content_size))) (def package @@ -85,7 +85,7 @@ (do [! random.monad] [[main_dependency main_package] ..package dependencies (|> (//package.dependencies main_package) - (at try.monad each set.list) + (of try.monad each set.list) (try.else (list)) (monad.each ! (function (_ dependency) (do ! @@ -108,7 +108,7 @@ home (random.alphabetic 5) working_directory (random.alphabetic 5) .let [fs (is (file.System Async) - (file.mock (at file.default separator))) + (file.mock (of 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) @@ -118,7 +118,7 @@ (do try.monad [_ wrote! actual_package read!] - (in (at //package.equivalence = + (in (of //package.equivalence = (has //package.#origin {//repository/origin.#Local ""} expected_package) actual_package))))))))) @@ -129,7 +129,7 @@ home (random.alphabetic 5) working_directory (random.alphabetic 5) .let [fs (is (file.System Async) - (file.mock (at file.default separator))) + (file.mock (of file.default separator))) program (program.async (program.mock environment.empty home working_directory))]] (in (do async.monad [wrote! (/.write_all program fs expected) @@ -139,8 +139,8 @@ (do try.monad [_ wrote! actual read!] - (in (at //dependency/resolution.equivalence = - (at dictionary.functor each + (in (of //dependency/resolution.equivalence = + (of dictionary.functor each (has //package.#origin {//repository/origin.#Local ""}) expected) actual))))))))) diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux index fa6d9c72c..b72f3464e 100644 --- a/stdlib/source/test/aedifex/cli.lux +++ b/stdlib/source/test/aedifex/cli.lux @@ -79,8 +79,8 @@ (cli.result /.command) (pipe.when {try.#Success [names actual]} - (and (at (list.equivalence text.equivalence) = (list) names) - (at /.equivalence = expected actual)) + (and (of (list.equivalence text.equivalence) = (list) names) + (of /.equivalence = expected actual)) {try.#Failure error} false))))) @@ -97,8 +97,8 @@ (cli.result /.command) (pipe.when {try.#Success [actual_profile actual_command]} - (and (at (list.equivalence text.equivalence) = (list expected_profile) actual_profile) - (at /.equivalence = expected_command actual_command)) + (and (of (list.equivalence text.equivalence) = (list expected_profile) actual_profile) + (of /.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 c46b474ac..9f3769b00 100644 --- a/stdlib/source/test/aedifex/command/auto.lux +++ b/stdlib/source/test/aedifex/command/auto.lux @@ -59,8 +59,8 @@ (if (n.= expected_runs actual_runs) (in {try.#Failure end_signal}) (do (try.with !) - [_ (at fs write dummy_file (at utf8.codec encoded (%.nat actual_runs))) - _ (at fs modify dummy_file (|> actual_runs .int instant.of_millis))] + [_ (of fs write dummy_file (of utf8.codec encoded (%.nat actual_runs))) + _ (of fs modify dummy_file (|> actual_runs .int instant.of_millis))] (in [shell.normal []])))))])) (def .public test @@ -68,7 +68,7 @@ (<| (_.covering /._) (do [! random.monad] [end_signal (random.alphabetic 5) - .let [/ (at file.default separator) + .let [/ (of file.default separator) [fs watcher] (watch.mock /)] program (random.and (random.alphabetic 5) @@ -76,7 +76,7 @@ target (random.alphabetic 5) source (random.alphabetic 5) .let [empty_profile (is Profile - (at ///.monoid identity)) + (of ///.monoid identity)) with_target (is (-> Profile Profile) (has ///.#target target)) with_program (is (-> Profile Profile) @@ -90,18 +90,18 @@ home (random.alphabetic 5) working_directory (random.alphabetic 5) - expected_runs (at ! each (|>> (n.% 10) (n.max 2)) random.nat) - dummy_path (at ! each (|>> (format source /)) (random.alphabetic 5)) + expected_runs (of ! each (|>> (n.% 10) (n.max 2)) random.nat) + dummy_path (of ! 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 - [_ (at fs make_directory source) - _ (at fs write dummy_path (binary.empty 0)) + [_ (of fs make_directory source) + _ (of fs write dummy_path (binary.empty 0)) .let [[@runs command] (..command expected_runs end_signal fs dummy_path)] - _ (at watcher poll [])] + _ (of watcher poll [])] (do [! async.monad] [no_dangling_process! (|> profile (has ///.#lux compiler) @@ -111,7 +111,7 @@ fs (shell.async ($build.good_shell [])) resolution) - (at ! each (|>> (pipe.when + (of ! each (|>> (pipe.when {try.#Failure error} (same? end_signal error) @@ -120,7 +120,7 @@ correct_number_of_runs! (|> @runs atom.read! async.future - (at ! each (n.= expected_runs)))] + (of ! each (n.= expected_runs)))] (in {try.#Success (and correct_number_of_runs! no_dangling_process!)})))] (unit.coverage [/.do!] diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux index 674a04e93..205866e1f 100644 --- a/stdlib/source/test/aedifex/command/build.lux +++ b/stdlib/source/test/aedifex/command/build.lux @@ -144,7 +144,7 @@ (do [! random.monad] [last_read (random.alphabetic 5) last_error (random.alphabetic 5) - .let [fs (file.mock (at file.default separator)) + .let [fs (file.mock (of file.default separator)) shell (shell.async (..good_shell []))] program (random.and (random.alphabetic 5) (random.alphabetic 5)) @@ -152,7 +152,7 @@ home (random.alphabetic 5) working_directory (random.alphabetic 5) .let [empty_profile (is Profile - (at ///.monoid identity)) + (of ///.monoid identity)) with_target (is (-> Profile Profile) (has ///.#target target)) with_program (is (-> Profile Profile) @@ -189,8 +189,8 @@ [_ (/.do! console (program.async (program.mock environment.empty home working_directory)) fs shell resolution (has ///.#lux compiler profile)) - start (at console read_line []) - end (at console read_line [])] + start (of console read_line []) + end (of console read_line [])] (in (and (text#= /.start start) (text#= /.success end))))] (unit.coverage [/.do! @@ -211,8 +211,8 @@ [_ (/.do! console (program.async (program.mock environment.empty home working_directory)) fs (shell.async (..bad_shell [])) resolution (has ///.#lux compiler profile)) - start (at console read_line []) - end (at console read_line [])] + start (of console read_line []) + end (of console read_line [])] (in (and (text#= /.start start) (text#= /.failure end))))] (unit.coverage [/.failure] @@ -231,11 +231,11 @@ [verdict (do ///action.monad [process (shell [environment.empty working_directory "" (list "")]) _ ( console process) - 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.when + actual/0 (of console read_line []) + actual/1 (of console read_line []) + actual/2 (of console read_line []) + end! (|> (of console read_line []) + (of ! each (|>> (pipe.when {try.#Failure error} true diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux index b33d6d911..6ead0475f 100644 --- a/stdlib/source/test/aedifex/command/clean.lux +++ b/stdlib/source/test/aedifex/command/clean.lux @@ -45,7 +45,7 @@ (def (files prefix) (-> Path (Random (List [Path Binary]))) (do [! random.monad] - [count (at ! each (n.% 10) random.nat) + [count (of ! 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)) @@ -53,7 +53,7 @@ (def (create_file! fs [path content]) (-> (file.System Async) [Path Binary] (Async (Try Any))) - (at fs write path content)) + (of fs write path content)) (def (create_directory! fs path files) (-> (file.System Async) Path (List [Path Binary]) (Async (Try Any))) @@ -65,11 +65,11 @@ (def (directory_exists? fs) (-> (file.System Async) Path (Async (Try Bit))) - (|>> (at fs directory?) (try.lifted async.monad))) + (|>> (of fs directory?) (try.lifted async.monad))) (def (file_exists? fs) (-> (file.System Async) Path (Async (Try Bit))) - (|>> (at fs file?) (try.lifted async.monad))) + (|>> (of fs file?) (try.lifted async.monad))) (def (assets_exist? fs directory_path files) (-> (file.System Async) Path (List [Path Binary]) (Async (Try Bit))) @@ -89,8 +89,8 @@ [context ..node_name target ..node_name sub ..node_name - .let [fs (file.mock (at file.default separator)) - / (at fs separator) + .let [fs (file.mock (of file.default separator)) + / (of fs separator) target_path (format context / target) sub_path (format target_path / sub)] direct_files (..files (format target_path /)) @@ -109,7 +109,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 (at console read_line [])] + logging (of 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 88da67576..d970427d2 100644 --- a/stdlib/source/test/aedifex/command/deploy.lux +++ b/stdlib/source/test/aedifex/command/deploy.lux @@ -62,7 +62,7 @@ (implementation (def (execute [environment working_directory command arguments]) (do [! ///action.monad] - [files (at fs directory_files working_directory) + [files (of fs directory_files working_directory) _ (monad.each ! (function (_ file) (do ! @@ -94,8 +94,8 @@ [.let [console ($version.echo "")] _ ($install.make_sources! fs (the ///.#sources profile)) _ (/.do! program (..shell fs) console local remote fs artifact profile) - locally_installed! (at console read_line []) - deployed! (at console read_line [])] + locally_installed! (of console read_line []) + deployed! (of console read_line [])] (in [locally_installed! deployed!]))) (def .public test @@ -112,7 +112,7 @@ home (random.alphabetic 5) working_directory (random.alphabetic 5) - .let [fs (file.mock (at file.default separator)) + .let [fs (file.mock (of file.default separator)) program (program.async (program.mock environment.empty home working_directory)) local (///repository/local.repository program fs) remote (///repository.mock $repository.mock @@ -124,20 +124,20 @@ (the ///.#sources) set.list (export.library fs) - (at ! each (\\format.result tar.format))) + (of ! each (\\format.result tar.format))) - 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_sha1 (at remote download (///repository/remote.uri (the ///artifact.#version artifact) artifact (format ///artifact/extension.lux_library ///artifact/extension.sha1))) - actual_sha1 (at async.monad in + actual_pom (of remote download (///repository/remote.uri (the ///artifact.#version artifact) artifact ///artifact/extension.pom)) + actual_library (of remote download (///repository/remote.uri (the ///artifact.#version artifact) artifact ///artifact/extension.lux_library)) + actual_sha1 (of remote download (///repository/remote.uri (the ///artifact.#version artifact) artifact (format ///artifact/extension.lux_library ///artifact/extension.sha1))) + actual_sha1 (of async.monad in (do try.monad - [actual_sha1 (at utf8.codec decoded actual_sha1)] - (at ///hash.sha1_codec decoded actual_sha1))) - 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 + [actual_sha1 (of utf8.codec decoded actual_sha1)] + (of ///hash.sha1_codec decoded actual_sha1))) + actual_md5 (of remote download (///repository/remote.uri (the ///artifact.#version artifact) artifact (format ///artifact/extension.lux_library ///artifact/extension.md5))) + actual_md5 (of async.monad in (do try.monad - [actual_md5 (at utf8.codec decoded actual_md5)] - (at ///hash.md5_codec decoded actual_md5))) + [actual_md5 (of utf8.codec decoded actual_md5)] + (of ///hash.md5_codec decoded actual_md5))) .let [succeeded! (and (text#= //install.success locally_installed!) @@ -148,16 +148,16 @@ actual_library) deployed_pom! - (binary#= (|> expected_pom (at xml.codec encoded) (at utf8.codec encoded)) + (binary#= (|> expected_pom (of xml.codec encoded) (of utf8.codec encoded)) actual_pom) deployed_sha1! - (at ///hash.equivalence = + (of ///hash.equivalence = (///hash.sha1 expected_library) actual_sha1) deployed_md5! - (at ///hash.equivalence = + (of ///hash.equivalence = (///hash.md5 expected_library) actual_md5)]] (in (and succeeded! diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux index 64060127b..6f681c74d 100644 --- a/stdlib/source/test/aedifex/command/deps.lux +++ b/stdlib/source/test/aedifex/command/deps.lux @@ -64,7 +64,7 @@ dependee_artifact $///artifact.random depender_artifact (random.only (predicate.complement - (at ///artifact.equivalence = dependee_artifact)) + (of ///artifact.equivalence = dependee_artifact)) $///artifact.random) [_ dependee_package] $///package.random @@ -75,11 +75,11 @@ depender [///dependency.#artifact depender_artifact ///dependency.#type ///artifact/type.lux_library] - dependee_pom (|> (at ///.monoid identity) + dependee_pom (|> (of ///.monoid identity) (has ///.#identity {.#Some dependee_artifact}) ///pom.write try.trusted) - depender_pom (|> (at ///.monoid identity) + depender_pom (|> (of ///.monoid identity) (has ///.#identity {.#Some depender_artifact}) (has ///.#dependencies (set.of_list ///dependency.hash (list dependee))) ///pom.write @@ -88,15 +88,15 @@ dependee_package (|> dependee_package (has ///package.#origin {///repository/origin.#Remote ""}) (has ///package.#pom [dependee_pom - (|> dependee_pom (at xml.codec encoded) (at utf8.codec encoded)) + (|> dependee_pom (of xml.codec encoded) (of utf8.codec encoded)) {///dependency/status.#Unverified}])) depender_package (|> depender_package (has ///package.#origin {///repository/origin.#Remote ""}) (has ///package.#pom [depender_pom - (|> depender_pom (at xml.codec encoded) (at utf8.codec encoded)) + (|> depender_pom (of xml.codec encoded) (of utf8.codec encoded)) {///dependency/status.#Unverified}])) - fs (file.mock (at file.default separator)) + fs (file.mock (of file.default separator)) program (program.async (program.mock environment.empty home working_directory))]] (in (do async.monad [verdict (do ///action.monad @@ -105,7 +105,7 @@ pre (|> ///dependency/resolution.empty (dictionary.has dependee dependee_package) (///dependency/deployment.all local)) - post (|> (at ///.monoid identity) + post (|> (of ///.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 d942a9d17..5127ca1fc 100644 --- a/stdlib/source/test/aedifex/command/install.lux +++ b/stdlib/source/test/aedifex/command/install.lux @@ -42,7 +42,7 @@ (def .public (make_sources! fs sources) (-> (file.System Async) (Set file.Path) (Action (List Any))) - (let [/ (at fs separator) + (let [/ (of fs separator) ! ///action.monad] (|> sources set.list @@ -59,18 +59,18 @@ [.let [console ($version.echo "")] _ (..make_sources! fs (the ///.#sources sample)) _ (/.do! console fs (///repository/local.repository program fs) sample)] - (at console read_line []))) + (of console read_line []))) (def .public test Test (<| (_.covering /._) (do [! random.monad] [identity $artifact.random - sample (at ! each (has ///.#identity {.#Some identity}) + sample (of ! each (has ///.#identity {.#Some identity}) $profile.random) home (random.alphabetic 5) working_directory (random.alphabetic 5) - .let [/ (at file.default separator)]] + .let [/ (of file.default separator)]] (all _.and (in (do [! async.monad] [.let [fs (file.mock /) @@ -80,16 +80,16 @@ library_path (format artifact_path ///artifact/extension.lux_library) pom_path (format artifact_path ///artifact/extension.pom)] verdict (do [! ///action.monad] - [succeeded! (at ! each (text#= /.success) + [succeeded! (of ! each (text#= /.success) (..execute! program fs sample)) library_exists! (|> library_path (format home /) - (at fs file?) - (at async.monad each (|>> {try.#Success}))) + (of fs file?) + (of async.monad each (|>> {try.#Success}))) pom_exists! (|> pom_path (format home /) - (at fs file?) - (at async.monad each (|>> {try.#Success})))] + (of fs file?) + (of 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 0d304f19d..a8e75ef1d 100644 --- a/stdlib/source/test/aedifex/command/pom.lux +++ b/stdlib/source/test/aedifex/command/pom.lux @@ -37,7 +37,7 @@ (<| (_.covering /._) (do random.monad [sample @profile.random - .let [fs (file.mock (at file.default separator))]] + .let [fs (file.mock (of file.default separator))]] (in (do [! async.monad] [.let [console (@version.echo "")] outcome (/.do! console fs sample)] @@ -46,14 +46,14 @@ (do ! [verdict (do ///action.monad [expected (|> (///pom.write sample) - (try#each (|>> (at xml.codec encoded) - (at utf8.codec encoded))) - (at ! in)) - actual (at fs read ///pom.file) + (try#each (|>> (of xml.codec encoded) + (of utf8.codec encoded))) + (of ! in)) + actual (of fs read ///pom.file) - logging! (at ///action.monad each + logging! (of ///action.monad each (text#= /.success) - (at console read_line [])) + (of 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 31afea06b..f8f5bb935 100644 --- a/stdlib/source/test/aedifex/command/test.lux +++ b/stdlib/source/test/aedifex/command/test.lux @@ -51,7 +51,7 @@ home (random.alphabetic 5) working_directory (random.alphabetic 5) .let [empty_profile (is Profile - (at ///.monoid identity)) + (of ///.monoid identity)) with_target (is (-> Profile Profile) (has ///.#target target)) with_test (is (-> Profile Profile) @@ -62,17 +62,17 @@ with_target)] [compiler resolution] @build.resolution] (all _.and - (let [fs (file.mock (at file.default separator)) + (let [fs (file.mock (of 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 (at console read_line []) - build_end (at console read_line []) - test_start (at console read_line []) - test_end (at console read_line [])] + build_start (of console read_line []) + build_end (of console read_line []) + test_start (of console read_line []) + test_end (of console read_line [])] (in (and (and (text#= //build.start build_start) (text#= //build.success build_end)) (and (text#= /.start test_start) @@ -80,7 +80,7 @@ (unit.coverage [/.do! /.start /.success] (try.else false verdict))))) - (let [fs (file.mock (at file.default separator)) + (let [fs (file.mock (of file.default separator)) console (@version.echo "")] (in (do async.monad [verdict (do ///action.monad @@ -105,10 +105,10 @@ _ (/.do! console (program.async (program.mock environment.empty home working_directory)) fs (shell.async bad_shell) resolution (has ///.#lux compiler profile)) - build_start (at console read_line []) - build_end (at console read_line []) - test_start (at console read_line []) - test_end (at console read_line [])] + build_start (of console read_line []) + build_end (of console read_line []) + test_start (of console read_line []) + test_end (of 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 169b20ef6..e1e34170e 100644 --- a/stdlib/source/test/aedifex/command/version.lux +++ b/stdlib/source/test/aedifex/command/version.lux @@ -72,7 +72,7 @@ [.let [console (..echo "")] verdict (do (try.with async.monad) [_ (/.do! console profile) - logging (at console read_line [])] + logging (of console read_line [])] (in (text#= (version.format lux_version.latest) logging)))] (unit.coverage [/.do!] diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux index 6e8aff6b6..3e7350050 100644 --- a/stdlib/source/test/aedifex/dependency/deployment.lux +++ b/stdlib/source/test/aedifex/dependency/deployment.lux @@ -149,7 +149,7 @@ Test (<| (_.covering /._) (do [! random.monad] - [address (at ! each (text.suffix uri.separator) + [address (of ! each (text.suffix uri.separator) (random.upper_cased 10))] (all _.and (do [! random.monad] @@ -167,12 +167,12 @@ (try.else false)))))) (do [! random.monad] [.let [hash (is (Hash [Dependency Artifact Package]) - (at hash.functor each (|>> product.right product.left product.left) + (of hash.functor each (|>> product.right product.left product.left) text.hash))] - num_bundles (at ! each (n.% 10) random.nat) + num_bundles (of ! each (n.% 10) random.nat) bundles (|> ..bundle (random.set hash num_bundles) - (at ! each set.list)) + (of ! 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 c6c14fec4..9e67edc86 100644 --- a/stdlib/source/test/aedifex/dependency/resolution.lux +++ b/stdlib/source/test/aedifex/dependency/resolution.lux @@ -80,14 +80,14 @@ (def sha1 (-> Binary Binary) (|>> ///hash.sha1 - (at ///hash.sha1_codec encoded) - (at utf8.codec encoded))) + (of ///hash.sha1_codec encoded) + (of utf8.codec encoded))) (def md5 (-> Binary Binary) (|>> ///hash.md5 - (at ///hash.md5_codec encoded) - (at utf8.codec encoded))) + (of ///hash.md5_codec encoded) + (of utf8.codec encoded))) (def .public nope (Mock Any) @@ -115,8 +115,8 @@ (|> package (the ///package.#pom) product.left - (at xml.codec encoded) - (at utf8.codec encoded)))] + (of xml.codec encoded) + (of utf8.codec encoded)))] (cond (text.ends_with? ///artifact/extension.lux_library uri) {try.#Success [state library]} @@ -169,23 +169,23 @@ {try.#Success [state (|> expected_package (the ///package.#pom) product.left - (at xml.codec encoded) - (at utf8.codec encoded))]} + (of xml.codec encoded) + (of utf8.codec encoded))]} (text.ends_with? ..pom_sha1 uri) {try.#Success [state (|> dummy_package (the ///package.#pom) product.left - (at xml.codec encoded) - (at utf8.codec encoded) + (of xml.codec encoded) + (of utf8.codec encoded) ..sha1)]} (text.ends_with? ..pom_md5 uri) {try.#Success [state (|> expected_package (the ///package.#pom) product.left - (at xml.codec encoded) - (at utf8.codec encoded) + (of xml.codec encoded) + (of utf8.codec encoded) ..md5)]} ... else @@ -222,23 +222,23 @@ {try.#Success [state (|> expected_package (the ///package.#pom) product.left - (at xml.codec encoded) - (at utf8.codec encoded))]} + (of xml.codec encoded) + (of utf8.codec encoded))]} (text.ends_with? ..pom_sha1 uri) {try.#Success [state (|> expected_package (the ///package.#pom) product.left - (at xml.codec encoded) - (at utf8.codec encoded) + (of xml.codec encoded) + (of utf8.codec encoded) ..sha1)]} (text.ends_with? ..pom_md5 uri) {try.#Success [state (|> dummy_package (the ///package.#pom) product.left - (at xml.codec encoded) - (at utf8.codec encoded) + (of xml.codec encoded) + (of utf8.codec encoded) ..md5)]} ... else @@ -254,7 +254,7 @@ [_ expected_package] $///package.random [_ dummy_package] (random.only (|>> product.right (has ///package.#pom (the ///package.#pom expected_package)) - (at ///package.equivalence = expected_package) + (of ///package.equivalence = expected_package) not) $///package.random) .let [good (..single expected_artifact expected_package) @@ -268,7 +268,7 @@ (unit.coverage [/.one] (when actual_package {try.#Success actual_package} - (at ///package.equivalence = + (of ///package.equivalence = (has ///package.#origin {///repository/origin.#Remote ""} expected_package) actual_package) @@ -299,7 +299,7 @@ [_ expected_package] $///package.random [_ dummy_package] (random.only (|>> product.right (has ///package.#pom (the ///package.#pom expected_package)) - (at ///package.equivalence = expected_package) + (of ///package.equivalence = expected_package) not) $///package.random) .let [good (..single expected_artifact expected_package) @@ -317,7 +317,7 @@ (unit.coverage [/.any] (when actual_package {try.#Success actual_package} - (at ///package.equivalence = + (of ///package.equivalence = (has ///package.#origin {///repository/origin.#Remote ""} expected_package) actual_package) @@ -344,11 +344,11 @@ (do random.monad [dependee_artifact $///artifact.random depender_artifact (random.only (predicate.complement - (at ///artifact.equivalence = dependee_artifact)) + (of ///artifact.equivalence = dependee_artifact)) $///artifact.random) ignored_artifact (random.only (predicate.complement - (predicate.and (at ///artifact.equivalence = dependee_artifact) - (at ///artifact.equivalence = depender_artifact))) + (predicate.and (of ///artifact.equivalence = dependee_artifact) + (of ///artifact.equivalence = depender_artifact))) $///artifact.random)] (in [dependee_artifact depender_artifact ignored_artifact]))) @@ -368,33 +368,33 @@ ignored [///dependency.#artifact ignored_artifact ///dependency.#type ///artifact/type.lux_library] - dependee_pom (|> (at ///.monoid identity) + dependee_pom (|> (of ///.monoid identity) (has ///.#identity {.#Some dependee_artifact}) ///pom.write try.trusted) - depender_pom (|> (at ///.monoid identity) + depender_pom (|> (of ///.monoid identity) (has ///.#identity {.#Some depender_artifact}) (has ///.#dependencies (set.of_list ///dependency.hash (list dependee))) ///pom.write try.trusted) - ignored_pom (|> (at ///.monoid identity) + ignored_pom (|> (of ///.monoid identity) (has ///.#identity {.#Some ignored_artifact}) ///pom.write try.trusted) dependee_package (has ///package.#pom [dependee_pom - (|> dependee_pom (at xml.codec encoded) (at utf8.codec encoded)) + (|> dependee_pom (of xml.codec encoded) (of utf8.codec encoded)) {///dependency/status.#Unverified}] dependee_package) depender_package (has ///package.#pom [depender_pom - (|> depender_pom (at xml.codec encoded) (at utf8.codec encoded)) + (|> depender_pom (of xml.codec encoded) (of utf8.codec encoded)) {///dependency/status.#Unverified}] depender_package) ignored_package (has ///package.#pom [ignored_pom - (|> ignored_pom (at xml.codec encoded) (at utf8.codec encoded)) + (|> ignored_pom (of xml.codec encoded) (of 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 ea6d6435e..36326a58f 100644 --- a/stdlib/source/test/aedifex/hash.lux +++ b/stdlib/source/test/aedifex/hash.lux @@ -31,8 +31,8 @@ (-> (-> Binary (/.Hash h)) (Random (/.Hash h)))) (do [! random.monad] - [size (at ! each (n.% 100) random.nat)] - (at ! each hash (_binary.random size)))) + [size (of ! each (n.% 100) random.nat)] + (of ! each hash (_binary.random size)))) (def .public test Test @@ -52,11 +52,11 @@ (_.coverage [ ] (and (when ( (/.data expected)) {try.#Success actual} - (at /.equivalence = expected actual) + (of /.equivalence = expected actual) {try.#Failure error} false) - (when ( (at binary.monoid composite + (when ( (of binary.monoid composite (/.data expected) (/.data expected))) {try.#Success actual} @@ -81,8 +81,8 @@ [(do random.monad [expected (..random )] (_.coverage [] - (when (at decoded - (format (at encoded expected) + (when (of decoded + (format (of encoded expected) "AABBCC")) {try.#Success actual} false diff --git a/stdlib/source/test/aedifex/input.lux b/stdlib/source/test/aedifex/input.lux index 7dc6ccc8e..76cf34c7c 100644 --- a/stdlib/source/test/aedifex/input.lux +++ b/stdlib/source/test/aedifex/input.lux @@ -52,19 +52,19 @@ Test (<| (_.covering /._) (do [! random.monad] - [expected (at ! each (has //.#parents (list)) $profile.random) + [expected (of ! each (has //.#parents (list)) $profile.random) .let [fs (is (file.System Async) - (file.mock (at file.default separator)))]] + (file.mock (of file.default separator)))]] (in (do async.monad [verdict (do //action.monad [.let [profile (|> expected (//project.project //.default) //format.project %.code - (at utf8.codec encoded))] - _ (at fs write //project.file profile) + (of utf8.codec encoded))] + _ (of fs write //project.file profile) actual (is (Async (Try Profile)) (/.read async.monad fs (list)))] - (in (at //.equivalence = (with_defaults expected) actual)))] + (in (of //.equivalence = (with_defaults expected) actual)))] (unit.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 1f5fc5f8e..af0474e2f 100644 --- a/stdlib/source/test/aedifex/metadata/artifact.lux +++ b/stdlib/source/test/aedifex/metadata/artifact.lux @@ -52,12 +52,12 @@ (random.alphabetic 5) (random.list 5 (random.alphabetic 5)) (do [! random.monad] - [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)] + [year (of ! each (|>> (n.% 9,000) (n.+ 1,000) .int) random.nat) + month (of ! each (|>> (n.% 12) (n.+ 1)) random.nat) + day_of_month (of ! each (|>> (n.% 28) (n.+ 1)) random.nat) + hour (of ! each (n.% 24) random.nat) + minute (of ! each (n.% 60) random.nat) + second (of ! each (n.% 60) random.nat)] (in (try.trusted (do try.monad [year (year.year year) @@ -93,7 +93,7 @@ /.format list (.result /.parser) - (try#each (at /.equivalence = expected)) + (try#each (of /.equivalence = expected)) (try.else false)))) (_.coverage [/.uri] (text#= (//.remote_project_uri artifact) @@ -102,7 +102,7 @@ [home (random.lower_cased 5) working_directory (random.lower_cased 5) .let [program (program.async (program.mock environment.empty home working_directory)) - fs (file.mock (at file.default separator)) + fs (file.mock (of file.default separator)) repository (///repository/local.repository program fs)]] (in (do async.monad [wrote? (/.write repository artifact expected) @@ -113,7 +113,7 @@ {try.#Failure _} false) (when actual {try.#Success actual} - (at /.equivalence = expected actual) + (of /.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 30a8b0311..d8c1bbf92 100644 --- a/stdlib/source/test/aedifex/metadata/snapshot.lux +++ b/stdlib/source/test/aedifex/metadata/snapshot.lux @@ -56,12 +56,12 @@ (def random_instant (Random Instant) (do [! random.monad] - [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)] + [year (of ! each (|>> (n.% 9,000) (n.+ 1,000) .int) random.nat) + month (of ! each (|>> (n.% 12) (n.+ 1)) random.nat) + day_of_month (of ! each (|>> (n.% 28) (n.+ 1)) random.nat) + hour (of ! each (n.% 24) random.nat) + minute (of ! each (n.% 60) random.nat) + second (of ! each (n.% 60) random.nat)] (in (try.trusted (do try.monad [year (year.year year) @@ -105,7 +105,7 @@ /.format list (.result /.parser) - (try#each (at /.equivalence = expected)) + (try#each (of /.equivalence = expected)) (try.else false))) (_.coverage [/.uri] (text#= (//.remote_artifact_uri artifact) @@ -114,7 +114,7 @@ [home (random.lower_cased 5) working_directory (random.lower_cased 5) .let [program (program.async (program.mock environment.empty home working_directory)) - fs (file.mock (at file.default separator)) + fs (file.mock (of file.default separator)) repository (///repository/local.repository program fs)]] (in (do async.monad [wrote? (/.write repository artifact expected) @@ -125,7 +125,7 @@ {try.#Failure _} false) (when actual {try.#Success actual} - (at /.equivalence = expected actual) + (of /.equivalence = expected actual) {try.#Failure _} false)))))) diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux index fd8a2c372..8f335b753 100644 --- a/stdlib/source/test/aedifex/package.lux +++ b/stdlib/source/test/aedifex/package.lux @@ -44,7 +44,7 @@ (def .public random (Random [//.Profile /.Package]) (do [! random.monad] - [content_size (at ! each (n.% 100) random.nat) + [content_size (of ! each (n.% 100) random.nat) content ($binary.random content_size) [profile pom] (random.one (function (_ profile) (try.maybe @@ -62,7 +62,7 @@ [[profile package] ..random] (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence (at ! each product.right ..random))) + ($equivalence.spec /.equivalence (of ! each product.right ..random))) (_.coverage [/.local?] (/.local? (has /.#origin {//origin.#Local "~/yolo"} package))) @@ -93,9 +93,9 @@ expected_md5 (//hash.md5 binary_pom)] (and (same? expected_pom actual_pom) (|> (do try.monad - [xml_pom (at utf8.codec decoded binary_pom) - decoded_pom (at xml.codec decoded xml_pom)] - (in (at xml.equivalence = actual_pom decoded_pom))) + [xml_pom (of utf8.codec decoded binary_pom) + decoded_pom (of xml.codec decoded xml_pom)] + (in (of xml.equivalence = actual_pom decoded_pom))) (try.else false)) (when pom_status {//status.#Verified actual_sha1 expected_md5} @@ -108,7 +108,7 @@ (let [expected (the //.#dependencies profile)] (when (/.dependencies package) {try.#Success actual} - (at set.equivalence = expected actual) + (of set.equivalence = expected actual) {try.#Failure error} false))) @@ -116,7 +116,7 @@ (let [expected (the //.#repositories profile)] (when (/.repositories package) {try.#Success actual} - (at set.equivalence = expected actual) + (of 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 cbc67dbab..2fb1ec812 100644 --- a/stdlib/source/test/aedifex/parser.lux +++ b/stdlib/source/test/aedifex/parser.lux @@ -40,12 +40,12 @@ (def (list_of random) (All (_ a) (-> (Random a) (Random (List a)))) (do [! random.monad] - [size (at ! each (|>> (n.% 5) ++) random.nat)] + [size (of ! 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)))) - (at random.functor each + (of random.functor each (dictionary.of_list key_hash) (..list_of (random.and key_random value_random)))) @@ -69,7 +69,7 @@ (def (with_empty_profile project) (-> Project Project) (if (dictionary.empty? project) - (//project.project //.default (at //.monoid identity)) + (//project.project //.default (of //.monoid identity)) project)) (def with_defaults @@ -94,6 +94,6 @@ //format.project list (.result /.project) - (try#each (at //project.equivalence = (..with_defaults expected))) + (try#each (of //project.equivalence = (..with_defaults expected))) (try.else false) ))))) diff --git a/stdlib/source/test/aedifex/pom.lux b/stdlib/source/test/aedifex/pom.lux index 0484599e0..5133b79b4 100644 --- a/stdlib/source/test/aedifex/pom.lux +++ b/stdlib/source/test/aedifex/pom.lux @@ -40,8 +40,8 @@ {.#Some _}] (when (.result /.parser (list pom)) {try.#Success actual} - (at //.equivalence = - (|> (at //.monoid identity) + (of //.equivalence = + (|> (of //.monoid identity) (has //.#dependencies (the //.#dependencies expected)) (has //.#repositories (the //.#repositories expected))) actual) diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux index 25eccfa43..591ad4d5d 100644 --- a/stdlib/source/test/aedifex/profile.lux +++ b/stdlib/source/test/aedifex/profile.lux @@ -80,18 +80,18 @@ (def (list_of random) (All (_ a) (-> (Random a) (Random (List a)))) (do [! random.monad] - [size (at ! each (n.% 5) random.nat)] + [size (of ! each (n.% 5) random.nat)] (random.list size random))) (def (set_of hash random) (All (_ a) (-> (Hash a) (Random a) (Random (Set a)))) - (at random.functor each + (of 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)))) - (at random.functor each + (of random.functor each (dictionary.of_list key_hash) (..list_of (random.and key_random value_random)))) @@ -167,11 +167,11 @@ (_.coverage [/.default] (text#= "" /.default)) (_.coverage [/.default_lux] - (|> (at /.monoid identity) + (|> (of /.monoid identity) (the /.#lux) (same? /.default_lux))) (_.coverage [/.default_target] - (|> (at /.monoid identity) + (|> (of /.monoid identity) (the /.#target) (same? /.default_target))) ))))) diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux index 29f8b1215..decc5007d 100644 --- a/stdlib/source/test/aedifex/project.lux +++ b/stdlib/source/test/aedifex/project.lux @@ -64,24 +64,24 @@ (not (text#= dummy_name name)) (not (text#= sub_name name)))) (random.alphabetic 1)) - .let [project (all (at /.monoid composite) + .let [project (all (of /.monoid composite) (/.project super_name super_profile) (/.project dummy_name dummy_profile) (/.project sub_name (has //.#parents (list super_name) sub_profile))) - circular (all (at /.monoid composite) + circular (all (of /.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 (at //.equivalence = super_profile)) + (try#each (of //.equivalence = super_profile)) (try.else false)) (|> (/.profile project dummy_name) - (try#each (at //.equivalence = dummy_profile)) + (try#each (of //.equivalence = dummy_profile)) (try.else false)) (|> (/.profile project sub_name) - (try#each (at //.equivalence = (at //.monoid composite sub_profile super_profile))) + (try#each (of //.equivalence = (of //.monoid composite sub_profile super_profile))) (try.else false)))) (_.coverage [/.unknown_profile] (when (/.profile project fake_name) diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux index 7edaa1353..a1ca0ee80 100644 --- a/stdlib/source/test/aedifex/repository/local.lux +++ b/stdlib/source/test/aedifex/repository/local.lux @@ -37,13 +37,13 @@ repo (/.repository program fs)] uri (random.lower_cased 10) - expected (at ! each (at utf8.codec encoded) + expected (of ! each (of utf8.codec encoded) (random.lower_cased 10))] (all _.and (in (do async.monad - [before_upload (at repo download uri) - _ (at repo upload uri expected) - actual (at repo download uri)] + [before_upload (of repo download uri) + _ (of repo upload uri expected) + actual (of repo download uri)] (unit.coverage [/.repository] (and (when before_upload {try.#Success _} false diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux index 4540ee5eb..03a1c1277 100644 --- a/stdlib/source/test/aedifex/repository/remote.lux +++ b/stdlib/source/test/aedifex/repository/remote.lux @@ -34,7 +34,7 @@ (def (url_body url) (-> URL (@http.Body IO)) - (let [url (at utf8.codec encoded url)] + (let [url (of utf8.codec encoded url)] (function (_ _) (io.io {try.#Success [(binary.size url) url]})))) @@ -91,7 +91,7 @@ user (random.lower_cased 10) password (random.lower_cased 10) - content (at ! each (at utf8.codec encoded) + content (of ! each (of utf8.codec encoded) (random.lower_cased 10))] (all _.and (_.coverage [/.repository /.user_agent /.Address] @@ -99,13 +99,13 @@ {.#Some [//identity.#user user //identity.#password password]} address)] - (and (|> (at repo download uri) + (and (|> (of repo download uri) io.run! - (try#each (at utf8.codec decoded)) + (try#each (of utf8.codec decoded)) try#conjoint (try#each (text#= (format address uri))) (try.else false)) - (|> (at repo upload uri content) + (|> (of repo upload uri content) io.run! (try#each (function.constant true)) (try.else false))))) @@ -113,7 +113,7 @@ (let [repo (/.repository (..good_http user password) {.#None} address)] - (when (io.run! (at repo upload uri content)) + (when (io.run! (of repo upload uri content)) {try.#Failure error} (exception.match? /.upload_failure error) @@ -123,7 +123,7 @@ (let [repo (/.repository ..bad_http {.#None} address)] - (when (io.run! (at repo download uri)) + (when (io.run! (of repo download uri)) {try.#Failure error} (exception.match? /.download_failure error) -- cgit v1.2.3