From abe24425ced15fd784ef6c62d6f186af72b491db Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 11 Jul 2021 01:51:04 -0400
Subject: Re-named ":coerce" to ":as" since it technically doesn't do
 coercions.

---
 stdlib/source/test/aedifex/repository/local.lux | 51 +++++++++++++++++++++++++
 1 file changed, 51 insertions(+)
 create mode 100644 stdlib/source/test/aedifex/repository/local.lux

(limited to 'stdlib/source/test/aedifex/repository/local.lux')

diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux
new file mode 100644
index 000000000..946494437
--- /dev/null
+++ b/stdlib/source/test/aedifex/repository/local.lux
@@ -0,0 +1,51 @@
+(.module:
+  [lux #*
+   ["_" test (#+ Test)]
+   [abstract
+    [monad (#+ do)]]
+   [control
+    ["." try ("#\." functor)]
+    [parser
+     ["." environment]]
+    [concurrency
+     ["." promise]]]
+   [data
+    ["." binary ("#\." equivalence)]
+    [text
+     [encoding
+      ["." utf8]]]]
+   [math
+    ["." random]]
+   [world
+    ["." file]
+    ["." program]]]
+  {#program
+   ["." /]})
+
+(def: #export test
+  Test
+  (<| (_.covering /._)
+      (do {! random.monad}
+        [/ (random.ascii/upper 1)
+         home (random.ascii/lower 10)
+         working_directory (random.ascii/lower 10)
+         #let [fs (file.mock /)
+               program (program.async (program.mock environment.empty home working_directory))
+               repo (/.repository program fs)]
+
+         uri (random.ascii/lower 10)
+         expected (\ ! map (\ utf8.codec encode)
+                     (random.ascii/lower 10))]
+        ($_ _.and
+            (wrap (do promise.monad
+                    [before_upload (\ repo download uri)
+                     _ (\ repo upload uri expected)
+                     actual (\ repo download uri)]
+                    (_.cover' [/.repository]
+                              (and (case before_upload
+                                     (#try.Success _) false
+                                     (#try.Failure _) true)
+                                   (|> actual
+                                       (try\map (binary\= expected))
+                                       (try.default false))))))
+            ))))
-- 
cgit v1.2.3