aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/dependency
diff options
context:
space:
mode:
authorEduardo Julian2021-09-12 15:39:55 -0400
committerEduardo Julian2021-09-12 15:39:55 -0400
commit2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd (patch)
tree14bc8b5abe09b46ef005c3ff7cf132f1d98ddf0d /stdlib/source/test/aedifex/dependency
parentdda05bca0956af5e5b3875c4cc36e61aa04772e4 (diff)
Re-named \ => # && \\ => ##
Diffstat (limited to 'stdlib/source/test/aedifex/dependency')
-rw-r--r--stdlib/source/test/aedifex/dependency/deployment.lux30
-rw-r--r--stdlib/source/test/aedifex/dependency/resolution.lux68
-rw-r--r--stdlib/source/test/aedifex/dependency/status.lux4
3 files changed, 51 insertions, 51 deletions
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)