aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/spec/aedifex
diff options
context:
space:
mode:
authorEduardo Julian2021-06-30 23:24:55 -0400
committerEduardo Julian2021-06-30 23:24:55 -0400
commit744ee69630de59ca3ba660b0aab6361cd17ce1b4 (patch)
tree329c11b8c3522c319c99ebd4d7c51ee0e7464bae /stdlib/source/spec/aedifex
parent6633cd42f2892ea71530ddeeb93a7e7c0b59faa3 (diff)
"signature:" -> "interface:" & "structure:" -> "implementation:"
"signature" & "structure" feel like very ML-specific terminology and might not be easy on programmers unfamiliar with it.
Diffstat (limited to 'stdlib/source/spec/aedifex')
-rw-r--r--stdlib/source/spec/aedifex/repository.lux39
1 files changed, 22 insertions, 17 deletions
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!))))
))))