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. --- .../source/test/aedifex/dependency/deployment.lux | 8 +-- .../source/test/aedifex/dependency/resolution.lux | 62 +++++++++++----------- 2 files changed, 35 insertions(+), 35 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 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] -- cgit v1.2.3