aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/dependency
diff options
context:
space:
mode:
authorEduardo Julian2020-12-02 06:42:20 -0400
committerEduardo Julian2020-12-02 06:42:20 -0400
commit34e310622bdeb1d0588c0664c0e78cbaa84f837c (patch)
treeeb7c04185b57c781f45d0ccdb955bc9afc2aa8dc /stdlib/source/test/aedifex/dependency
parent982a19e0c5d57b53f9726b780fec4c18f0787b4f (diff)
Re-named "::" and ":::" macros to "\" and "\\", to be consistent with the convention that only macros that deal with types may start with a colon.
Diffstat (limited to 'stdlib/source/test/aedifex/dependency')
-rw-r--r--stdlib/source/test/aedifex/dependency/resolution.lux68
1 files changed, 34 insertions, 34 deletions
diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index 8bd013125..b426a100d 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -59,26 +59,26 @@
(-> Artifact Package (Simulation Any))
(structure
(def: (on-download request extension state)
- (if (:: ///artifact.equivalence = artifact request)
+ (if (\ ///artifact.equivalence = artifact request)
(cond (text\= extension ///artifact/extension.lux-library)
(#try.Success [state (get@ #///package.library package)])
(text\= extension ///artifact/extension.pom)
(#try.Success [state (|> package
(get@ #///package.pom)
- (:: xml.codec encode)
+ (\ xml.codec encode)
encoding.to-utf8)])
(text\= extension ///artifact/extension.sha-1)
(#try.Success [state (|> package
(get@ #///package.sha-1)
- (:: ///hash.sha-1-codec encode)
+ (\ ///hash.sha-1-codec encode)
encoding.to-utf8)])
(text\= extension ///artifact/extension.md5)
(#try.Success [state (|> package
(get@ #///package.md5)
- (:: ///hash.md5-codec encode)
+ (\ ///hash.md5-codec encode)
encoding.to-utf8)])
## else
@@ -94,33 +94,33 @@
[_ expected-package] $///package.random
[_ dummy-package] (random.filter (|>> product.right
(set@ #///package.pom (get@ #///package.pom expected-package))
- (:: ///package.equivalence = expected-package)
+ (\ ///package.equivalence = expected-package)
not)
$///package.random)
#let [good (..single expected-artifact expected-package)
bad-sha-1 (: (Simulation Any)
(structure
(def: (on-download actual-artifact extension state)
- (if (:: ///artifact.equivalence = expected-artifact actual-artifact)
+ (if (\ ///artifact.equivalence = expected-artifact actual-artifact)
(cond (text\= extension ///artifact/extension.lux-library)
(#try.Success [state (get@ #///package.library expected-package)])
(text\= extension ///artifact/extension.pom)
(#try.Success [state (|> expected-package
(get@ #///package.pom)
- (:: xml.codec encode)
+ (\ xml.codec encode)
encoding.to-utf8)])
(text\= extension ///artifact/extension.sha-1)
(#try.Success [state (|> dummy-package
(get@ #///package.sha-1)
- (:: ///hash.sha-1-codec encode)
+ (\ ///hash.sha-1-codec encode)
encoding.to-utf8)])
(text\= extension ///artifact/extension.md5)
(#try.Success [state (|> expected-package
(get@ #///package.md5)
- (:: ///hash.md5-codec encode)
+ (\ ///hash.md5-codec encode)
encoding.to-utf8)])
## else
@@ -131,26 +131,26 @@
bad-md5 (: (Simulation Any)
(structure
(def: (on-download actual-artifact extension state)
- (if (:: ///artifact.equivalence = expected-artifact actual-artifact)
+ (if (\ ///artifact.equivalence = expected-artifact actual-artifact)
(cond (text\= extension ///artifact/extension.lux-library)
(#try.Success [state (get@ #///package.library expected-package)])
(text\= extension ///artifact/extension.pom)
(#try.Success [state (|> expected-package
(get@ #///package.pom)
- (:: xml.codec encode)
+ (\ xml.codec encode)
encoding.to-utf8)])
(text\= extension ///artifact/extension.sha-1)
(#try.Success [state (|> expected-package
(get@ #///package.sha-1)
- (:: ///hash.sha-1-codec encode)
+ (\ ///hash.sha-1-codec encode)
encoding.to-utf8)])
(text\= extension ///artifact/extension.md5)
(#try.Success [state (|> dummy-package
(get@ #///package.md5)
- (:: ///hash.md5-codec encode)
+ (\ ///hash.md5-codec encode)
encoding.to-utf8)])
## else
@@ -167,9 +167,9 @@
(_.cover' [/.one]
(case actual-package
(#try.Success actual-package)
- (:: ///package.equivalence =
- (set@ #///package.origin #///package.Remote expected-package)
- actual-package)
+ (\ ///package.equivalence =
+ (set@ #///package.origin #///package.Remote expected-package)
+ actual-package)
(#try.Failure _)
false))))
@@ -199,33 +199,33 @@
[_ expected-package] $///package.random
[_ dummy-package] (random.filter (|>> product.right
(set@ #///package.pom (get@ #///package.pom expected-package))
- (:: ///package.equivalence = expected-package)
+ (\ ///package.equivalence = expected-package)
not)
$///package.random)
#let [good (..single expected-artifact expected-package)
bad-sha-1 (: (Simulation Any)
(structure
(def: (on-download actual-artifact extension state)
- (if (:: ///artifact.equivalence = expected-artifact actual-artifact)
+ (if (\ ///artifact.equivalence = expected-artifact actual-artifact)
(cond (text\= extension ///artifact/extension.lux-library)
(#try.Success [state (get@ #///package.library expected-package)])
(text\= extension ///artifact/extension.pom)
(#try.Success [state (|> expected-package
(get@ #///package.pom)
- (:: xml.codec encode)
+ (\ xml.codec encode)
encoding.to-utf8)])
(text\= extension ///artifact/extension.sha-1)
(#try.Success [state (|> dummy-package
(get@ #///package.sha-1)
- (:: ///hash.sha-1-codec encode)
+ (\ ///hash.sha-1-codec encode)
encoding.to-utf8)])
(text\= extension ///artifact/extension.md5)
(#try.Success [state (|> expected-package
(get@ #///package.md5)
- (:: ///hash.md5-codec encode)
+ (\ ///hash.md5-codec encode)
encoding.to-utf8)])
## else
@@ -236,26 +236,26 @@
bad-md5 (: (Simulation Any)
(structure
(def: (on-download actual-artifact extension state)
- (if (:: ///artifact.equivalence = expected-artifact actual-artifact)
+ (if (\ ///artifact.equivalence = expected-artifact actual-artifact)
(cond (text\= extension ///artifact/extension.lux-library)
(#try.Success [state (get@ #///package.library expected-package)])
(text\= extension ///artifact/extension.pom)
(#try.Success [state (|> expected-package
(get@ #///package.pom)
- (:: xml.codec encode)
+ (\ xml.codec encode)
encoding.to-utf8)])
(text\= extension ///artifact/extension.sha-1)
(#try.Success [state (|> expected-package
(get@ #///package.sha-1)
- (:: ///hash.sha-1-codec encode)
+ (\ ///hash.sha-1-codec encode)
encoding.to-utf8)])
(text\= extension ///artifact/extension.md5)
(#try.Success [state (|> dummy-package
(get@ #///package.md5)
- (:: ///hash.md5-codec encode)
+ (\ ///hash.md5-codec encode)
encoding.to-utf8)])
## else
@@ -274,9 +274,9 @@
(_.cover' [/.any]
(case actual-package
(#try.Success actual-package)
- (:: ///package.equivalence =
- (set@ #///package.origin #///package.Remote expected-package)
- actual-package)
+ (\ ///package.equivalence =
+ (set@ #///package.origin #///package.Remote expected-package)
+ actual-package)
(#try.Failure _)
false))))
@@ -300,11 +300,11 @@
(do {! random.monad}
[dependee-artifact $///artifact.random
depender-artifact (random.filter (predicate.complement
- (:: ///artifact.equivalence = dependee-artifact))
+ (\ ///artifact.equivalence = dependee-artifact))
$///artifact.random)
ignored-artifact (random.filter (predicate.complement
- (predicate.unite (:: ///artifact.equivalence = dependee-artifact)
- (:: ///artifact.equivalence = depender-artifact)))
+ (predicate.unite (\ ///artifact.equivalence = dependee-artifact)
+ (\ ///artifact.equivalence = depender-artifact)))
$///artifact.random)
[_ dependee-package] $///package.random
@@ -318,16 +318,16 @@
ignored {#///dependency.artifact ignored-artifact
#///dependency.type ///artifact/type.lux-library}
- dependee-pom (|> (:: ///.monoid identity)
+ dependee-pom (|> (\ ///.monoid identity)
(set@ #///.identity (#.Some dependee-artifact))
///pom.write
try.assume)
- depender-pom (|> (:: ///.monoid identity)
+ depender-pom (|> (\ ///.monoid identity)
(set@ #///.identity (#.Some depender-artifact))
(set@ #///.dependencies (set.from-list ///dependency.hash (list dependee)))
///pom.write
try.assume)
- ignored-pom (|> (:: ///.monoid identity)
+ ignored-pom (|> (\ ///.monoid identity)
(set@ #///.identity (#.Some ignored-artifact))
///pom.write
try.assume)