aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/dependency
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/aedifex/dependency')
-rw-r--r--stdlib/source/test/aedifex/dependency/deployment.lux38
-rw-r--r--stdlib/source/test/aedifex/dependency/resolution.lux20
2 files changed, 29 insertions, 29 deletions
diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux
index c22121755..ed834c759 100644
--- a/stdlib/source/test/aedifex/dependency/deployment.lux
+++ b/stdlib/source/test/aedifex/dependency/deployment.lux
@@ -66,19 +66,19 @@
(implementation
(def: (request method url headers input)
(do io.monad
- [_ (: (IO Any)
- (case [method input]
- [{@http.#Put} {.#Some input}]
- (atom.update! (dictionary.has url input) cache)
-
- _
- (in [])))]
+ [_ (is (IO Any)
+ (case [method input]
+ [{@http.#Put} {.#Some input}]
+ (atom.update! (dictionary.has url input) cache)
+
+ _
+ (in [])))]
(in {try.#Success ..good_upload})))))
(def: (verify_one expected_deployments address package cache expected_artifact actual_artifact)
(-> Nat URL Package (Dictionary URL Binary) Artifact Artifact Bit)
- (let [url (: (-> URI URL)
- (|>> (format address)))
+ (let [url (is (-> URI URL)
+ (|>> (format address)))
library_url (url (format (artifact.uri (the artifact.#version expected_artifact)
expected_artifact)
artifact/extension.lux_library))
@@ -138,9 +138,9 @@
.let [artifact (|> profile
(the profile.#identity)
maybe.trusted)
- dependency (: Dependency
- [artifact
- artifact/type.lux_library])]]
+ dependency (is Dependency
+ [artifact
+ artifact/type.lux_library])]]
(in [dependency artifact package])))
(def: .public test
@@ -152,8 +152,8 @@
($_ _.and
(do [! random.monad]
[[dependency expected_artifact package] ..bundle
- .let [cache (: Cache
- (atom.atom (dictionary.empty text.hash)))
+ .let [cache (is Cache
+ (atom.atom (dictionary.empty text.hash)))
http (..http cache)
repository (repository.async (remote.repository http {.#None} address))]]
(in (do async.monad
@@ -164,9 +164,9 @@
(try#each (verify_one 1 address package cache expected_artifact))
(try.else false))))))
(do [! random.monad]
- [.let [hash (: (Hash [Dependency Artifact Package])
- (# hash.functor each (|>> product.right product.left product.left)
- text.hash))]
+ [.let [hash (is (Hash [Dependency Artifact Package])
+ (# hash.functor each (|>> product.right product.left product.left)
+ text.hash))]
num_bundles (# ! each (n.% 10) random.nat)
bundles (|> ..bundle
(random.set hash num_bundles)
@@ -175,8 +175,8 @@
(dictionary.has dependency package resolution))
resolution.empty
bundles)
- cache (: Cache
- (atom.atom (dictionary.empty text.hash)))
+ cache (is Cache
+ (atom.atom (dictionary.empty text.hash)))
http (..http cache)
repository (repository.async (remote.repository http {.#None} address))]]
(in (do async.monad
diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index 5ea995021..c7f81d3c3 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -104,16 +104,16 @@
"[1]")
(def: (on_download uri state)
(if (text.contains? expected uri)
- (let [library (: Binary
- (|> package
- (the ///package.#library)
- product.left))
- pom (: Binary
- (|> package
- (the ///package.#pom)
- product.left
- (# xml.codec encoded)
- (# utf8.codec encoded)))]
+ (let [library (is Binary
+ (|> package
+ (the ///package.#library)
+ product.left))
+ pom (is Binary
+ (|> package
+ (the ///package.#pom)
+ product.left
+ (# xml.codec encoded)
+ (# utf8.codec encoded)))]
(cond (text.ends_with? ///artifact/extension.lux_library uri)
{try.#Success [state library]}