aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/dependency/resolution.lux
diff options
context:
space:
mode:
authorEduardo Julian2021-07-27 03:51:10 -0400
committerEduardo Julian2021-07-27 03:51:10 -0400
commit061fd8a209bbcaffc2bfb850ac6046752a567d50 (patch)
tree8cd83ad7d0bc06ded7976eb5420467e485733ae8 /stdlib/source/test/aedifex/dependency/resolution.lux
parente64b6d0114c26a455e19a416b5f02a4d19dd711f (diff)
Re-named wrap => in && unwrap => out.
Diffstat (limited to 'stdlib/source/test/aedifex/dependency/resolution.lux')
-rw-r--r--stdlib/source/test/aedifex/dependency/resolution.lux167
1 files changed, 81 insertions, 86 deletions
diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index ea468f851..fa0391761 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -53,10 +53,10 @@
(do {! random.monad}
[artifact $///artifact.random
[_ package] $///package.random]
- (wrap (dictionary.put {#///dependency.artifact artifact
- #///dependency.type ///artifact/type.lux_library}
- package
- /.empty))))
+ (in (dictionary.put {#///dependency.artifact artifact
+ #///dependency.type ///artifact/type.lux_library}
+ package
+ /.empty))))
(def: lux_sha-1
Text
@@ -258,33 +258,31 @@
bad_sha-1 (..bad_sha-1 expected_artifact expected_package dummy_package)
bad_md5 (..bad_md5 expected_artifact expected_package dummy_package)]]
(`` ($_ _.and
- (wrap
- (do async.monad
- [actual_package (/.one (///repository.mock good [])
- {#///dependency.artifact expected_artifact
- #///dependency.type ///artifact/type.lux_library})]
- (_.cover' [/.one]
- (case actual_package
- (#try.Success actual_package)
- (\ ///package.equivalence =
- (set@ #///package.origin (#///repository/origin.Remote "") expected_package)
- actual_package)
-
- (#try.Failure _)
- false))))
+ (in (do async.monad
+ [actual_package (/.one (///repository.mock good [])
+ {#///dependency.artifact expected_artifact
+ #///dependency.type ///artifact/type.lux_library})]
+ (_.cover' [/.one]
+ (case actual_package
+ (#try.Success actual_package)
+ (\ ///package.equivalence =
+ (set@ #///package.origin (#///repository/origin.Remote "") expected_package)
+ actual_package)
+
+ (#try.Failure _)
+ false))))
(~~ (template [<exception> <bad>]
- [(wrap
- (do async.monad
- [actual_package (/.one (///repository.mock <bad> [])
- {#///dependency.artifact expected_artifact
- #///dependency.type ///artifact/type.lux_library})]
- (_.cover' [<exception>]
- (case actual_package
- (#try.Failure error)
- (exception.match? <exception> error)
-
- (#try.Success _)
- false))))]
+ [(in (do async.monad
+ [actual_package (/.one (///repository.mock <bad> [])
+ {#///dependency.artifact expected_artifact
+ #///dependency.type ///artifact/type.lux_library})]
+ (_.cover' [<exception>]
+ (case actual_package
+ (#try.Failure error)
+ (exception.match? <exception> error)
+
+ (#try.Success _)
+ false))))]
[/.sha-1_does_not_match bad_sha-1]
[/.md5_does_not_match bad_md5]
@@ -305,39 +303,37 @@
bad_sha-1 (..bad_sha-1 expected_artifact expected_package dummy_package)
bad_md5 (..bad_md5 expected_artifact expected_package dummy_package)]]
($_ _.and
- (wrap
- (do async.monad
- [#let [console ($///version.echo "")]
- actual_package (/.any console
- (list (///repository.mock bad_sha-1 [])
- (///repository.mock bad_md5 [])
- (///repository.mock good []))
- {#///dependency.artifact expected_artifact
- #///dependency.type ///artifact/type.lux_library})]
- (_.cover' [/.any]
- (case actual_package
- (#try.Success actual_package)
- (\ ///package.equivalence =
- (set@ #///package.origin (#///repository/origin.Remote "") expected_package)
- actual_package)
-
- (#try.Failure _)
- false))))
- (wrap
- (do async.monad
- [#let [console ($///version.echo "")]
- actual_package (/.any console
- (list (///repository.mock bad_sha-1 [])
- (///repository.mock bad_md5 []))
- {#///dependency.artifact expected_artifact
- #///dependency.type ///artifact/type.lux_library})]
- (_.cover' [/.cannot_resolve]
- (case actual_package
- (#try.Failure error)
- (exception.match? /.cannot_resolve error)
-
- (#try.Success _)
- false))))
+ (in (do async.monad
+ [#let [console ($///version.echo "")]
+ actual_package (/.any console
+ (list (///repository.mock bad_sha-1 [])
+ (///repository.mock bad_md5 [])
+ (///repository.mock good []))
+ {#///dependency.artifact expected_artifact
+ #///dependency.type ///artifact/type.lux_library})]
+ (_.cover' [/.any]
+ (case actual_package
+ (#try.Success actual_package)
+ (\ ///package.equivalence =
+ (set@ #///package.origin (#///repository/origin.Remote "") expected_package)
+ actual_package)
+
+ (#try.Failure _)
+ false))))
+ (in (do async.monad
+ [#let [console ($///version.echo "")]
+ actual_package (/.any console
+ (list (///repository.mock bad_sha-1 [])
+ (///repository.mock bad_md5 []))
+ {#///dependency.artifact expected_artifact
+ #///dependency.type ///artifact/type.lux_library})]
+ (_.cover' [/.cannot_resolve]
+ (case actual_package
+ (#try.Failure error)
+ (exception.match? /.cannot_resolve error)
+
+ (#try.Success _)
+ false))))
)))
(def: artifacts
@@ -351,7 +347,7 @@
(predicate.unite (\ ///artifact.equivalence = dependee_artifact)
(\ ///artifact.equivalence = depender_artifact)))
$///artifact.random)]
- (wrap [dependee_artifact depender_artifact ignored_artifact])))
+ (in [dependee_artifact depender_artifact ignored_artifact])))
(def: (packages [dependee_artifact depender_artifact ignored_artifact])
(-> [Artifact Artifact Artifact]
@@ -398,8 +394,8 @@
(|> ignored_pom (\ xml.codec encode) (\ utf8.codec encode))
#///dependency/status.Unverified]
ignored_package)]]
- (wrap [[dependee depender ignored]
- [dependee_package depender_package ignored_package]])))
+ (in [[dependee depender ignored]
+ [dependee_package depender_package ignored_package]])))
(def: all
Test
@@ -410,26 +406,25 @@
[dependee_package depender_package ignored_package]]
(..packages [dependee_artifact depender_artifact ignored_artifact])]
($_ _.and
- (wrap
- (do async.monad
- [#let [console ($///version.echo "")]
- [successes failures resolution] (/.all console
- (list (///repository.mock (..single dependee_artifact dependee_package) [])
- (///repository.mock (..single depender_artifact depender_package) [])
- (///repository.mock (..single ignored_artifact ignored_package) []))
- (function (_ url)
- (///repository.mock ..nope []))
- (list depender)
- /.empty)]
- (_.cover' [/.all]
- (and (dictionary.key? resolution depender)
- (list.any? (///dependency\= depender) successes)
-
- (dictionary.key? resolution dependee)
- (list.any? (///dependency\= dependee) successes)
-
- (list.empty? failures)
- (not (dictionary.key? resolution ignored))))))
+ (in (do async.monad
+ [#let [console ($///version.echo "")]
+ [successes failures resolution] (/.all console
+ (list (///repository.mock (..single dependee_artifact dependee_package) [])
+ (///repository.mock (..single depender_artifact depender_package) [])
+ (///repository.mock (..single ignored_artifact ignored_package) []))
+ (function (_ url)
+ (///repository.mock ..nope []))
+ (list depender)
+ /.empty)]
+ (_.cover' [/.all]
+ (and (dictionary.key? resolution depender)
+ (list.any? (///dependency\= depender) successes)
+
+ (dictionary.key? resolution dependee)
+ (list.any? (///dependency\= dependee) successes)
+
+ (list.empty? failures)
+ (not (dictionary.key? resolution ignored))))))
)))
(def: #export test