aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version/value.lux4
-rw-r--r--stdlib/source/test/aedifex/cache.lux4
-rw-r--r--stdlib/source/test/aedifex/command/build.lux12
-rw-r--r--stdlib/source/test/aedifex/command/deps.lux8
-rw-r--r--stdlib/source/test/aedifex/dependency/deployment.lux4
-rw-r--r--stdlib/source/test/aedifex/dependency/resolution.lux32
-rw-r--r--stdlib/source/test/aedifex/metadata/artifact.lux8
-rw-r--r--stdlib/source/test/aedifex/metadata/snapshot.lux4
-rw-r--r--stdlib/source/test/aedifex/repository/remote.lux20
9 files changed, 48 insertions, 48 deletions
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index 915d283da..370ea21ab 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
@@ -53,8 +53,8 @@
(text\= version
(/.format (with@ #/.snapshot #///.Local sample)))
- remote_format (/.format {#/.version (format version /.snapshot)
- #/.snapshot (#///.Remote stamp)})
+ remote_format (/.format [#/.version (format version /.snapshot)
+ #/.snapshot (#///.Remote stamp)])
remote!
(and (text.starts_with? (format version (///time.format (value@ #///stamp.time stamp)))
remote_format)
diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux
index 143766eb6..0390e441d 100644
--- a/stdlib/source/test/aedifex/cache.lux
+++ b/stdlib/source/test/aedifex/cache.lux
@@ -73,8 +73,8 @@
[[identity profile pom] ..profile
type ..type
content ..content]
- (in [{#//dependency.artifact identity
- #//dependency.type type}
+ (in [[#//dependency.artifact identity
+ #//dependency.type type]
(with@ #//package.origin (#//repository/origin.Remote "") (//package.local pom content))])))
(def: resolution
diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux
index ff5f7450b..95363b079 100644
--- a/stdlib/source/test/aedifex/command/build.lux
+++ b/stdlib/source/test/aedifex/command/build.lux
@@ -109,17 +109,17 @@
(Random Dependency)
(do random.monad
[lux_version (random.ascii/alpha 5)
- .let [js_compiler {#///dependency.artifact {#///artifact.group /.lux_group
+ .let [js_compiler [#///dependency.artifact [#///artifact.group /.lux_group
#///artifact.name /.js_compiler_name
- #///artifact.version lux_version}
- #///dependency.type ///artifact/type.js_library}]]
+ #///artifact.version lux_version]
+ #///dependency.type ///artifact/type.js_library]]]
(`` ($_ random.either
(in js_compiler)
(~~ (template [<compiler>]
- [(in {#///dependency.artifact {#///artifact.group /.lux_group
+ [(in [#///dependency.artifact [#///artifact.group /.lux_group
#///artifact.name <compiler>
- #///artifact.version lux_version}
- #///dependency.type ///artifact/type.lux_library})]
+ #///artifact.version lux_version]
+ #///dependency.type ///artifact/type.lux_library])]
[/.jvm_compiler_name]
[/.python_compiler_name]
diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux
index 87a3e1731..95f757f7d 100644
--- a/stdlib/source/test/aedifex/command/deps.lux
+++ b/stdlib/source/test/aedifex/command/deps.lux
@@ -67,10 +67,10 @@
[_ dependee_package] $///package.random
[_ depender_package] $///package.random
- .let [dependee {#///dependency.artifact dependee_artifact
- #///dependency.type ///artifact/type.lux_library}
- depender {#///dependency.artifact depender_artifact
- #///dependency.type ///artifact/type.lux_library}
+ .let [dependee [#///dependency.artifact dependee_artifact
+ #///dependency.type ///artifact/type.lux_library]
+ depender [#///dependency.artifact depender_artifact
+ #///dependency.type ///artifact/type.lux_library]
dependee_pom (|> (\ ///.monoid identity)
(with@ #///.identity (#.Some dependee_artifact))
diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux
index cd92cec74..f87aca761 100644
--- a/stdlib/source/test/aedifex/dependency/deployment.lux
+++ b/stdlib/source/test/aedifex/dependency/deployment.lux
@@ -52,11 +52,11 @@
(def: good_upload
(@http.Response IO)
[http/status.created
- {#@http.headers (http.headers (list))
+ [#@http.headers (http.headers (list))
#@http.body (function (_ _)
(|> [0 (binary.empty 0)]
#try.Success
- io.io))}])
+ io.io))]])
(type: Cache
(Atom (Dictionary URL Binary)))
diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index 355cf9c98..9f1826f9c 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -53,8 +53,8 @@
(do {! random.monad}
[artifact $///artifact.random
[_ package] $///package.random]
- (in (dictionary.has {#///dependency.artifact artifact
- #///dependency.type ///artifact/type.lux_library}
+ (in (dictionary.has [#///dependency.artifact artifact
+ #///dependency.type ///artifact/type.lux_library]
package
/.empty))))
@@ -260,8 +260,8 @@
(`` ($_ _.and
(in (do async.monad
[actual_package (/.one (///repository.mock good [])
- {#///dependency.artifact expected_artifact
- #///dependency.type ///artifact/type.lux_library})]
+ [#///dependency.artifact expected_artifact
+ #///dependency.type ///artifact/type.lux_library])]
(_.cover' [/.one]
(case actual_package
(#try.Success actual_package)
@@ -274,8 +274,8 @@
(~~ (template [<exception> <bad>]
[(in (do async.monad
[actual_package (/.one (///repository.mock <bad> [])
- {#///dependency.artifact expected_artifact
- #///dependency.type ///artifact/type.lux_library})]
+ [#///dependency.artifact expected_artifact
+ #///dependency.type ///artifact/type.lux_library])]
(_.cover' [<exception>]
(case actual_package
(#try.Failure error)
@@ -309,8 +309,8 @@
(list (///repository.mock bad_sha-1 [])
(///repository.mock bad_md5 [])
(///repository.mock good []))
- {#///dependency.artifact expected_artifact
- #///dependency.type ///artifact/type.lux_library})]
+ [#///dependency.artifact expected_artifact
+ #///dependency.type ///artifact/type.lux_library])]
(_.cover' [/.any]
(case actual_package
(#try.Success actual_package)
@@ -325,8 +325,8 @@
actual_package (/.any console
(list (///repository.mock bad_sha-1 [])
(///repository.mock bad_md5 []))
- {#///dependency.artifact expected_artifact
- #///dependency.type ///artifact/type.lux_library})]
+ [#///dependency.artifact expected_artifact
+ #///dependency.type ///artifact/type.lux_library])]
(_.cover' [/.cannot_resolve]
(case actual_package
(#try.Failure error)
@@ -358,12 +358,12 @@
[_ depender_package] $///package.random
[_ ignored_package] $///package.random
- .let [dependee {#///dependency.artifact dependee_artifact
- #///dependency.type ///artifact/type.lux_library}
- depender {#///dependency.artifact depender_artifact
- #///dependency.type ///artifact/type.lux_library}
- ignored {#///dependency.artifact ignored_artifact
- #///dependency.type ///artifact/type.lux_library}
+ .let [dependee [#///dependency.artifact dependee_artifact
+ #///dependency.type ///artifact/type.lux_library]
+ depender [#///dependency.artifact depender_artifact
+ #///dependency.type ///artifact/type.lux_library]
+ ignored [#///dependency.artifact ignored_artifact
+ #///dependency.type ///artifact/type.lux_library]
dependee_pom (|> (\ ///.monoid identity)
(with@ #///.identity (#.Some dependee_artifact))
diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux
index eb8b4aec1..e5e903e65 100644
--- a/stdlib/source/test/aedifex/metadata/artifact.lux
+++ b/stdlib/source/test/aedifex/metadata/artifact.lux
@@ -60,10 +60,10 @@
month (month.by_number month)
date (date.date year month day_of_month)
time (time.time
- {#time.hour hour
+ [#time.hour hour
#time.minute minute
#time.second second
- #time.milli_second 0})]
+ #time.milli_second 0])]
(in (instant.of_date_time date time))))))))
(def: .public test
@@ -72,12 +72,12 @@
(_.for [/.Metadata])
(do random.monad
[expected ..random
- .let [artifact {#///artifact.group (value@ #/.group expected)
+ .let [artifact [#///artifact.group (value@ #/.group expected)
#///artifact.name (value@ #/.name expected)
#///artifact.version (|> expected
(value@ #/.versions)
list.head
- (maybe.else ""))}]]
+ (maybe.else ""))]]]
($_ _.and
(_.for [/.equivalence]
($equivalence.spec /.equivalence ..random))
diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux
index 5010053a5..5308c10ca 100644
--- a/stdlib/source/test/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/test/aedifex/metadata/snapshot.lux
@@ -64,10 +64,10 @@
month (month.by_number month)
date (date.date year month day_of_month)
time (time.time
- {#time.hour hour
+ [#time.hour hour
#time.minute minute
#time.second second
- #time.milli_second 0})]
+ #time.milli_second 0])]
(in (instant.of_date_time date time)))))))
(def: random_versioning
diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux
index 3013d8889..3218f15cd 100644
--- a/stdlib/source/test/aedifex/repository/remote.lux
+++ b/stdlib/source/test/aedifex/repository/remote.lux
@@ -42,8 +42,8 @@
(implementation
(def: (request method url headers input)
(with_expansions [<failure> [http/status.bad_request
- {#@http.headers (http.headers (list))
- #@http.body (..url_body "")}]]
+ [#@http.headers (http.headers (list))
+ #@http.body (..url_body "")]]]
(<| io.io
#try.Success
(if (|> headers
@@ -53,8 +53,8 @@
(case [method input]
[#@http.Get #.None]
[http/status.ok
- {#@http.headers (http.headers (list))
- #@http.body (..url_body url)}]
+ [#@http.headers (http.headers (list))
+ #@http.body (..url_body url)]]
[#@http.Put (#.Some input)]
(if (|> headers
@@ -62,8 +62,8 @@
(maybe\each (text\= (//identity.basic_auth user password)))
(maybe.else false))
[http/status.created
- {#@http.headers (http.headers (list))
- #@http.body (..url_body url)}]
+ [#@http.headers (http.headers (list))
+ #@http.body (..url_body url)]]
<failure>)
_
@@ -77,8 +77,8 @@
(<| io.io
#try.Success
[http/status.bad_request
- {#@http.headers (http.headers (list))
- #@http.body (..url_body "")}]))))
+ [#@http.headers (http.headers (list))
+ #@http.body (..url_body "")]]))))
(def: .public test
Test
@@ -95,8 +95,8 @@
($_ _.and
(_.cover [/.repository /.user_agent /.Address]
(let [repo (/.repository (..good_http user password)
- (#.Some {#//identity.user user
- #//identity.password password})
+ (#.Some [#//identity.user user
+ #//identity.password password])
address)]
(and (|> (\ repo download uri)
io.run!
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-27 18:53:06 +0000