De-sigil-ification: @

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]