aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/command
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/program/aedifex/command')
-rw-r--r--stdlib/source/program/aedifex/command/auto.lux52
-rw-r--r--stdlib/source/program/aedifex/command/build.lux46
-rw-r--r--stdlib/source/program/aedifex/command/clean.lux38
-rw-r--r--stdlib/source/program/aedifex/command/deploy.lux2
-rw-r--r--stdlib/source/program/aedifex/command/deps.lux6
-rw-r--r--stdlib/source/program/aedifex/command/install.lux4
-rw-r--r--stdlib/source/program/aedifex/command/test.lux6
7 files changed, 77 insertions, 77 deletions
diff --git a/stdlib/source/program/aedifex/command/auto.lux b/stdlib/source/program/aedifex/command/auto.lux
index 5d8b0b1d4..d447bfe1d 100644
--- a/stdlib/source/program/aedifex/command/auto.lux
+++ b/stdlib/source/program/aedifex/command/auto.lux
@@ -1,29 +1,29 @@
(.using
- [library
- [lux "*"
- [abstract
- ["[0]" monad {"+" do}]]
- [control
- ["[0]" try {"+" Try}]
- [concurrency
- ["[0]" async {"+" Async}]]]
- [data
- [collection
- ["[0]" list]
- ["[0]" set]]]
- [world
- [program {"+" Program}]
- [shell {"+" Exit Shell}]
- [console {"+" Console}]
- ["[0]" file
- ["[0]" watch {"+" Watcher}]]]]]
- ["[0]" // "_"
- ["/[1]" // "_"
- [command {"+" Command}]
- ["[1]" profile]
- ["[1][0]" action]
- [dependency
- [resolution {"+" Resolution}]]]])
+ [library
+ [lux "*"
+ [abstract
+ ["[0]" monad {"+" do}]]
+ [control
+ ["[0]" try {"+" Try}]
+ [concurrency
+ ["[0]" async {"+" Async}]]]
+ [data
+ [collection
+ ["[0]" list]
+ ["[0]" set]]]
+ [world
+ [program {"+" Program}]
+ [shell {"+" Exit Shell}]
+ [console {"+" Console}]
+ ["[0]" file
+ ["[0]" watch {"+" Watcher}]]]]]
+ ["[0]" // "_"
+ ["/[1]" // "_"
+ [command {"+" Command}]
+ ["[1]" profile]
+ ["[1][0]" action]
+ [dependency
+ [resolution {"+" Resolution}]]]])
(def: (targets fs path)
(-> (file.System Async) file.Path (Async (List file.Path)))
@@ -53,7 +53,7 @@
(with_expansions [<call> ((command console program fs shell resolution) profile)]
(do [! async.monad]
[targets (|> profile
- (value@ ///.#sources)
+ (the ///.#sources)
set.list
(monad.each ! (..targets fs))
(# ! each list.together))]
diff --git a/stdlib/source/program/aedifex/command/build.lux b/stdlib/source/program/aedifex/command/build.lux
index 599887fe4..a0cd97fd9 100644
--- a/stdlib/source/program/aedifex/command/build.lux
+++ b/stdlib/source/program/aedifex/command/build.lux
@@ -58,8 +58,8 @@
(-> Group Name Finder)
(|>> dictionary.entries
(list.one (function (_ [dependency package])
- (if (and (text#= group (value@ [///dependency.#artifact ///artifact.#group] dependency))
- (text#= name (value@ [///dependency.#artifact ///artifact.#name] dependency)))
+ (if (and (text#= group (the [///dependency.#artifact ///artifact.#group] dependency))
+ (text#= name (the [///dependency.#artifact ///artifact.#name] dependency)))
{.#Some dependency}
{.#None})))))
@@ -121,17 +121,17 @@
(def: (path fs home dependency)
(All (_ !) (-> (file.System !) Path Dependency Path))
(let [/ (# fs separator)
- artifact (value@ ///dependency.#artifact dependency)]
+ artifact (the ///dependency.#artifact dependency)]
(|> artifact
- (///local.uri (value@ ///artifact.#version artifact))
+ (///local.uri (the ///artifact.#version artifact))
(text.replaced uri.separator /)
(format home /)
- (text.suffix (format "." (value@ ///dependency.#type dependency))))))
+ (text.suffix (format "." (the ///dependency.#type dependency))))))
(def: (libraries fs home)
(All (_ !) (-> (file.System !) Path Resolution (List Path)))
(|>> dictionary.keys
- (list.only (|>> (value@ ///dependency.#type)
+ (list.only (|>> (the ///dependency.#type)
(text#= ///artifact/type.lux_library)))
(list#each (..path fs home))))
@@ -166,14 +166,14 @@
(def: .public (host_dependencies fs home)
(All (_ !) (-> (file.System !) Path Resolution (List Path)))
(|>> dictionary.keys
- (list.only (|>> (value@ ///dependency.#type)
+ (list.only (|>> (the ///dependency.#type)
(text#= ///artifact/type.lux_library)
not))
(list#mix (function (_ dependency uniques)
- (let [artifact (value@ ///dependency.#artifact dependency)
- identity [(value@ ///artifact.#group artifact)
- (value@ ///artifact.#name artifact)]
- version (value@ ///artifact.#version artifact)]
+ (let [artifact (the ///dependency.#artifact dependency)
+ identity [(the ///artifact.#group artifact)
+ (the ///artifact.#name artifact)]
+ version (the ///artifact.#version artifact)]
(case (dictionary.value identity uniques)
{.#Some [current_version current_path]}
(if (# version_order < version current_version)
@@ -266,15 +266,15 @@
runtime
_
- (revised@ ///runtime.#parameters
- (|>> (list& "-cp" (..jvm_class_path host_dependencies)))
- runtime)))
+ (revised ///runtime.#parameters
+ (|>> (list& "-cp" (..jvm_class_path host_dependencies)))
+ runtime)))
(def: .public (do! console program fs shell resolution)
(-> (Console Async) (Program Async) (file.System Async) (Shell Async) Resolution (Command [Exit Lux Path]))
(function (_ profile)
- (let [target (value@ ///.#target profile)]
- (case (value@ ///.#program profile)
+ (let [target (the ///.#target profile)]
+ (case (the ///.#program profile)
{.#None}
(async#in (exception.except ..no_specified_program []))
@@ -284,12 +284,12 @@
.let [home (# program home)
working_directory (# program directory)]]
(do ///action.monad
- [[resolution lux] (async#in (..lux resolution (value@ ///.#lux profile)))
+ [[resolution lux] (async#in (..lux resolution (the ///.#lux profile)))
.let [host_dependencies (..host_dependencies fs home resolution)
[[command lux_params] output] (case lux
{#JVM dependency}
- [(|> (value@ ///.#java profile)
- (with@ ///runtime.#parameters (list "program._"))
+ [(|> (the ///.#java profile)
+ (has ///runtime.#parameters (list "program._"))
(with_jvm_class_path {.#Item (..path fs home dependency) host_dependencies}))
"program.jar"]
@@ -297,7 +297,7 @@
[{<tag> dependency}
[(|> dependency
(..path fs home)
- (///runtime.for (value@ <runtime> profile)))
+ (///runtime.for (the <runtime> profile)))
<program>]])
([#JS ///.#js "program.js"]
[#Python ///.#java "program.py"]
@@ -310,11 +310,11 @@
(list "build")
(..plural "--library" (..libraries fs home resolution))
(..plural "--host_dependency" host_dependencies)
- (..plural "--compiler" (list#each compiler.format (value@ ///.#compilers profile)))
- (..plural "--source" (set.list (value@ ///.#sources profile)))
+ (..plural "--compiler" (list#each compiler.format (the ///.#compilers profile)))
+ (..plural "--source" (set.list (the ///.#sources profile)))
(..singular "--target" cache_directory)
(..singular "--module" program_module)
- (..singular "--configuration" (configuration.format (value@ ///.#configuration profile)))))]
+ (..singular "--configuration" (configuration.format (the ///.#configuration profile)))))]
process (# shell execute [environment
working_directory
command
diff --git a/stdlib/source/program/aedifex/command/clean.lux b/stdlib/source/program/aedifex/command/clean.lux
index 02405e189..34ed21042 100644
--- a/stdlib/source/program/aedifex/command/clean.lux
+++ b/stdlib/source/program/aedifex/command/clean.lux
@@ -1,22 +1,22 @@
(.using
- [library
- [lux "*"
- [abstract
- ["[0]" monad {"+" do}]]
- [control
- [try {"+" Try}]
- [concurrency
- ["[0]" async {"+" Async}]]]
- [data
- [text
- ["%" format {"+" format}]]]
- [world
- ["[0]" file {"+" Path}]
- ["[0]" console {"+" Console}]]]]
- ["[0]" /// "_"
- [command {"+" Command}]
- ["[1]" profile]
- ["[1][0]" action {"+" Action}]])
+ [library
+ [lux "*"
+ [abstract
+ ["[0]" monad {"+" do}]]
+ [control
+ [try {"+" Try}]
+ [concurrency
+ ["[0]" async {"+" Async}]]]
+ [data
+ [text
+ ["%" format {"+" format}]]]
+ [world
+ ["[0]" file {"+" Path}]
+ ["[0]" console {"+" Console}]]]]
+ ["[0]" /// "_"
+ [command {"+" Command}]
+ ["[1]" profile]
+ ["[1][0]" action {"+" Action}]])
(def: (clean_files! fs root)
(-> (file.System Async) Path (Async (Try Any)))
@@ -33,7 +33,7 @@
(def: .public (do! console fs profile)
(-> (Console Async) (file.System Async) (Command Any))
(do [! async.monad]
- [.let [target (value@ ///.#target profile)]
+ [.let [target (the ///.#target profile)]
? (# fs directory? target)
_ (let [! ///action.monad]
(if ?
diff --git a/stdlib/source/program/aedifex/command/deploy.lux b/stdlib/source/program/aedifex/command/deploy.lux
index 3ceefa7c1..180f39a95 100644
--- a/stdlib/source/program/aedifex/command/deploy.lux
+++ b/stdlib/source/program/aedifex/command/deploy.lux
@@ -61,7 +61,7 @@
(-> (Console Async) (Repository Async) (file.System Async) Artifact (Command Any))
(do [! ///action.monad]
[library (|> profile
- (value@ /.#sources)
+ (the /.#sources)
set.list
(export.library fs)
(# ! each (binary.result tar.writer)))
diff --git a/stdlib/source/program/aedifex/command/deps.lux b/stdlib/source/program/aedifex/command/deps.lux
index 85c6fbb57..24e29882b 100644
--- a/stdlib/source/program/aedifex/command/deps.lux
+++ b/stdlib/source/program/aedifex/command/deps.lux
@@ -33,16 +33,16 @@
(def: format
(%.Format Dependency)
- (|>> (value@ ///dependency.#artifact)
+ (|>> (the ///dependency.#artifact)
///artifact.format
%.text))
(def: .public (do! console local remotes new_repository profile)
(-> (Console Async) (Repository Async) (List (Repository Async)) (-> URL (Repository Async)) (Command Resolution))
(do async.monad
- [.let [dependencies (|> (value@ ///.#dependencies profile)
+ [.let [dependencies (|> (the ///.#dependencies profile)
set.list
- {.#Item (value@ ///.#lux profile)})]
+ {.#Item (the ///.#lux profile)})]
[local_successes local_failures cache] (///dependency/resolution.all console
(list local)
new_repository
diff --git a/stdlib/source/program/aedifex/command/install.lux b/stdlib/source/program/aedifex/command/install.lux
index a1553e4bd..6933264d3 100644
--- a/stdlib/source/program/aedifex/command/install.lux
+++ b/stdlib/source/program/aedifex/command/install.lux
@@ -52,11 +52,11 @@
(def: .public (do! console fs repository profile)
(-> (Console Async) (file.System Async) (Repository Async) (Command Any))
- (case (value@ /.#identity profile)
+ (case (the /.#identity profile)
{.#Some identity}
(do ///action.monad
[package (|> profile
- (value@ /.#sources)
+ (the /.#sources)
set.list
(export.library fs))
pom (|> profile
diff --git a/stdlib/source/program/aedifex/command/test.lux b/stdlib/source/program/aedifex/command/test.lux
index 4aa1ecc54..649201465 100644
--- a/stdlib/source/program/aedifex/command/test.lux
+++ b/stdlib/source/program/aedifex/command/test.lux
@@ -36,7 +36,7 @@
(do [! ///action.monad]
[.let [home (# program home)]
[build_exit compiler program] (//build.do! console program fs shell resolution
- (with@ ///.#program (value@ ///.#test profile) profile))]
+ (has ///.#program (the ///.#test profile) profile))]
(if (i.= shell.normal build_exit)
(do !
[_ (console.write_line ..start console)
@@ -44,12 +44,12 @@
[test_command test_parameters] (case compiler
{//build.#JVM dependency}
(|> program
- (///runtime.for (value@ ///.#java profile))
+ (///runtime.for (the ///.#java profile))
(//build.with_jvm_class_path host_dependencies))
(^template [<tag> <runtime>]
[{<tag> artifact}
- (///runtime.for (value@ <runtime> profile)
+ (///runtime.for (the <runtime> profile)
program)])
([//build.#JS ///.#js]
[//build.#Python ///.#python]
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 01:06:00 +0000