From ae2d5697d93a45dcbff768c32c4dc8fb291096cd Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 7 Jan 2023 18:55:20 -0400
Subject: Now wrapping C++ values inside a universal box.

---
 stdlib/source/test/aedifex/artifact.lux            |  7 ++-
 .../source/test/aedifex/dependency/deployment.lux  | 31 ++++++-----
 stdlib/source/test/aedifex/repository.lux          | 64 +++++++++++++++++-----
 3 files changed, 71 insertions(+), 31 deletions(-)

(limited to 'stdlib/source/test/aedifex')

diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index 7e0d2c1cb..373393f2e 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -35,7 +35,8 @@
     (all random.and
          (random.lower_cased size)
          (random.lower_cased size)
-         (random.lower_cased size))))
+         (random.lower_cased size)
+         )))
 
 (def .public test
   Test
@@ -43,7 +44,9 @@
       (do random.monad
         [sample ..random])
       (_.for [/.Group /.Name /.Version
-              /.Artifact]
+              
+              /.Artifact
+              /.#group /.#name /.#version]
              (all _.and
                   (_.for [/.equivalence]
                          (equivalenceT.spec /.equivalence ..random))
diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux
index 3e7350050..9db5b07b5 100644
--- a/stdlib/source/test/aedifex/dependency/deployment.lux
+++ b/stdlib/source/test/aedifex/dependency/deployment.lux
@@ -26,11 +26,12 @@
      ["n" nat]]]
    [world
     [net (.only URL)
-     ["[0]" uri (.only URI)]
-     ["[0]" http
-      ["[1]" client]
-      ["[1]/[0]" status]
-      ["@[1]" /]]]]
+     [uri (.only URI)
+      ["[0]" path]]
+     ["[0]" http (.only)
+      [response (.only Response)]
+      ["[0]" client (.only Client)]
+      ["[0]" status]]]]
    [test
     ["[0]" unit]
     ["_" property (.only Test)]]]]
@@ -52,25 +53,25 @@
       ["[0]" remote]]]]]])
 
 (def good_upload
-  (@http.Response IO)
-  [http/status.created
-   [@http.#headers (http.headers (list))
-    @http.#body (function (_ _)
-                  (|> [0 (binary.empty 0)]
-                      {try.#Success}
-                      io.io))]])
+  (Response IO)
+  [status.created
+   [http.#headers (client.headers (list))
+    http.#body (function (_ _)
+                 (|> [0 (binary.empty 0)]
+                     {try.#Success}
+                     io.io))]])
 
 (type Cache
   (Atom (Dictionary URL Binary)))
 
 (def (http cache)
-  (-> Cache (http.Client IO))
+  (-> Cache (Client IO))
   (implementation
    (def (request method url headers input)
      (do io.monad
        [_ (is (IO Any)
               (when [method input]
-                [{@http.#Put} {.#Some input}]
+                [{http.#Put} {.#Some input}]
                 (atom.update! (dictionary.has url input) cache)
                 
                 _
@@ -149,7 +150,7 @@
   Test
   (<| (_.covering /._)
       (do [! random.monad]
-        [address (of ! each (text.suffix uri.separator)
+        [address (of ! each (text.suffix path.separator)
                      (random.upper_cased 10))]
         (all _.and
              (do [! random.monad]
diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux
index f61f1ec50..6b4f02130 100644
--- a/stdlib/source/test/aedifex/repository.lux
+++ b/stdlib/source/test/aedifex/repository.lux
@@ -7,11 +7,14 @@
     ["[0]" monad (.only do)]]
    [control
     ["[0]" io]
-    ["[0]" try]
-    ["[0]" exception (.only Exception)]]
+    ["[0]" try (.only Try)]
+    ["[0]" exception (.only Exception)]
+    [concurrency
+     ["[0]" async (.only Async)]]]
    [data
     ["[0]" product]
-    ["[0]" binary (.only Binary)]
+    ["[0]" binary (.only Binary)
+     ["_[1]" \\test]]
     ["[0]" text (.only)
      ["%" \\format (.only format)]]
     [collection
@@ -22,7 +25,8 @@
     [net
      ["[0]" uri (.only URI)]]]
    [test
-    ["_" property (.only Test)]]]]
+    ["_" property (.only Test)]
+    ["[0]" unit]]]]
  ["[0]" /
   ["[1][0]" identity]
   ["[1][0]" origin]
@@ -30,8 +34,6 @@
   ["[1][0]" remote]
   [//
    ["@[0]" artifact]]]
- [\\specification
-  ["$[0]" /]]
  [\\program
   ["[0]" / (.only)
    ["[0]" remote]
@@ -39,6 +41,40 @@
     ["[1][0]" artifact (.only Version Artifact)
      ["[1]/[0]" extension (.only Extension)]]]]])
 
+(def .public (spec valid_artifact invalid_artifact subject)
+  (-> Artifact Artifact (/.Repository Async)
+      Test)
+  (do random.monad
+    [expected (_binary.random 100)]
+    (in (all unit.and
+             (do async.monad
+               [.let [good_uri (remote.uri (the //artifact.#version valid_artifact) valid_artifact //artifact/extension.lux_library)]
+                good_upload! (of subject upload good_uri expected)
+                good_download! (of subject download good_uri)
+
+                .let [bad_uri (remote.uri (the //artifact.#version invalid_artifact) invalid_artifact //artifact/extension.lux_library)]
+                bad_upload! (of subject upload bad_uri expected)
+                bad_download! (of subject download bad_uri)]
+               (unit.coverage [/.Repository]
+                 (let [successfull_flow!
+                       (when [good_upload! good_download!]
+                         [{try.#Success _} {try.#Success actual}]
+                         (of binary.equivalence = expected actual)
+
+                         _
+                         false)
+
+                       failed_flow!
+                       (when [bad_upload! bad_download!]
+                         [{try.#Failure _} {try.#Failure _}]
+                         true
+
+                         _
+                         false)]
+                   (and successfull_flow!
+                        failed_flow!))))
+             ))))
+
 (def artifact
   (-> Version Artifact)
   (|>> ["com.github.luxlang" "test-artifact"]))
@@ -94,14 +130,14 @@
            (_.for [/.mock /.Mock]
                   (do random.monad
                     [_ (in [])]
-                    ($/.spec (..artifact ..valid_version)
-                             (..artifact ..invalid_version)
-                             (/.mock ..mock
-                                     (|> ..empty
-                                         (dictionary.has (remote.uri ..invalid_version
-                                                                     (..artifact ..invalid_version)
-                                                                     //artifact/extension.lux_library)
-                                                         (binary.empty 0)))))))
+                    (..spec (..artifact ..valid_version)
+                            (..artifact ..invalid_version)
+                            (/.mock ..mock
+                                    (|> ..empty
+                                        (dictionary.has (remote.uri ..invalid_version
+                                                                    (..artifact ..invalid_version)
+                                                                    //artifact/extension.lux_library)
+                                                        (binary.empty 0)))))))
 
            /identity.test
            /origin.test
-- 
cgit v1.2.3