From 744ee69630de59ca3ba660b0aab6361cd17ce1b4 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 30 Jun 2021 23:24:55 -0400
Subject: "signature:" -> "interface:" & "structure:" -> "implementation:"

"signature" & "structure" feel like very ML-specific terminology and might not be easy on programmers unfamiliar with it.---
 stdlib/source/spec/aedifex/repository.lux | 39 +++++++++++++++++--------------
 1 file changed, 22 insertions(+), 17 deletions(-)

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

diff --git a/stdlib/source/spec/aedifex/repository.lux b/stdlib/source/spec/aedifex/repository.lux
index 1688f1e03..675d055b0 100644
--- a/stdlib/source/spec/aedifex/repository.lux
+++ b/stdlib/source/spec/aedifex/repository.lux
@@ -29,24 +29,29 @@
     [expected (_binary.random 100)]
     (wrap ($_ _.and'
               (do promise.monad
-                [#let [uri/good (/remote.uri (get@ #//artifact.version valid_artifact) valid_artifact //artifact/extension.lux_library)]
-                 upload!/good (\ subject upload uri/good expected)
-                 download!/good (\ subject download uri/good)
+                [#let [good_uri (/remote.uri (get@ #//artifact.version valid_artifact) valid_artifact //artifact/extension.lux_library)]
+                 good_upload! (\ subject upload good_uri expected)
+                 good_download! (\ subject download good_uri)
 
-                 #let [uri/bad (/remote.uri (get@ #//artifact.version invalid_artifact) invalid_artifact //artifact/extension.lux_library)]
-                 upload!/bad (\ subject upload uri/bad expected)
-                 download!/bad (\ subject download uri/bad)]
+                 #let [bad_uri (/remote.uri (get@ #//artifact.version invalid_artifact) invalid_artifact //artifact/extension.lux_library)]
+                 bad_upload! (\ subject upload bad_uri expected)
+                 bad_download! (\ subject download bad_uri)]
                 (_.cover' [/.Repository]
-                          (and (case [upload!/good download!/good]
-                                 [(#try.Success _) (#try.Success actual)]
-                                 (\ binary.equivalence = expected actual)
+                          (let [successfull_flow!
+                                (case [good_upload! good_download!]
+                                  [(#try.Success _) (#try.Success actual)]
+                                  (\ binary.equivalence = expected actual)
 
-                                 _
-                                 false)
-                               (case [upload!/bad download!/bad]
-                                 [(#try.Failure _) (#try.Failure _)]
-                                 true
-                                 
-                                 _
-                                 false))))
+                                  _
+                                  false)
+
+                                failed_flow!
+                                (case [bad_upload! bad_download!]
+                                  [(#try.Failure _) (#try.Failure _)]
+                                  true
+
+                                  _
+                                  false)]
+                            (and successfull_flow!
+                                 failed_flow!))))
               ))))
-- 
cgit v1.2.3