aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/repository
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/aedifex/repository')
-rw-r--r--stdlib/source/test/aedifex/repository/identity.lux36
-rw-r--r--stdlib/source/test/aedifex/repository/local.lux72
-rw-r--r--stdlib/source/test/aedifex/repository/origin.lux36
-rw-r--r--stdlib/source/test/aedifex/repository/remote.lux74
4 files changed, 109 insertions, 109 deletions
diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux
index 90a2e1681..5e357ecca 100644
--- a/stdlib/source/test/aedifex/repository/identity.lux
+++ b/stdlib/source/test/aedifex/repository/identity.lux
@@ -1,27 +1,27 @@
(.using
- [library
- [lux "*"
- ["_" test {"+" Test}]
- [abstract
- [\\specification
- ["$[0]" equivalence]]]
- [math
- ["[0]" random {"+" Random}]]]]
- [\\program
- ["[0]" /]])
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ [\\specification
+ ["$[0]" equivalence]]]
+ [math
+ ["[0]" random {"+" Random}]]]]
+ [\\program
+ ["[0]" /]])
(def: .public random
(Random /.Identity)
- ($_ random.and
- (random.ascii/alpha 10)
- (random.ascii/alpha 10)
- ))
+ (all random.and
+ (random.ascii/alpha 10)
+ (random.ascii/alpha 10)
+ ))
(def: .public test
Test
(<| (_.covering /._)
(_.for [/.User /.Password /.Identity]
- ($_ _.and
- (_.for [/.equivalence]
- ($equivalence.spec /.equivalence ..random))
- ))))
+ (all _.and
+ (_.for [/.equivalence]
+ ($equivalence.spec /.equivalence ..random))
+ ))))
diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux
index f3b8fed6b..c5da9011d 100644
--- a/stdlib/source/test/aedifex/repository/local.lux
+++ b/stdlib/source/test/aedifex/repository/local.lux
@@ -1,27 +1,27 @@
(.using
- [library
- [lux "*"
- ["_" test {"+" Test}]
- [abstract
- [monad {"+" do}]]
- [control
- ["[0]" try ("[1]#[0]" functor)]
- [parser
- ["[0]" environment]]
- [concurrency
- ["[0]" async]]]
- [data
- ["[0]" binary ("[1]#[0]" equivalence)]
- [text
- [encoding
- ["[0]" utf8]]]]
- [math
- ["[0]" random]]
- [world
- ["[0]" file]
- ["[0]" program]]]]
- [\\program
- ["[0]" /]])
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ [monad {"+" do}]]
+ [control
+ ["[0]" try ("[1]#[0]" functor)]
+ [parser
+ ["[0]" environment]]
+ [concurrency
+ ["[0]" async]]]
+ [data
+ ["[0]" binary ("[1]#[0]" equivalence)]
+ [text
+ [encoding
+ ["[0]" utf8]]]]
+ [math
+ ["[0]" random]]
+ [world
+ ["[0]" file]
+ ["[0]" program]]]]
+ [\\program
+ ["[0]" /]])
(def: .public test
Test
@@ -37,16 +37,16 @@
uri (random.ascii/lower 10)
expected (# ! each (# utf8.codec encoded)
(random.ascii/lower 10))]
- ($_ _.and
- (in (do async.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#each (binary#= expected))
- (try.else false))))))
- ))))
+ (all _.and
+ (in (do async.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#each (binary#= expected))
+ (try.else false))))))
+ ))))
diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux
index cabea3904..a0bcff68d 100644
--- a/stdlib/source/test/aedifex/repository/origin.lux
+++ b/stdlib/source/test/aedifex/repository/origin.lux
@@ -1,27 +1,27 @@
(.using
- [library
- [lux "*"
- ["_" test {"+" Test}]
- [abstract
- [\\specification
- ["$[0]" equivalence]]]
- [math
- ["[0]" random {"+" Random}]]]]
- [\\program
- ["[0]" /]])
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ [\\specification
+ ["$[0]" equivalence]]]
+ [math
+ ["[0]" random {"+" Random}]]]]
+ [\\program
+ ["[0]" /]])
(def: .public random
(Random /.Origin)
- ($_ random.or
- (random.ascii/alpha 10)
- (random.ascii/alpha 10)
- ))
+ (all random.or
+ (random.ascii/alpha 10)
+ (random.ascii/alpha 10)
+ ))
(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Origin]
- ($_ _.and
- (_.for [/.equivalence]
- ($equivalence.spec /.equivalence ..random))
- ))))
+ (all _.and
+ (_.for [/.equivalence]
+ ($equivalence.spec /.equivalence ..random))
+ ))))
diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux
index bd2e68612..abf123f4b 100644
--- a/stdlib/source/test/aedifex/repository/remote.lux
+++ b/stdlib/source/test/aedifex/repository/remote.lux
@@ -92,40 +92,40 @@
content (# ! each (# utf8.codec encoded)
(random.ascii/lower 10))]
- ($_ _.and
- (_.cover [/.repository /.user_agent /.Address]
- (let [repo (/.repository (..good_http user password)
- {.#Some [//identity.#user user
- //identity.#password password]}
- address)]
- (and (|> (# repo download uri)
- io.run!
- (try#each (# utf8.codec decoded))
- try#conjoint
- (try#each (text#= (format address uri)))
- (try.else false))
- (|> (# repo upload uri content)
- io.run!
- (try#each (function.constant true))
- (try.else false)))))
- (_.cover [/.upload_failure]
- (let [repo (/.repository (..good_http user password)
- {.#None}
- address)]
- (case (io.run! (# repo upload uri content))
- {try.#Failure error}
- (exception.match? /.upload_failure error)
-
- {try.#Success _}
- false)))
- (_.cover [/.download_failure]
- (let [repo (/.repository ..bad_http
- {.#None}
- address)]
- (case (io.run! (# repo download uri))
- {try.#Failure error}
- (exception.match? /.download_failure error)
-
- {try.#Success _}
- false)))
- ))))
+ (all _.and
+ (_.cover [/.repository /.user_agent /.Address]
+ (let [repo (/.repository (..good_http user password)
+ {.#Some [//identity.#user user
+ //identity.#password password]}
+ address)]
+ (and (|> (# repo download uri)
+ io.run!
+ (try#each (# utf8.codec decoded))
+ try#conjoint
+ (try#each (text#= (format address uri)))
+ (try.else false))
+ (|> (# repo upload uri content)
+ io.run!
+ (try#each (function.constant true))
+ (try.else false)))))
+ (_.cover [/.upload_failure]
+ (let [repo (/.repository (..good_http user password)
+ {.#None}
+ address)]
+ (case (io.run! (# repo upload uri content))
+ {try.#Failure error}
+ (exception.match? /.upload_failure error)
+
+ {try.#Success _}
+ false)))
+ (_.cover [/.download_failure]
+ (let [repo (/.repository ..bad_http
+ {.#None}
+ address)]
+ (case (io.run! (# repo download uri))
+ {try.#Failure error}
+ (exception.match? /.download_failure error)
+
+ {try.#Success _}
+ false)))
+ ))))
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 02:05:54 +0000