From 2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sun, 12 Sep 2021 15:39:55 -0400 Subject: Re-named \ => # && \\ => ## --- .../source/test/aedifex/dependency/deployment.lux | 30 +++++----- .../source/test/aedifex/dependency/resolution.lux | 68 +++++++++++----------- stdlib/source/test/aedifex/dependency/status.lux | 4 +- 3 files changed, 51 insertions(+), 51 deletions(-) (limited to 'stdlib/source/test/aedifex/dependency') diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux index 625c7c9f5..f3bb6b4a3 100644 --- a/stdlib/source/test/aedifex/dependency/deployment.lux +++ b/stdlib/source/test/aedifex/dependency/deployment.lux @@ -7,20 +7,20 @@ ["[0]" hash {"+" [Hash]}]] [control ["[0]" io {"+" [IO]}] - ["[0]" maybe ("[1]\[0]" functor)] - ["[0]" try ("[1]\[0]" functor)] + ["[0]" maybe ("[1]#[0]" functor)] + ["[0]" try ("[1]#[0]" functor)] [concurrency ["[0]" atom {"+" [Atom]}] ["[0]" async]]] [data ["[0]" product] - ["[0]" binary {"+" [Binary]} ("[1]\[0]" equivalence)] + ["[0]" binary {"+" [Binary]} ("[1]#[0]" equivalence)] ["[0]" text ["%" format {"+" [format]}]] [collection ["[0]" dictionary {"+" [Dictionary]}] ["[0]" set] - ["[0]" list ("[1]\[0]" mix)]]] + ["[0]" list ("[1]#[0]" mix)]]] [math ["[0]" random {"+" [Random]}] [number @@ -43,7 +43,7 @@ ["[0]" profile] ["[0]" metadata] ["[0]" package {"+" [Package]}] - ["[0]" artifact {"+" [Artifact]} ("[1]\[0]" equivalence) + ["[0]" artifact {"+" [Artifact]} ("[1]#[0]" equivalence) ["[1]/[0]" type] ["[1]/[0]" extension]] ["[0]" repository @@ -97,7 +97,7 @@ product.left) correct_artifact! - (artifact\= expected_artifact actual_artifact) + (artifact#= expected_artifact actual_artifact) expected_number_of_uploads! (n.= (n.* expected_deployments 8) @@ -106,7 +106,7 @@ correct_library_upload! (and (|> cache (dictionary.value library_url) - (maybe\each (binary\= expected_library)) + (maybe#each (binary#= expected_library)) (maybe.else false)) (dictionary.key? cache (format library_url artifact/extension.sha-1)) (dictionary.key? cache (format library_url artifact/extension.md5))) @@ -114,7 +114,7 @@ correct_pom_upload! (and (|> cache (dictionary.value pom_url) - (maybe\each (binary\= expected_pom)) + (maybe#each (binary#= expected_pom)) (maybe.else false)) (dictionary.key? cache (format pom_url artifact/extension.sha-1)) (dictionary.key? cache (format pom_url artifact/extension.md5))) @@ -147,7 +147,7 @@ Test (<| (_.covering /._) (do [! random.monad] - [address (\ ! each (text.suffix uri.separator) + [address (# ! each (text.suffix uri.separator) (random.ascii/upper 10))] ($_ _.and (do [! random.monad] @@ -161,17 +161,17 @@ cache (async.future (atom.read! cache))] (_.cover' [/.one] (|> ?outcome - (try\each (verify_one 1 address package cache expected_artifact)) + (try#each (verify_one 1 address package cache expected_artifact)) (try.else false)))))) (do [! random.monad] [.let [hash (: (Hash [Dependency Artifact Package]) - (\ hash.functor each (|>> product.right product.left product.left) + (# hash.functor each (|>> product.right product.left product.left) text.hash))] - num_bundles (\ ! each (n.% 10) random.nat) + num_bundles (# ! each (n.% 10) random.nat) bundles (|> ..bundle (random.set hash num_bundles) - (\ ! each set.list)) - .let [resolution (list\mix (function (_ [dependency expected_artifact package] resolution) + (# ! each set.list)) + .let [resolution (list#mix (function (_ [dependency expected_artifact package] resolution) (dictionary.has dependency package resolution)) resolution.empty bundles) @@ -184,7 +184,7 @@ cache (async.future (atom.read! cache))] (_.cover' [/.all] (|> ?outcome - (try\each (function (_ actual_artifacts) + (try#each (function (_ actual_artifacts) (let [expected_deployments! (n.= num_bundles (set.size actual_artifacts)) diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux index b8b50f23d..01d516480 100644 --- a/stdlib/source/test/aedifex/dependency/resolution.lux +++ b/stdlib/source/test/aedifex/dependency/resolution.lux @@ -39,7 +39,7 @@ ["[1]" profile] ["[1][0]" package {"+" [Package]}] ["[1][0]" hash] - ["[1][0]" dependency {"+" [Dependency]} ("[1]\[0]" equivalence) + ["[1][0]" dependency {"+" [Dependency]} ("[1]#[0]" equivalence) ["[1]/[0]" status]] ["[1][0]" pom] ["[1][0]" artifact {"+" [Artifact]} @@ -77,14 +77,14 @@ (def: sha-1 (-> Binary Binary) (|>> ///hash.sha-1 - (\ ///hash.sha-1_codec encoded) - (\ utf8.codec encoded))) + (# ///hash.sha-1_codec encoded) + (# utf8.codec encoded))) (def: md5 (-> Binary Binary) (|>> ///hash.md5 - (\ ///hash.md5_codec encoded) - (\ utf8.codec encoded))) + (# ///hash.md5_codec encoded) + (# utf8.codec encoded))) (def: .public nope (Mock Any) @@ -112,8 +112,8 @@ (|> package (value@ ///package.#pom) product.left - (\ xml.codec encoded) - (\ utf8.codec encoded)))] + (# xml.codec encoded) + (# 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 (value@ ///package.#pom) product.left - (\ xml.codec encoded) - (\ utf8.codec encoded))]} + (# xml.codec encoded) + (# utf8.codec encoded))]} (text.ends_with? ..pom_sha-1 uri) {try.#Success [state (|> dummy_package (value@ ///package.#pom) product.left - (\ xml.codec encoded) - (\ utf8.codec encoded) + (# xml.codec encoded) + (# utf8.codec encoded) ..sha-1)]} (text.ends_with? ..pom_md5 uri) {try.#Success [state (|> expected_package (value@ ///package.#pom) product.left - (\ xml.codec encoded) - (\ utf8.codec encoded) + (# xml.codec encoded) + (# utf8.codec encoded) ..md5)]} ... else @@ -219,23 +219,23 @@ {try.#Success [state (|> expected_package (value@ ///package.#pom) product.left - (\ xml.codec encoded) - (\ utf8.codec encoded))]} + (# xml.codec encoded) + (# utf8.codec encoded))]} (text.ends_with? ..pom_sha-1 uri) {try.#Success [state (|> expected_package (value@ ///package.#pom) product.left - (\ xml.codec encoded) - (\ utf8.codec encoded) + (# xml.codec encoded) + (# utf8.codec encoded) ..sha-1)]} (text.ends_with? ..pom_md5 uri) {try.#Success [state (|> dummy_package (value@ ///package.#pom) product.left - (\ xml.codec encoded) - (\ utf8.codec encoded) + (# xml.codec encoded) + (# utf8.codec encoded) ..md5)]} ... else @@ -251,7 +251,7 @@ [_ expected_package] $///package.random [_ dummy_package] (random.only (|>> product.right (with@ ///package.#pom (value@ ///package.#pom expected_package)) - (\ ///package.equivalence = expected_package) + (# ///package.equivalence = expected_package) not) $///package.random) .let [good (..single expected_artifact expected_package) @@ -265,7 +265,7 @@ (_.cover' [/.one] (case actual_package {try.#Success actual_package} - (\ ///package.equivalence = + (# ///package.equivalence = (with@ ///package.#origin {///repository/origin.#Remote ""} expected_package) actual_package) @@ -296,7 +296,7 @@ [_ expected_package] $///package.random [_ dummy_package] (random.only (|>> product.right (with@ ///package.#pom (value@ ///package.#pom expected_package)) - (\ ///package.equivalence = expected_package) + (# ///package.equivalence = expected_package) not) $///package.random) .let [good (..single expected_artifact expected_package) @@ -314,7 +314,7 @@ (_.cover' [/.any] (case actual_package {try.#Success actual_package} - (\ ///package.equivalence = + (# ///package.equivalence = (with@ ///package.#origin {///repository/origin.#Remote ""} expected_package) actual_package) @@ -341,11 +341,11 @@ (do random.monad [dependee_artifact $///artifact.random depender_artifact (random.only (predicate.complement - (\ ///artifact.equivalence = dependee_artifact)) + (# ///artifact.equivalence = dependee_artifact)) $///artifact.random) ignored_artifact (random.only (predicate.complement - (predicate.and (\ ///artifact.equivalence = dependee_artifact) - (\ ///artifact.equivalence = depender_artifact))) + (predicate.and (# ///artifact.equivalence = dependee_artifact) + (# ///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 (|> (# ///.monoid identity) (with@ ///.#identity {.#Some dependee_artifact}) ///pom.write try.trusted) - depender_pom (|> (\ ///.monoid identity) + depender_pom (|> (# ///.monoid identity) (with@ ///.#identity {.#Some depender_artifact}) (with@ ///.#dependencies (set.of_list ///dependency.hash (list dependee))) ///pom.write try.trusted) - ignored_pom (|> (\ ///.monoid identity) + ignored_pom (|> (# ///.monoid identity) (with@ ///.#identity {.#Some ignored_artifact}) ///pom.write try.trusted) dependee_package (with@ ///package.#pom [dependee_pom - (|> dependee_pom (\ xml.codec encoded) (\ utf8.codec encoded)) + (|> dependee_pom (# xml.codec encoded) (# utf8.codec encoded)) {///dependency/status.#Unverified}] dependee_package) depender_package (with@ ///package.#pom [depender_pom - (|> depender_pom (\ xml.codec encoded) (\ utf8.codec encoded)) + (|> depender_pom (# xml.codec encoded) (# utf8.codec encoded)) {///dependency/status.#Unverified}] depender_package) ignored_package (with@ ///package.#pom [ignored_pom - (|> ignored_pom (\ xml.codec encoded) (\ utf8.codec encoded)) + (|> ignored_pom (# xml.codec encoded) (# utf8.codec encoded)) {///dependency/status.#Unverified}] ignored_package)]] (in [[dependee depender ignored] @@ -418,10 +418,10 @@ /.empty)] (_.cover' [/.all] (and (dictionary.key? resolution depender) - (list.any? (///dependency\= depender) successes) + (list.any? (///dependency#= depender) successes) (dictionary.key? resolution dependee) - (list.any? (///dependency\= dependee) successes) + (list.any? (///dependency#= dependee) successes) (list.empty? failures) (not (dictionary.key? resolution ignored)))))) diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux index ea39e0cf5..0b487873f 100644 --- a/stdlib/source/test/aedifex/dependency/status.lux +++ b/stdlib/source/test/aedifex/dependency/status.lux @@ -10,7 +10,7 @@ ["[0]" binary "_" ["[1]T" \\test]]] [math - ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]]]] + ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]]]] ["$[0]" /// "_" ["[1][0]" hash]] [\\program @@ -21,7 +21,7 @@ (def: .public random (Random /.Status) ($_ random.or - (random\in []) + (random#in []) (random.or ($///hash.random ///hash.sha-1) ($///hash.random ///hash.md5)) (random.and ($///hash.random ///hash.sha-1) -- cgit v1.2.3