aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/command
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/aedifex/command')
-rw-r--r--stdlib/source/test/aedifex/command/auto.lux24
-rw-r--r--stdlib/source/test/aedifex/command/build.lux20
-rw-r--r--stdlib/source/test/aedifex/command/clean.lux18
-rw-r--r--stdlib/source/test/aedifex/command/deploy.lux16
-rw-r--r--stdlib/source/test/aedifex/command/deps.lux8
-rw-r--r--stdlib/source/test/aedifex/command/install.lux16
-rw-r--r--stdlib/source/test/aedifex/command/pom.lux4
-rw-r--r--stdlib/source/test/aedifex/command/test.lux6
-rw-r--r--stdlib/source/test/aedifex/command/version.lux12
9 files changed, 62 insertions, 62 deletions
diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux
index eab61d51f..86ffc7a7b 100644
--- a/stdlib/source/test/aedifex/command/auto.lux
+++ b/stdlib/source/test/aedifex/command/auto.lux
@@ -1,21 +1,21 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- [pipe {"+" [case>]}]
+ [pipe {"+" case>}]
["[0]" try]
[parser
["[0]" environment]]
[concurrency
- ["[0]" atom {"+" [Atom]}]
- ["[0]" async {"+" [Async]}]]]
+ ["[0]" atom {"+" Atom}]
+ ["[0]" async {"+" Async}]]]
[data
["[0]" binary]
["[0]" text
- ["%" format {"+" [format]}]
+ ["%" format {"+" format}]
[encoding
["[0]" utf8]]]
[collection
@@ -27,9 +27,9 @@
[time
["[0]" instant]]
[world
- [console {"+" [Console]}]
- ["[0]" shell {"+" [Exit Shell]}]
- ["[0]" program {"+" [Program]}]
+ [console {"+" Console}]
+ ["[0]" shell {"+" Exit Shell}]
+ ["[0]" program {"+" Program}]
["[0]" file
["[0]" watch]]]]]
["[0]" // "_"
@@ -38,11 +38,11 @@
[\\program
["[0]" /
["//[1]" /// "_"
- [command {"+" [Command]}]
- ["[1]" profile {"+" [Profile]}]
+ [command {"+" Command}]
+ ["[1]" profile {"+" Profile}]
["[1][0]" action]
[dependency
- [resolution {"+" [Resolution]}]]]]])
+ [resolution {"+" Resolution}]]]]])
(def: (command expected_runs end_signal fs dummy_file)
(-> Nat Text (file.System Async) file.Path
diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux
index 722478571..05643780a 100644
--- a/stdlib/source/test/aedifex/command/build.lux
+++ b/stdlib/source/test/aedifex/command/build.lux
@@ -1,16 +1,16 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- [pipe {"+" [case>]}]
- [io {"+" [IO]}]
+ [pipe {"+" case>}]
+ [io {"+" IO}]
["[0]" try]
["[0]" exception]
[concurrency
- ["[0]" async {"+" [Async]}]]
+ ["[0]" async {"+" Async}]]
[parser
["[0]" environment]]]
[data
@@ -18,10 +18,10 @@
[collection
["[0]" dictionary]]]
[math
- ["[0]" random {"+" [Random]}]]
+ ["[0]" random {"+" Random}]]
[world
["[0]" file]
- ["[0]" shell {"+" [Shell]}]
+ ["[0]" shell {"+" Shell}]
["[0]" program]]]]
["[0]" // "_"
["@[0]" version]
@@ -30,12 +30,12 @@
[\\program
["[0]" /
["//[1]" /// "_"
- ["[1]" profile {"+" [Profile]}]
+ ["[1]" profile {"+" Profile}]
["[1][0]" action]
["[1][0]" artifact
["[1]/[0]" type]]
- ["[1][0]" dependency {"+" [Dependency]}
- ["[1]/[0]" resolution {"+" [Resolution]}]]]]])
+ ["[1][0]" dependency {"+" Dependency}
+ ["[1]/[0]" resolution {"+" Resolution}]]]]])
(def: .public good_shell
(-> Any (Shell IO))
diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux
index 8a9a69e7c..754bc4cd6 100644
--- a/stdlib/source/test/aedifex/command/clean.lux
+++ b/stdlib/source/test/aedifex/command/clean.lux
@@ -1,27 +1,27 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- ["[0]" monad {"+" [do]}]]
+ ["[0]" monad {"+" do}]]
[control
- ["[0]" try {"+" [Try]}]
+ ["[0]" try {"+" Try}]
[concurrency
- ["[0]" async {"+" [Async]}]]]
+ ["[0]" async {"+" Async}]]]
[data
- [binary {"+" [Binary]}]
+ [binary {"+" Binary}]
["[0]" product]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
["[0]" list ("[1]#[0]" functor)]
["[0]" set]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]
[world
- ["[0]" file {"+" [Path]}]]]]
+ ["[0]" file {"+" Path}]]]]
[//
["@[0]" version]
[//
@@ -34,7 +34,7 @@
["[0]" /
["//[1]" /// "_"
["[1]" profile]
- ["[1][0]" action {"+" [Action]}]]]])
+ ["[1][0]" action {"+" Action}]]]])
(def: node_name
(Random Text)
diff --git a/stdlib/source/test/aedifex/command/deploy.lux b/stdlib/source/test/aedifex/command/deploy.lux
index 68e4de22c..c2d97b932 100644
--- a/stdlib/source/test/aedifex/command/deploy.lux
+++ b/stdlib/source/test/aedifex/command/deploy.lux
@@ -1,20 +1,20 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" maybe]
- ["[0]" try {"+" [Try]}]
+ ["[0]" try {"+" Try}]
[concurrency
- ["[0]" async {"+" [Async]}]]
+ ["[0]" async {"+" Async}]]
[parser
["[0]" environment]]]
[data
["[0]" binary ("[1]#[0]" equivalence)]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]
+ ["%" format {"+" format}]
[encoding
["[0]" utf8]]]
["[0]" format "_"
@@ -27,7 +27,7 @@
["[0]" random]]
[world
["[0]" file]
- ["[0]" program {"+" [Program]}]]]]
+ ["[0]" program {"+" Program}]]]]
[program
[compositor
["[0]" export]]]
@@ -44,9 +44,9 @@
["[1][0]" action]
["[1][0]" pom]
["[1][0]" hash]
- ["[1][0]" repository {"+" [Repository]}
+ ["[1][0]" repository {"+" Repository}
["[1]/[0]" remote]]
- ["[1][0]" artifact {"+" [Artifact]}
+ ["[1][0]" artifact {"+" Artifact}
["[1]/[0]" extension]]]]])
(def: (execute! program repository fs artifact profile)
diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux
index 812f4b745..2d8f467f3 100644
--- a/stdlib/source/test/aedifex/command/deps.lux
+++ b/stdlib/source/test/aedifex/command/deps.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
["[0]" predicate]]
[control
["[0]" try]
@@ -13,7 +13,7 @@
["[0]" environment]]]
[data
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]
+ ["%" format {"+" format}]
[encoding
["[0]" utf8]]]
[collection
@@ -22,7 +22,7 @@
[format
["[0]" xml]]]
[math
- ["[0]" random {"+" [Random]}]]
+ ["[0]" random {"+" Random}]]
[world
["[0]" program]
["[0]" file]]]]
diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux
index ba6f599fb..c8301828c 100644
--- a/stdlib/source/test/aedifex/command/install.lux
+++ b/stdlib/source/test/aedifex/command/install.lux
@@ -1,27 +1,27 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- ["[0]" monad {"+" [do]}]]
+ ["[0]" monad {"+" do}]]
[control
- ["[0]" try {"+" [Try]} ("[1]#[0]" functor)]
+ ["[0]" try {"+" Try} ("[1]#[0]" functor)]
["[0]" exception]
[concurrency
- ["[0]" async {"+" [Async]}]]
+ ["[0]" async {"+" Async}]]
[parser
["[0]" environment]]]
[data
["[0]" binary]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
- ["[0]" set {"+" [Set]}]]]
+ ["[0]" set {"+" Set}]]]
[math
["[0]" random]]
[world
["[0]" file]
- ["[0]" program {"+" [Program]}]]]]
+ ["[0]" program {"+" Program}]]]]
[//
["$[0]" version]
[//
@@ -32,7 +32,7 @@
["/[1]" // "_"
["/[1]" // "_"
["[1]" profile]
- ["[1][0]" action {"+" [Action]}]
+ ["[1][0]" action {"+" Action}]
["[1][0]" local]
["[1][0]" artifact
["[1]/[0]" extension]]
diff --git a/stdlib/source/test/aedifex/command/pom.lux b/stdlib/source/test/aedifex/command/pom.lux
index 47456bdba..049f147bf 100644
--- a/stdlib/source/test/aedifex/command/pom.lux
+++ b/stdlib/source/test/aedifex/command/pom.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try ("[1]#[0]" functor)]
[concurrency
diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux
index 20a59f405..ca88c8c27 100644
--- a/stdlib/source/test/aedifex/command/test.lux
+++ b/stdlib/source/test/aedifex/command/test.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try]
["[0]" exception]
@@ -32,7 +32,7 @@
["/[1]" // "_"
["[1][0]" build]
["/[1]" // "_"
- ["[1]" profile {"+" [Profile]}]
+ ["[1]" profile {"+" Profile}]
["[1][0]" action]
["[1][0]" artifact
["[1]/[0]" type]]
diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux
index 423c88718..8c0b0c953 100644
--- a/stdlib/source/test/aedifex/command/version.lux
+++ b/stdlib/source/test/aedifex/command/version.lux
@@ -1,18 +1,18 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" maybe]
["[0]" try]
- ["[0]" exception {"+" [exception:]}]
+ ["[0]" exception {"+" exception:}]
[concurrency
- ["[0]" async {"+" [Async]}]]]
+ ["[0]" async {"+" Async}]]]
[data
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
[math
["[0]" random]]
[tool
@@ -22,7 +22,7 @@
["[1]/[0]" lux "_"
["[1]" version]]]]]
[world
- ["[0]" console {"+" [Console Mock]}]]]]
+ ["[0]" console {"+" Console Mock}]]]]
[///
["@[0]" profile]]
[\\program
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 02:40:42 +0000