aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/dependency/resolution.lux
diff options
context:
space:
mode:
authorEduardo Julian2020-12-25 09:22:38 -0400
committerEduardo Julian2020-12-25 09:22:38 -0400
commit4ca397765805eda5ddee393901ed3a02001a960a (patch)
tree2ab184a1a4e244f3a69e86c8a7bb3ad49c22b4a3 /stdlib/source/test/aedifex/dependency/resolution.lux
parentd29e091e98dabb8dfcf816899ada480ecbf7e357 (diff)
Replaced kebab-case with snake_case for naming convention.
Diffstat (limited to 'stdlib/source/test/aedifex/dependency/resolution.lux')
-rw-r--r--stdlib/source/test/aedifex/dependency/resolution.lux250
1 files changed, 125 insertions, 125 deletions
diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index 92ced9e74..5f262bce4 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -52,260 +52,260 @@
[artifact $///artifact.random
[_ package] $///package.random]
(wrap (dictionary.put {#///dependency.artifact artifact
- #///dependency.type ///artifact/type.lux-library}
+ #///dependency.type ///artifact/type.lux_library}
package
/.empty))))
(def: #export (single artifact package)
(-> Artifact Package (Simulation Any))
(structure
- (def: (on-download uri state)
+ (def: (on_download uri state)
(if (text.contains? (///artifact.uri artifact) uri)
- (cond (text.ends-with? ///artifact/extension.lux-library uri)
+ (cond (text.ends_with? ///artifact/extension.lux_library uri)
(#try.Success [state (|> package
(get@ #///package.library)
product.left)])
- (text.ends-with? ///artifact/extension.pom uri)
+ (text.ends_with? ///artifact/extension.pom uri)
(#try.Success [state (|> package
(get@ #///package.pom)
product.left
(\ xml.codec encode)
(\ encoding.utf8 encode))])
- ## (text.ends-with? ///artifact/extension.sha-1 uri)
+ ## (text.ends_with? ///artifact/extension.sha-1 uri)
## (#try.Success [state (|> package
## (get@ #///package.sha-1)
- ## (\ ///hash.sha-1-codec encode)
+ ## (\ ///hash.sha-1_codec encode)
## (\ encoding.utf8 encode))])
- ## (text.ends-with? ///artifact/extension.md5 uri)
+ ## (text.ends_with? ///artifact/extension.md5 uri)
## (#try.Success [state (|> package
## (get@ #///package.md5)
- ## (\ ///hash.md5-codec encode)
+ ## (\ ///hash.md5_codec encode)
## (\ encoding.utf8 encode))])
## else
(#try.Failure "NOPE"))
(#try.Failure "NOPE")))
- (def: (on-upload uri binary state)
+ (def: (on_upload uri binary state)
(#try.Failure "NOPE"))))
(def: one
Test
(do {! random.monad}
- [expected-artifact $///artifact.random
- [_ expected-package] $///package.random
- [_ dummy-package] (random.filter (|>> product.right
- (set@ #///package.pom (get@ #///package.pom expected-package))
- (\ ///package.equivalence = expected-package)
+ [expected_artifact $///artifact.random
+ [_ expected_package] $///package.random
+ [_ dummy_package] (random.filter (|>> product.right
+ (set@ #///package.pom (get@ #///package.pom expected_package))
+ (\ ///package.equivalence = expected_package)
not)
$///package.random)
- #let [good (..single expected-artifact expected-package)
- bad-sha-1 (: (Simulation Any)
+ #let [good (..single expected_artifact expected_package)
+ bad_sha-1 (: (Simulation Any)
(structure
- (def: (on-download uri state)
- (if (text.contains? (///artifact.uri expected-artifact) uri)
- (cond (text.ends-with? ///artifact/extension.lux-library uri)
- (#try.Success [state (|> expected-package
+ (def: (on_download uri state)
+ (if (text.contains? (///artifact.uri expected_artifact) uri)
+ (cond (text.ends_with? ///artifact/extension.lux_library uri)
+ (#try.Success [state (|> expected_package
(get@ #///package.library)
product.left)])
- (text.ends-with? ///artifact/extension.pom uri)
- (#try.Success [state (|> expected-package
+ (text.ends_with? ///artifact/extension.pom uri)
+ (#try.Success [state (|> expected_package
(get@ #///package.pom)
product.left
(\ xml.codec encode)
(\ encoding.utf8 encode))])
## (text\= extension ///artifact/extension.sha-1)
- ## (#try.Success [state (|> dummy-package
+ ## (#try.Success [state (|> dummy_package
## (get@ #///package.sha-1)
- ## (\ ///hash.sha-1-codec encode)
+ ## (\ ///hash.sha-1_codec encode)
## (\ encoding.utf8 encode))])
## (text\= extension ///artifact/extension.md5)
- ## (#try.Success [state (|> expected-package
+ ## (#try.Success [state (|> expected_package
## (get@ #///package.md5)
- ## (\ ///hash.md5-codec encode)
+ ## (\ ///hash.md5_codec encode)
## (\ encoding.utf8 encode))])
## else
(#try.Failure "NOPE"))
(#try.Failure "NOPE")))
- (def: (on-upload uri binary state)
+ (def: (on_upload uri binary state)
(#try.Failure "NOPE"))))
- bad-md5 (: (Simulation Any)
+ bad_md5 (: (Simulation Any)
(structure
- (def: (on-download uri state)
- (if (text.contains? (///artifact.uri expected-artifact) uri)
- (cond (text.ends-with? ///artifact/extension.lux-library uri)
- (#try.Success [state (|> expected-package
+ (def: (on_download uri state)
+ (if (text.contains? (///artifact.uri expected_artifact) uri)
+ (cond (text.ends_with? ///artifact/extension.lux_library uri)
+ (#try.Success [state (|> expected_package
(get@ #///package.library)
product.left)])
- (text.ends-with? ///artifact/extension.pom uri)
- (#try.Success [state (|> expected-package
+ (text.ends_with? ///artifact/extension.pom uri)
+ (#try.Success [state (|> expected_package
(get@ #///package.pom)
product.left
(\ xml.codec encode)
(\ encoding.utf8 encode))])
## (text\= extension ///artifact/extension.sha-1)
- ## (#try.Success [state (|> expected-package
+ ## (#try.Success [state (|> expected_package
## (get@ #///package.sha-1)
- ## (\ ///hash.sha-1-codec encode)
+ ## (\ ///hash.sha-1_codec encode)
## (\ encoding.utf8 encode))])
## (text\= extension ///artifact/extension.md5)
- ## (#try.Success [state (|> dummy-package
+ ## (#try.Success [state (|> dummy_package
## (get@ #///package.md5)
- ## (\ ///hash.md5-codec encode)
+ ## (\ ///hash.md5_codec encode)
## (\ encoding.utf8 encode))])
## else
(#try.Failure "NOPE"))
(#try.Failure "NOPE")))
- (def: (on-upload uri binary state)
+ (def: (on_upload uri binary state)
(#try.Failure "NOPE"))))]]
(`` ($_ _.and
(wrap
(do promise.monad
- [actual-package (/.one (///repository.mock good [])
- {#///dependency.artifact expected-artifact
- #///dependency.type ///artifact/type.lux-library})]
+ [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)
+ (case actual_package
+ (#try.Success actual_package)
(\ ///package.equivalence =
- (set@ #///package.origin #///package.Remote expected-package)
- actual-package)
+ (set@ #///package.origin #///package.Remote expected_package)
+ actual_package)
(#try.Failure _)
false))))
(~~ (template [<exception> <bad>]
[(wrap
(do promise.monad
- [actual-package (/.one (///repository.mock <bad> [])
- {#///dependency.artifact expected-artifact
- #///dependency.type ///artifact/type.lux-library})]
+ [actual_package (/.one (///repository.mock <bad> [])
+ {#///dependency.artifact expected_artifact
+ #///dependency.type ///artifact/type.lux_library})]
(_.cover' [<exception>]
- (case actual-package
+ (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]
+ [/.sha-1_does_not_match bad_sha-1]
+ [/.md5_does_not_match bad_md5]
))
))))
(def: any
Test
(do {! random.monad}
- [expected-artifact $///artifact.random
- [_ expected-package] $///package.random
- [_ dummy-package] (random.filter (|>> product.right
- (set@ #///package.pom (get@ #///package.pom expected-package))
- (\ ///package.equivalence = expected-package)
+ [expected_artifact $///artifact.random
+ [_ expected_package] $///package.random
+ [_ dummy_package] (random.filter (|>> product.right
+ (set@ #///package.pom (get@ #///package.pom expected_package))
+ (\ ///package.equivalence = expected_package)
not)
$///package.random)
- #let [good (..single expected-artifact expected-package)
- bad-sha-1 (: (Simulation Any)
+ #let [good (..single expected_artifact expected_package)
+ bad_sha-1 (: (Simulation Any)
(structure
- (def: (on-download uri state)
- (if (text.contains? (///artifact.uri expected-artifact) uri)
- (cond (text.ends-with? ///artifact/extension.lux-library uri)
- (#try.Success [state (|> expected-package
+ (def: (on_download uri state)
+ (if (text.contains? (///artifact.uri expected_artifact) uri)
+ (cond (text.ends_with? ///artifact/extension.lux_library uri)
+ (#try.Success [state (|> expected_package
(get@ #///package.library)
product.left)])
- (text.ends-with? ///artifact/extension.pom uri)
- (#try.Success [state (|> expected-package
+ (text.ends_with? ///artifact/extension.pom uri)
+ (#try.Success [state (|> expected_package
(get@ #///package.pom)
product.left
(\ xml.codec encode)
(\ encoding.utf8 encode))])
## (text\= extension ///artifact/extension.sha-1)
- ## (#try.Success [state (|> dummy-package
+ ## (#try.Success [state (|> dummy_package
## (get@ #///package.sha-1)
- ## (\ ///hash.sha-1-codec encode)
+ ## (\ ///hash.sha-1_codec encode)
## (\ encoding.utf8 encode))])
## (text\= extension ///artifact/extension.md5)
- ## (#try.Success [state (|> expected-package
+ ## (#try.Success [state (|> expected_package
## (get@ #///package.md5)
- ## (\ ///hash.md5-codec encode)
+ ## (\ ///hash.md5_codec encode)
## (\ encoding.utf8 encode))])
## else
(#try.Failure "NOPE"))
(#try.Failure "NOPE")))
- (def: (on-upload uri binary state)
+ (def: (on_upload uri binary state)
(#try.Failure "NOPE"))))
- bad-md5 (: (Simulation Any)
+ bad_md5 (: (Simulation Any)
(structure
- (def: (on-download uri state)
- (if (text.contains? (///artifact.uri expected-artifact) uri)
- (cond (text.ends-with? ///artifact/extension.lux-library uri)
- (#try.Success [state (|> expected-package
+ (def: (on_download uri state)
+ (if (text.contains? (///artifact.uri expected_artifact) uri)
+ (cond (text.ends_with? ///artifact/extension.lux_library uri)
+ (#try.Success [state (|> expected_package
(get@ #///package.library)
product.left)])
- (text.ends-with? ///artifact/extension.pom uri)
- (#try.Success [state (|> expected-package
+ (text.ends_with? ///artifact/extension.pom uri)
+ (#try.Success [state (|> expected_package
(get@ #///package.pom)
product.left
(\ xml.codec encode)
(\ encoding.utf8 encode))])
## (text\= extension ///artifact/extension.sha-1)
- ## (#try.Success [state (|> expected-package
+ ## (#try.Success [state (|> expected_package
## (get@ #///package.sha-1)
- ## (\ ///hash.sha-1-codec encode)
+ ## (\ ///hash.sha-1_codec encode)
## (\ encoding.utf8 encode))])
## (text\= extension ///artifact/extension.md5)
- ## (#try.Success [state (|> dummy-package
+ ## (#try.Success [state (|> dummy_package
## (get@ #///package.md5)
- ## (\ ///hash.md5-codec encode)
+ ## (\ ///hash.md5_codec encode)
## (\ encoding.utf8 encode))])
## else
(#try.Failure "NOPE"))
(#try.Failure "NOPE")))
- (def: (on-upload uri binary state)
+ (def: (on_upload uri binary state)
(#try.Failure "NOPE"))))]]
($_ _.and
(wrap
(do promise.monad
- [actual-package (/.any (list (///repository.mock bad-sha-1 [])
- (///repository.mock bad-md5 [])
+ [actual_package (/.any (list (///repository.mock bad_sha-1 [])
+ (///repository.mock bad_md5 [])
(///repository.mock good []))
- {#///dependency.artifact expected-artifact
- #///dependency.type ///artifact/type.lux-library})]
+ {#///dependency.artifact expected_artifact
+ #///dependency.type ///artifact/type.lux_library})]
(_.cover' [/.any]
- (case actual-package
- (#try.Success actual-package)
+ (case actual_package
+ (#try.Success actual_package)
(\ ///package.equivalence =
- (set@ #///package.origin #///package.Remote expected-package)
- actual-package)
+ (set@ #///package.origin #///package.Remote expected_package)
+ actual_package)
(#try.Failure _)
false))))
(wrap
(do promise.monad
- [actual-package (/.any (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
+ [actual_package (/.any (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)
+ (exception.match? /.cannot_resolve error)
(#try.Success _)
false))))
@@ -314,49 +314,49 @@
(def: all
Test
(do {! random.monad}
- [dependee-artifact $///artifact.random
- depender-artifact (random.filter (predicate.complement
- (\ ///artifact.equivalence = dependee-artifact))
+ [dependee_artifact $///artifact.random
+ depender_artifact (random.filter (predicate.complement
+ (\ ///artifact.equivalence = dependee_artifact))
$///artifact.random)
- ignored-artifact (random.filter (predicate.complement
- (predicate.unite (\ ///artifact.equivalence = dependee-artifact)
- (\ ///artifact.equivalence = depender-artifact)))
+ ignored_artifact (random.filter (predicate.complement
+ (predicate.unite (\ ///artifact.equivalence = dependee_artifact)
+ (\ ///artifact.equivalence = depender_artifact)))
$///artifact.random)
- [_ dependee-package] $///package.random
- [_ depender-package] $///package.random
- [_ ignored-package] $///package.random
+ [_ dependee_package] $///package.random
+ [_ depender_package] $///package.random
+ [_ ignored_package] $///package.random
- #let [dependee {#///dependency.artifact dependee-artifact
- #///dependency.type ///artifact/type.lux-library}
- depender {#///dependency.artifact depender-artifact
- #///dependency.type ///artifact/type.lux-library}
- ignored {#///dependency.artifact ignored-artifact
- #///dependency.type ///artifact/type.lux-library}
+ #let [dependee {#///dependency.artifact dependee_artifact
+ #///dependency.type ///artifact/type.lux_library}
+ depender {#///dependency.artifact depender_artifact
+ #///dependency.type ///artifact/type.lux_library}
+ ignored {#///dependency.artifact ignored_artifact
+ #///dependency.type ///artifact/type.lux_library}
- dependee-pom (|> (\ ///.monoid identity)
- (set@ #///.identity (#.Some dependee-artifact))
+ dependee_pom (|> (\ ///.monoid identity)
+ (set@ #///.identity (#.Some dependee_artifact))
///pom.write
try.assume)
- depender-pom (|> (\ ///.monoid identity)
- (set@ #///.identity (#.Some depender-artifact))
- (set@ #///.dependencies (set.from-list ///dependency.hash (list dependee)))
+ 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)
- (set@ #///.identity (#.Some ignored-artifact))
+ ignored_pom (|> (\ ///.monoid identity)
+ (set@ #///.identity (#.Some ignored_artifact))
///pom.write
try.assume)
- dependee-package (set@ #///package.pom [dependee-pom #///dependency/status.Unverified] dependee-package)
- depender-package (set@ #///package.pom [depender-pom #///dependency/status.Unverified] depender-package)
- ignored-package (set@ #///package.pom [ignored-pom #///dependency/status.Unverified] ignored-package)]]
+ dependee_package (set@ #///package.pom [dependee_pom #///dependency/status.Unverified] dependee_package)
+ depender_package (set@ #///package.pom [depender_pom #///dependency/status.Unverified] depender_package)
+ ignored_package (set@ #///package.pom [ignored_pom #///dependency/status.Unverified] ignored_package)]]
($_ _.and
(wrap
(do promise.monad
- [resolution (/.all (list (///repository.mock (..single dependee-artifact dependee-package) [])
- (///repository.mock (..single depender-artifact depender-package) [])
- (///repository.mock (..single ignored-artifact ignored-package) []))
+ [resolution (/.all (list (///repository.mock (..single dependee_artifact dependee_package) [])
+ (///repository.mock (..single depender_artifact depender_package) [])
+ (///repository.mock (..single ignored_artifact ignored_package) []))
(list depender)
/.empty)]
(_.cover' [/.all]