aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/dependency/resolution.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/aedifex/dependency/resolution.lux')
-rw-r--r--stdlib/source/test/aedifex/dependency/resolution.lux176
1 files changed, 88 insertions, 88 deletions
diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index 3165a659d..5ea995021 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -1,52 +1,52 @@
(.using
- [library
- [lux "*"
- ["_" test {"+" Test}]
- [abstract
- [monad {"+" do}]
- ["[0]" predicate]
- [\\specification
- ["$[0]" equivalence]]]
- [control
- ["[0]" try]
- ["[0]" exception]
- [concurrency
- ["[0]" async]]]
- [data
- [binary {"+" Binary}]
- ["[0]" product]
- ["[0]" text
- ["%" format {"+" format}]
- [encoding
- ["[0]" utf8]]]
- [format
- ["[0]" xml]]
- [collection
- ["[0]" dictionary]
- ["[0]" set]
- ["[0]" list]]]
- [math
- ["[0]" random {"+" Random}]]]]
- ["$[0]" /// "_"
- ["[1][0]" package]
- ["[1][0]" repository]
- ["[1][0]" artifact]
- [command
- ["[1][0]" version]]]
- [\\program
- ["[0]" /
- ["//[1]" /// "_"
- ["[1]" profile]
- ["[1][0]" package {"+" Package}]
- ["[1][0]" hash]
- ["[1][0]" dependency {"+" Dependency} ("[1]#[0]" equivalence)
- ["[1]/[0]" status]]
- ["[1][0]" pom]
- ["[1][0]" artifact {"+" Artifact}
- ["[1]/[0]" type]
- ["[1]/[0]" extension]]
- ["[1][0]" repository {"+" Mock}
- ["[1]/[0]" origin]]]]])
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ [monad {"+" do}]
+ ["[0]" predicate]
+ [\\specification
+ ["$[0]" equivalence]]]
+ [control
+ ["[0]" try]
+ ["[0]" exception]
+ [concurrency
+ ["[0]" async]]]
+ [data
+ [binary {"+" Binary}]
+ ["[0]" product]
+ ["[0]" text
+ ["%" format {"+" format}]
+ [encoding
+ ["[0]" utf8]]]
+ [format
+ ["[0]" xml]]
+ [collection
+ ["[0]" dictionary]
+ ["[0]" set]
+ ["[0]" list]]]
+ [math
+ ["[0]" random {"+" Random}]]]]
+ ["$[0]" /// "_"
+ ["[1][0]" package]
+ ["[1][0]" repository]
+ ["[1][0]" artifact]
+ [command
+ ["[1][0]" version]]]
+ [\\program
+ ["[0]" /
+ ["//[1]" /// "_"
+ ["[1]" profile]
+ ["[1][0]" package {"+" Package}]
+ ["[1][0]" hash]
+ ["[1][0]" dependency {"+" Dependency} ("[1]#[0]" equivalence)
+ ["[1]/[0]" status]]
+ ["[1][0]" pom]
+ ["[1][0]" artifact {"+" Artifact}
+ ["[1]/[0]" type]
+ ["[1]/[0]" extension]]
+ ["[1][0]" repository {"+" Mock}
+ ["[1]/[0]" origin]]]]])
(def: random
(Random /.Resolution)
@@ -98,7 +98,7 @@
(def: .public (single artifact package)
(-> Artifact Package (Mock Any))
- (let [expected (///artifact.uri (value@ ///artifact.#version artifact) artifact)]
+ (let [expected (///artifact.uri (the ///artifact.#version artifact) artifact)]
(implementation
(def: the_description
"[1]")
@@ -106,11 +106,11 @@
(if (text.contains? expected uri)
(let [library (: Binary
(|> package
- (value@ ///package.#library)
+ (the ///package.#library)
product.left))
pom (: Binary
(|> package
- (value@ ///package.#pom)
+ (the ///package.#pom)
product.left
(# xml.codec encoded)
(# utf8.codec encoded)))]
@@ -144,34 +144,34 @@
(def: the_description
"[~SHA-1]")
(def: (on_download uri state)
- (if (text.contains? (///artifact.uri (value@ ///artifact.#version expected_artifact) expected_artifact) uri)
+ (if (text.contains? (///artifact.uri (the ///artifact.#version expected_artifact) expected_artifact) uri)
(cond (text.ends_with? ///artifact/extension.lux_library uri)
{try.#Success [state (|> expected_package
- (value@ ///package.#library)
+ (the ///package.#library)
product.left)]}
(text.ends_with? ..lux_sha-1 uri)
{try.#Success [state (|> expected_package
- (value@ ///package.#library)
+ (the ///package.#library)
product.left
..sha-1)]}
(text.ends_with? ..lux_md5 uri)
{try.#Success [state (|> expected_package
- (value@ ///package.#library)
+ (the ///package.#library)
product.left
..md5)]}
(text.ends_with? ///artifact/extension.pom uri)
{try.#Success [state (|> expected_package
- (value@ ///package.#pom)
+ (the ///package.#pom)
product.left
(# xml.codec encoded)
(# utf8.codec encoded))]}
(text.ends_with? ..pom_sha-1 uri)
{try.#Success [state (|> dummy_package
- (value@ ///package.#pom)
+ (the ///package.#pom)
product.left
(# xml.codec encoded)
(# utf8.codec encoded)
@@ -179,7 +179,7 @@
(text.ends_with? ..pom_md5 uri)
{try.#Success [state (|> expected_package
- (value@ ///package.#pom)
+ (the ///package.#pom)
product.left
(# xml.codec encoded)
(# utf8.codec encoded)
@@ -197,34 +197,34 @@
(def: the_description
"[~MD5]")
(def: (on_download uri state)
- (if (text.contains? (///artifact.uri (value@ ///artifact.#version expected_artifact) expected_artifact) uri)
+ (if (text.contains? (///artifact.uri (the ///artifact.#version expected_artifact) expected_artifact) uri)
(cond (text.ends_with? ///artifact/extension.lux_library uri)
{try.#Success [state (|> expected_package
- (value@ ///package.#library)
+ (the ///package.#library)
product.left)]}
(text.ends_with? ..lux_sha-1 uri)
{try.#Success [state (|> expected_package
- (value@ ///package.#library)
+ (the ///package.#library)
product.left
..sha-1)]}
(text.ends_with? ..lux_md5 uri)
{try.#Success [state (|> dummy_package
- (value@ ///package.#library)
+ (the ///package.#library)
product.left
..md5)]}
(text.ends_with? ///artifact/extension.pom uri)
{try.#Success [state (|> expected_package
- (value@ ///package.#pom)
+ (the ///package.#pom)
product.left
(# xml.codec encoded)
(# utf8.codec encoded))]}
(text.ends_with? ..pom_sha-1 uri)
{try.#Success [state (|> expected_package
- (value@ ///package.#pom)
+ (the ///package.#pom)
product.left
(# xml.codec encoded)
(# utf8.codec encoded)
@@ -232,7 +232,7 @@
(text.ends_with? ..pom_md5 uri)
{try.#Success [state (|> dummy_package
- (value@ ///package.#pom)
+ (the ///package.#pom)
product.left
(# xml.codec encoded)
(# utf8.codec encoded)
@@ -250,7 +250,7 @@
[expected_artifact $///artifact.random
[_ expected_package] $///package.random
[_ dummy_package] (random.only (|>> product.right
- (with@ ///package.#pom (value@ ///package.#pom expected_package))
+ (has ///package.#pom (the ///package.#pom expected_package))
(# ///package.equivalence = expected_package)
not)
$///package.random)
@@ -266,7 +266,7 @@
(case actual_package
{try.#Success actual_package}
(# ///package.equivalence =
- (with@ ///package.#origin {///repository/origin.#Remote ""} expected_package)
+ (has ///package.#origin {///repository/origin.#Remote ""} expected_package)
actual_package)
{try.#Failure _}
@@ -295,7 +295,7 @@
[expected_artifact $///artifact.random
[_ expected_package] $///package.random
[_ dummy_package] (random.only (|>> product.right
- (with@ ///package.#pom (value@ ///package.#pom expected_package))
+ (has ///package.#pom (the ///package.#pom expected_package))
(# ///package.equivalence = expected_package)
not)
$///package.random)
@@ -315,7 +315,7 @@
(case actual_package
{try.#Success actual_package}
(# ///package.equivalence =
- (with@ ///package.#origin {///repository/origin.#Remote ""} expected_package)
+ (has ///package.#origin {///repository/origin.#Remote ""} expected_package)
actual_package)
{try.#Failure _}
@@ -366,34 +366,34 @@
///dependency.#type ///artifact/type.lux_library]
dependee_pom (|> (# ///.monoid identity)
- (with@ ///.#identity {.#Some dependee_artifact})
+ (has ///.#identity {.#Some dependee_artifact})
///pom.write
try.trusted)
depender_pom (|> (# ///.monoid identity)
- (with@ ///.#identity {.#Some depender_artifact})
- (with@ ///.#dependencies (set.of_list ///dependency.hash (list dependee)))
+ (has ///.#identity {.#Some depender_artifact})
+ (has ///.#dependencies (set.of_list ///dependency.hash (list dependee)))
///pom.write
try.trusted)
ignored_pom (|> (# ///.monoid identity)
- (with@ ///.#identity {.#Some ignored_artifact})
+ (has ///.#identity {.#Some ignored_artifact})
///pom.write
try.trusted)
- dependee_package (with@ ///package.#pom
- [dependee_pom
- (|> 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))
- {///dependency/status.#Unverified}]
- depender_package)
- ignored_package (with@ ///package.#pom
- [ignored_pom
- (|> ignored_pom (# xml.codec encoded) (# utf8.codec encoded))
- {///dependency/status.#Unverified}]
- ignored_package)]]
+ dependee_package (has ///package.#pom
+ [dependee_pom
+ (|> dependee_pom (# xml.codec encoded) (# utf8.codec encoded))
+ {///dependency/status.#Unverified}]
+ dependee_package)
+ depender_package (has ///package.#pom
+ [depender_pom
+ (|> depender_pom (# xml.codec encoded) (# utf8.codec encoded))
+ {///dependency/status.#Unverified}]
+ depender_package)
+ ignored_package (has ///package.#pom
+ [ignored_pom
+ (|> ignored_pom (# xml.codec encoded) (# utf8.codec encoded))
+ {///dependency/status.#Unverified}]
+ ignored_package)]]
(in [[dependee depender ignored]
[dependee_package depender_package ignored_package]])))
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-01 03:50:11 +0000