diff options
Diffstat (limited to 'stdlib/source/test/aedifex/dependency/resolution.lux')
| -rw-r--r-- | stdlib/source/test/aedifex/dependency/resolution.lux | 62 |
1 files changed, 31 insertions, 31 deletions
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] |