diff options
Diffstat (limited to '')
22 files changed, 438 insertions, 438 deletions
diff --git a/stdlib/source/program/aedifex.lux b/stdlib/source/program/aedifex.lux index e61b08397..af302a16b 100644 --- a/stdlib/source/program/aedifex.lux +++ b/stdlib/source/program/aedifex.lux @@ -1,71 +1,71 @@ (.using - [library - [lux "*" - [program {"+" program:}] - ["[0]" debug] - [abstract - [monad {"+" do}]] - [control - [pipe {"+" do>}] - ["[0]" io {"+" IO}] - ["[0]" try {"+" Try} ("[1]#[0]" functor)] - ["[0]" exception {"+" exception:}] - [parser - [environment {"+" Environment}]] - [concurrency - ["[0]" async {"+" Async} ("[1]#[0]" monad)]]] - [data - [binary {"+" Binary}] - ["[0]" text - ["%" format {"+" format}] - [encoding - ["[0]" utf8]]] - [format - ["[0]" xml]] - [collection - ["[0]" set] - ["[0]" dictionary {"+" Dictionary}] - ["[0]" list ("[1]#[0]" functor)]]] - [tool - [compiler - [language - [lux - ["[0]" syntax]]]]] - [world - ["[0]" shell {"+" Exit Shell}] - ["[0]" console {"+" Console}] - ["[0]" program {"+" Program}] - ["[0]" file {"+" Path} - ["[0]" watch]] - [net - ["[0]" http "_" - ["[1]" client]]]]]] - ["[0]" / "_" - ["[1]" profile] - ["[1][0]" action {"+" Action}] - ["[1][0]" project {"+" Project}] - ["[1][0]" input] - ["[1][0]" pom] - ["[1][0]" cli] - ["[1][0]" dependency "_" - ["[1]" resolution {"+" Resolution}]] - ["[1][0]" repository {"+" Repository} - ["[1]/[0]" remote {"+" Address}] - ["[1]/[0]" local]] - ["[1][0]" command {"+" Command} - ["[1]/[0]" version] - ["[1]/[0]" clean] - ["[1]/[0]" pom] - ["[1]/[0]" install] - ["[1]/[0]" deps] - ["[1]/[0]" build] - ["[1]/[0]" test] - ["[1]/[0]" auto] - ["[1]/[0]" deploy]]]) + [library + [lux "*" + [program {"+" program:}] + ["[0]" debug] + [abstract + [monad {"+" do}]] + [control + [pipe {"+" do>}] + ["[0]" io {"+" IO}] + ["[0]" try {"+" Try} ("[1]#[0]" functor)] + ["[0]" exception {"+" exception:}] + [parser + [environment {"+" Environment}]] + [concurrency + ["[0]" async {"+" Async} ("[1]#[0]" monad)]]] + [data + [binary {"+" Binary}] + ["[0]" text + ["%" format {"+" format}] + [encoding + ["[0]" utf8]]] + [format + ["[0]" xml]] + [collection + ["[0]" set] + ["[0]" dictionary {"+" Dictionary}] + ["[0]" list ("[1]#[0]" functor)]]] + [tool + [compiler + [language + [lux + ["[0]" syntax]]]]] + [world + ["[0]" shell {"+" Exit Shell}] + ["[0]" console {"+" Console}] + ["[0]" program {"+" Program}] + ["[0]" file {"+" Path} + ["[0]" watch]] + [net + ["[0]" http "_" + ["[1]" client]]]]]] + ["[0]" / "_" + ["[1]" profile] + ["[1][0]" action {"+" Action}] + ["[1][0]" project {"+" Project}] + ["[1][0]" input] + ["[1][0]" pom] + ["[1][0]" cli] + ["[1][0]" dependency "_" + ["[1]" resolution {"+" Resolution}]] + ["[1][0]" repository {"+" Repository} + ["[1]/[0]" remote {"+" Address}] + ["[1]/[0]" local]] + ["[1][0]" command {"+" Command} + ["[1]/[0]" version] + ["[1]/[0]" clean] + ["[1]/[0]" pom] + ["[1]/[0]" install] + ["[1]/[0]" deps] + ["[1]/[0]" build] + ["[1]/[0]" test] + ["[1]/[0]" auto] + ["[1]/[0]" deploy]]]) (def: repositories (-> /.Profile (List (Repository Async))) - (|>> (value@ /.#repositories) + (|>> (the /.#repositories) set.list (list#each (|>> (/repository/remote.repository http.default {.#None}) /repository.async)))) @@ -164,9 +164,9 @@ {/cli.#Deploy repository identity} (..command - (case (value@ /.#identity profile) + (case (the /.#identity profile) {.#Some artifact} - (case (dictionary.value repository (value@ /.#deploy_repositories profile)) + (case (dictionary.value repository (the /.#deploy_repositories profile)) {.#Some repository} (/command/deploy.do! console (/repository.async (/repository/remote.repository http.default {.#Some identity} repository)) @@ -175,7 +175,7 @@ profile) {.#None} - (async#in (exception.except ..cannot_find_repository [repository (value@ /.#deploy_repositories profile)]))) + (async#in (exception.except ..cannot_find_repository [repository (the /.#deploy_repositories profile)]))) {.#None} (async#in (exception.except /.no_identity [])))) diff --git a/stdlib/source/program/aedifex/artifact.lux b/stdlib/source/program/aedifex/artifact.lux index cc47f081e..b7342a650 100644 --- a/stdlib/source/program/aedifex/artifact.lux +++ b/stdlib/source/program/aedifex/artifact.lux @@ -1,20 +1,20 @@ (.using - [library - [lux {"-" local} - [abstract - [equivalence {"+" Equivalence}] - [order {"+" Order}] - [hash {"+" Hash}]] - [data - ["[0]" product] - ["[0]" text ("[1]#[0]" order) - ["%" format {"+" Format}]] - [collection - ["[0]" list ("[1]#[0]" monoid)]]] - [world - ["[0]" file {"+" Path}] - [net - ["[0]" uri {"+" URI}]]]]]) + [library + [lux {"-" local} + [abstract + [equivalence {"+" Equivalence}] + [order {"+" Order}] + [hash {"+" Hash}]] + [data + ["[0]" product] + ["[0]" text ("[1]#[0]" order) + ["%" format {"+" Format}]] + [collection + ["[0]" list ("[1]#[0]" monoid)]]] + [world + ["[0]" file {"+" Path}] + [net + ["[0]" uri {"+" URI}]]]]]) (type: .public Group Text) @@ -50,18 +50,18 @@ ..equivalence) (def: (< reference subject) - (<| (or (text#< (value@ #group reference) - (value@ #group subject))) + (<| (or (text#< (the #group reference) + (the #group subject))) - (and (text#= (value@ #group reference) - (value@ #group subject))) - (or (text#< (value@ #name reference) - (value@ #name subject))) + (and (text#= (the #group reference) + (the #group subject))) + (or (text#< (the #name reference) + (the #name subject))) - (and (text#= (value@ #name reference) - (value@ #name subject))) - (text#< (value@ #version reference) - (value@ #version subject))))) + (and (text#= (the #name reference) + (the #name subject))) + (text#< (the #version reference) + (the #version subject))))) (template [<separator> <definition>] [(def: <definition> @@ -75,13 +75,13 @@ (def: .public (identity artifact) (-> Artifact Text) - (%.format (value@ #name artifact) + (%.format (the #name artifact) ..version_separator - (value@ #version artifact))) + (the #version artifact))) (def: .public (format value) (Format Artifact) - (%.format (value@ #group value) + (%.format (the #group value) ..identity_separator (..identity value))) @@ -94,16 +94,16 @@ (def: .public (uri version artifact) (-> Version Artifact URI) (let [/ uri.separator - group (..directory / (value@ #group artifact)) - name (value@ #name artifact) - ... version (value@ #version artifact) + group (..directory / (the #group artifact)) + name (the #name artifact) + ... version (the #version artifact) identity (..identity artifact)] (%.format group / name / version / identity))) (def: .public (local artifact) (-> Artifact (List Text)) (list#composite (|> artifact - (value@ #group) + (the #group) (text.all_split_by ..group_separator)) - (list (value@ #name artifact) - (value@ #version artifact)))) + (list (the #name artifact) + (the #version artifact)))) 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] diff --git a/stdlib/source/program/aedifex/dependency.lux b/stdlib/source/program/aedifex/dependency.lux index 3dd3d9c71..5bf2e4ef9 100644 --- a/stdlib/source/program/aedifex/dependency.lux +++ b/stdlib/source/program/aedifex/dependency.lux @@ -1,17 +1,17 @@ (.using - [library - [lux {"-" Type} - [abstract - [equivalence {"+" Equivalence}] - [order {"+" Order}] - [hash {"+" Hash}]] - [data - ["[0]" product] - ["[0]" text ("[1]#[0]" order) - ["%" format {"+" format}]]]]] - ["[0]" // "_" - ["[1]" artifact {"+" Artifact} ("[1]#[0]" order) - [type {"+" Type}]]]) + [library + [lux {"-" Type} + [abstract + [equivalence {"+" Equivalence}] + [order {"+" Order}] + [hash {"+" Hash}]] + [data + ["[0]" product] + ["[0]" text ("[1]#[0]" order) + ["%" format {"+" format}]]]]] + ["[0]" // "_" + ["[1]" artifact {"+" Artifact} ("[1]#[0]" order) + [type {"+" Type}]]]) (type: .public Dependency (Record @@ -36,10 +36,10 @@ ..equivalence) (def: (< reference subject) - (<| (or (//#< (value@ #artifact reference) - (value@ #artifact subject))) + (<| (or (//#< (the #artifact reference) + (the #artifact subject))) - (and (//#= (value@ #artifact reference) - (value@ #artifact subject))) - (text#< (value@ #type reference) - (value@ #type subject))))) + (and (//#= (the #artifact reference) + (the #artifact subject))) + (text#< (the #type reference) + (the #type subject))))) diff --git a/stdlib/source/program/aedifex/dependency/deployment.lux b/stdlib/source/program/aedifex/dependency/deployment.lux index 7098505d4..f55520ec1 100644 --- a/stdlib/source/program/aedifex/dependency/deployment.lux +++ b/stdlib/source/program/aedifex/dependency/deployment.lux @@ -91,39 +91,39 @@ (do try.monad [now (: (Try ///artifact/time.Time) (///artifact/time.of_instant now)) - .let [version_template (value@ ///artifact.#version artifact) + .let [version_template (the ///artifact.#version artifact) snapshot (|> snapshot - (revised@ [///metadata/snapshot.#versioning ///artifact/versioning.#snapshot] - (function (_ snapshot) - (case snapshot - {///artifact/snapshot.#Local} - {///artifact/snapshot.#Local} - - {///artifact/snapshot.#Remote [_ build]} - {///artifact/snapshot.#Remote [now (++ build)]}))) - (with@ [///metadata/snapshot.#versioning ///artifact/versioning.#last_updated] now)) - versioning_snapshot (value@ [///metadata/snapshot.#versioning ///artifact/versioning.#snapshot] snapshot)]] + (revised [///metadata/snapshot.#versioning ///artifact/versioning.#snapshot] + (function (_ snapshot) + (case snapshot + {///artifact/snapshot.#Local} + {///artifact/snapshot.#Local} + + {///artifact/snapshot.#Remote [_ build]} + {///artifact/snapshot.#Remote [now (++ build)]}))) + (has [///metadata/snapshot.#versioning ///artifact/versioning.#last_updated] now)) + versioning_snapshot (the [///metadata/snapshot.#versioning ///artifact/versioning.#snapshot] snapshot)]] (in (|> snapshot - (with@ [///metadata/snapshot.#versioning ///artifact/versioning.#versions] - (list [///artifact/snapshot/version.#extension type - ///artifact/snapshot/version.#value (///artifact/snapshot/version/value.format - [///artifact/snapshot/version/value.#version version_template - ///artifact/snapshot/version/value.#snapshot versioning_snapshot]) - ///artifact/snapshot/version.#updated now])) - ... (with@ [///metadata/snapshot.#versioning ///artifact/versioning.#snapshot] - ... (list#composite (..artifacts type (product.right (value@ ///package.#library package))) - ... (..artifacts ///artifact/type.pom (product.right (value@ ///package.#pom package))))) + (has [///metadata/snapshot.#versioning ///artifact/versioning.#versions] + (list [///artifact/snapshot/version.#extension type + ///artifact/snapshot/version.#value (///artifact/snapshot/version/value.format + [///artifact/snapshot/version/value.#version version_template + ///artifact/snapshot/version/value.#snapshot versioning_snapshot]) + ///artifact/snapshot/version.#updated now])) + ... (has [///metadata/snapshot.#versioning ///artifact/versioning.#snapshot] + ... (list#composite (..artifacts type (product.right (the ///package.#library package))) + ... (..artifacts ///artifact/type.pom (product.right (the ///package.#pom package))))) )))) (def: .public (one repository [artifact type] package) (-> (Repository Async) Dependency Package (Async (Try Artifact))) (do [! async.monad] [now (async.future instant.now) - .let [version_template (value@ ///artifact.#version artifact)]] + .let [version_template (the ///artifact.#version artifact)]] (do (try.with !) - [_ (with_status repository version_template [artifact type] (value@ ///package.#library package)) + [_ (with_status repository version_template [artifact type] (the ///package.#library package)) - _ (let [[pom pom_data status] (value@ ///package.#pom package)] + _ (let [[pom pom_data status] (the ///package.#pom package)] (with_status repository version_template [artifact ///artifact/type.pom] @@ -135,8 +135,8 @@ _ (///metadata/snapshot.write repository artifact snapshot) project (///metadata/artifact.read repository artifact) _ (|> project - (with@ ///metadata/artifact.#versions (list version_template)) - (with@ ///metadata/artifact.#last_updated now) + (has ///metadata/artifact.#versions (list version_template)) + (has ///metadata/artifact.#last_updated now) (///metadata/artifact.write repository artifact))] (in artifact)))) diff --git a/stdlib/source/program/aedifex/dependency/resolution.lux b/stdlib/source/program/aedifex/dependency/resolution.lux index 627a3e6ef..1fcc77dd7 100644 --- a/stdlib/source/program/aedifex/dependency/resolution.lux +++ b/stdlib/source/program/aedifex/dependency/resolution.lux @@ -129,10 +129,10 @@ extension (///artifact/extension.extension type)] (do (try.with async.monad) [snapshot (///metadata/snapshot.read repository artifact) - .let [version_template (value@ [///metadata/snapshot.#artifact ///artifact.#version] snapshot) + .let [version_template (the [///metadata/snapshot.#artifact ///artifact.#version] snapshot) artifact_version (value.format [value.#version version_template - value.#snapshot (value@ [///metadata/snapshot.#versioning ///artifact/versioning.#snapshot] snapshot)]) - artifact (with@ ///artifact.#version artifact_version artifact)] + value.#snapshot (the [///metadata/snapshot.#versioning ///artifact/versioning.#snapshot] snapshot)]) + artifact (has ///artifact.#version artifact_version artifact)] [pom_data pom_status] (..hashed repository version_template artifact ///artifact/extension.pom) library_&_status (..hashed repository version_template artifact extension)] (# async.monad in @@ -157,8 +157,8 @@ (exception: .public (cannot_resolve [dependency Dependency]) (exception.report - ["Artifact" (%.text (///artifact.format (value@ //.#artifact dependency)))] - ["Type" (%.text (value@ //.#type dependency))])) + ["Artifact" (%.text (///artifact.format (the //.#artifact dependency)))] + ["Type" (%.text (the //.#type dependency))])) (template [<sigil> <name> <doing> <at>] [(def: (<name> console repository artifact) @@ -185,17 +185,17 @@ {.#Item repository alternatives} (do [! async.monad] - [_ (..announce_fetching console repository (value@ //.#artifact dependency)) + [_ (..announce_fetching console repository (the //.#artifact dependency)) outcome (..one repository dependency)] (case outcome {try.#Success package} (do ! - [_ (..announce_success console repository (value@ //.#artifact dependency))] + [_ (..announce_success console repository (the //.#artifact dependency))] (in outcome)) {try.#Failure error} (do ! - [_ (..announce_failure console repository (value@ //.#artifact dependency))] + [_ (..announce_failure console repository (the //.#artifact dependency))] (any console alternatives dependency)))))) (def: .public (all console repositories new_repository dependencies resolution) @@ -214,7 +214,7 @@ [successes failures resolution]) {.#Item head tail} - (case (value@ [//.#artifact ///artifact.#version] head) + (case (the [//.#artifact ///artifact.#version] head) ... Skip if there is no version "" (again repositories successes diff --git a/stdlib/source/program/aedifex/format.lux b/stdlib/source/program/aedifex/format.lux index d0628f160..19800f4d9 100644 --- a/stdlib/source/program/aedifex/format.lux +++ b/stdlib/source/program/aedifex/format.lux @@ -115,13 +115,13 @@ (def: (info value) (Format /.Info) (|> ..empty - (..on_maybe "url" (value@ /.#url value) code.text) - (..on_maybe "scm" (value@ /.#scm value) code.text) - (..on_maybe "description" (value@ /.#description value) code.text) - (..on_list "licenses" (value@ /.#licenses value) ..license) - (..on_maybe "organization" (value@ /.#organization value) ..organization) - (..on_list "developers" (value@ /.#developers value) ..developer) - (..on_list "contributors" (value@ /.#contributors value) ..contributor) + (..on_maybe "url" (the /.#url value) code.text) + (..on_maybe "scm" (the /.#scm value) code.text) + (..on_maybe "description" (the /.#description value) code.text) + (..on_list "licenses" (the /.#licenses value) ..license) + (..on_maybe "organization" (the /.#organization value) ..organization) + (..on_list "developers" (the /.#developers value) ..developer) + (..on_list "contributors" (the /.#contributors value) ..contributor) ..aggregate)) (def: (artifact' [group name version]) @@ -157,20 +157,20 @@ (def: (profile value) (Format /.Profile) (`` (|> ..empty - (..on_list "parents" (value@ /.#parents value) code.text) - (..on_maybe "identity" (value@ /.#identity value) ..artifact) - (..on_maybe "info" (value@ /.#info value) ..info) - (..on_set "repositories" (value@ /.#repositories value) code.text) - (..on_set "dependencies" (value@ /.#dependencies value) ..dependency) - (dictionary.has ..lux_compiler_label (..dependency (value@ /.#lux value))) - (..on_list "compilers" (value@ /.#compilers value) ..compiler) - (..on_set "sources" (value@ /.#sources value) code.text) - (dictionary.has "target" (code.text (value@ /.#target value))) - (..on_maybe "program" (value@ /.#program value) code.text) - (..on_maybe "test" (value@ /.#test value) code.text) - (..on_dictionary "deploy_repositories" (value@ /.#deploy_repositories value) code.text code.text) + (..on_list "parents" (the /.#parents value) code.text) + (..on_maybe "identity" (the /.#identity value) ..artifact) + (..on_maybe "info" (the /.#info value) ..info) + (..on_set "repositories" (the /.#repositories value) code.text) + (..on_set "dependencies" (the /.#dependencies value) ..dependency) + (dictionary.has ..lux_compiler_label (..dependency (the /.#lux value))) + (..on_list "compilers" (the /.#compilers value) ..compiler) + (..on_set "sources" (the /.#sources value) code.text) + (dictionary.has "target" (code.text (the /.#target value))) + (..on_maybe "program" (the /.#program value) code.text) + (..on_maybe "test" (the /.#test value) code.text) + (..on_dictionary "deploy_repositories" (the /.#deploy_repositories value) code.text code.text) (~~ (template [<tag>] - [(dictionary.has (template.text [<tag>]) (..runtime (value@ <tag> value)))] + [(dictionary.has (template.text [<tag>]) (..runtime (the <tag> value)))] [/.#java] [/.#js] diff --git a/stdlib/source/program/aedifex/metadata.lux b/stdlib/source/program/aedifex/metadata.lux index a191a74dd..097aedac8 100644 --- a/stdlib/source/program/aedifex/metadata.lux +++ b/stdlib/source/program/aedifex/metadata.lux @@ -1,15 +1,15 @@ (.using - [library - [lux "*" - [data - ["[0]" text - ["%" format {"+" format}]]] - [world - [file {"+" Path}] - [net - ["[0]" uri {"+" URI}]]]]] - ["[0]" // "_" - ["[1][0]" artifact {"+" Artifact}]]) + [library + [lux "*" + [data + ["[0]" text + ["%" format {"+" format}]]] + [world + [file {"+" Path}] + [net + ["[0]" uri {"+" URI}]]]]] + ["[0]" // "_" + ["[1][0]" artifact {"+" Artifact}]]) (def: remote_file Path @@ -18,16 +18,16 @@ (def: .public (remote_artifact_uri artifact) (-> Artifact URI) (let [/ uri.separator] - (format (//artifact.directory / (value@ //artifact.#group artifact)) - / (value@ //artifact.#name artifact) - / (value@ //artifact.#version artifact) + (format (//artifact.directory / (the //artifact.#group artifact)) + / (the //artifact.#name artifact) + / (the //artifact.#version artifact) / ..remote_file))) (def: .public (remote_project_uri artifact) (-> Artifact URI) (let [/ uri.separator] - (format (//artifact.directory / (value@ //artifact.#group artifact)) - / (value@ //artifact.#name artifact) + (format (//artifact.directory / (the //artifact.#group artifact)) + / (the //artifact.#name artifact) / ..remote_file))) (def: local_file diff --git a/stdlib/source/program/aedifex/metadata/artifact.lux b/stdlib/source/program/aedifex/metadata/artifact.lux index 27448f154..90ce39aa7 100644 --- a/stdlib/source/program/aedifex/metadata/artifact.lux +++ b/stdlib/source/program/aedifex/metadata/artifact.lux @@ -100,12 +100,12 @@ (-> Metadata XML) {xml.#Node ..<metadata> xml.attributes - (list (..group_format (value@ #group value)) - (..name_format (value@ #name value)) + (list (..group_format (the #group value)) + (..name_format (the #name value)) {xml.#Node ..<versioning> xml.attributes - (list (..versions_format (value@ #versions value)) - (..last_updated_format (value@ #last_updated value)))})}) + (list (..versions_format (the #versions value)) + (..last_updated_format (the #last_updated value)))})}) (def: (text tag) (-> xml.Tag (Parser Text)) diff --git a/stdlib/source/program/aedifex/metadata/snapshot.lux b/stdlib/source/program/aedifex/metadata/snapshot.lux index 487b91b8e..7aa41ff78 100644 --- a/stdlib/source/program/aedifex/metadata/snapshot.lux +++ b/stdlib/source/program/aedifex/metadata/snapshot.lux @@ -1,49 +1,49 @@ (.using - [library - [lux {"-" Type} - [abstract - [monad {"+" do}] - [equivalence {"+" Equivalence}]] - [control - [pipe {"+" do> case>}] - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}] - ["<>" parser - ["<[0]>" xml {"+" Parser}] - ["<[0]>" text]] - [concurrency - ["[0]" async {"+" Async}]]] - [data - ["[0]" product] - ["[0]" text - ["%" format] - [encoding - ["[0]" utf8]]] - [format - ["[0]" xml {"+" XML}]] - [collection - ["[0]" list ("[1]#[0]" functor)]]] - [math - [number - ["n" nat]]] - ["[0]" time {"+" Time} - ["[0]" instant {"+" Instant}] - ["[0]" date {"+" Date}] - ["[0]" year] - ["[0]" month]] - [world - [net - ["[0]" uri {"+" URI}]]]]] - ["[0]" // - ["/[1]" // "_" - [repository {"+" Repository}] - ["[1][0]" artifact {"+" Group Name Version Artifact} - ["[1]/[0]" time] - ["[1]/[0]" type {"+" Type}] - ["[1]/[0]" versioning {"+" Versioning}] - ["[1]/[0]" snapshot - ["[1]/[0]" version] - ["[1]/[0]" stamp]]]]]) + [library + [lux {"-" Type} + [abstract + [monad {"+" do}] + [equivalence {"+" Equivalence}]] + [control + [pipe {"+" do> case>}] + ["[0]" try {"+" Try}] + ["[0]" exception {"+" exception:}] + ["<>" parser + ["<[0]>" xml {"+" Parser}] + ["<[0]>" text]] + [concurrency + ["[0]" async {"+" Async}]]] + [data + ["[0]" product] + ["[0]" text + ["%" format] + [encoding + ["[0]" utf8]]] + [format + ["[0]" xml {"+" XML}]] + [collection + ["[0]" list ("[1]#[0]" functor)]]] + [math + [number + ["n" nat]]] + ["[0]" time {"+" Time} + ["[0]" instant {"+" Instant}] + ["[0]" date {"+" Date}] + ["[0]" year] + ["[0]" month]] + [world + [net + ["[0]" uri {"+" URI}]]]]] + ["[0]" // + ["/[1]" // "_" + [repository {"+" Repository}] + ["[1][0]" artifact {"+" Group Name Version Artifact} + ["[1]/[0]" time] + ["[1]/[0]" type {"+" Type}] + ["[1]/[0]" versioning {"+" Versioning}] + ["[1]/[0]" snapshot + ["[1]/[0]" version] + ["[1]/[0]" stamp]]]]]) (type: .public Metadata (Record @@ -96,14 +96,14 @@ ///artifact/snapshot/version.#updated ///artifact/time.epoch]] (|> (<xml>.somewhere ///artifact/versioning.parser) (# ! each - (revised@ ///artifact/versioning.#versions - (: (-> (List ///artifact/snapshot/version.Version) - (List ///artifact/snapshot/version.Version)) - (|>> (case> (^ (list)) - (list <default_version>) + (revised ///artifact/versioning.#versions + (: (-> (List ///artifact/snapshot/version.Version) + (List ///artifact/snapshot/version.Version)) + (|>> (case> (^ (list)) + (list <default_version>) - versions - versions))))) + versions + versions))))) (<>.else [///artifact/versioning.#snapshot {///artifact/snapshot.#Local} ///artifact/versioning.#last_updated ///artifact/time.epoch ///artifact/versioning.#versions (list <default_version>)])))] diff --git a/stdlib/source/program/aedifex/package.lux b/stdlib/source/program/aedifex/package.lux index 841a0e581..fa0fb33af 100644 --- a/stdlib/source/program/aedifex/package.lux +++ b/stdlib/source/program/aedifex/package.lux @@ -1,32 +1,32 @@ (.using - [library - [lux {"-" local} - [abstract - [equivalence {"+" Equivalence}]] - [control - ["[0]" try {"+" Try} ("[1]#[0]" functor)] - [parser - ["<[0]>" xml]]] - [data - ["[0]" sum] - ["[0]" product] - ["[0]" binary {"+" Binary}] - [text - [encoding - ["[0]" utf8]]] - [format - ["[0]" xml {"+" XML}]] - [collection - [set {"+" Set}]]]]] - ["[0]" // "_" - ["/" profile] - ["[1][0]" hash] - ["[1][0]" pom] - [dependency {"+" Dependency} - ["[1][0]" status {"+" Status}]] - [repository - [remote {"+" Address}] - ["[1][0]" origin {"+" Origin}]]]) + [library + [lux {"-" local} + [abstract + [equivalence {"+" Equivalence}]] + [control + ["[0]" try {"+" Try} ("[1]#[0]" functor)] + [parser + ["<[0]>" xml]]] + [data + ["[0]" sum] + ["[0]" product] + ["[0]" binary {"+" Binary}] + [text + [encoding + ["[0]" utf8]]] + [format + ["[0]" xml {"+" XML}]] + [collection + [set {"+" Set}]]]]] + ["[0]" // "_" + ["/" profile] + ["[1][0]" hash] + ["[1][0]" pom] + [dependency {"+" Dependency} + ["[1][0]" status {"+" Status}]] + [repository + [remote {"+" Address}] + ["[1][0]" origin {"+" Origin}]]]) (type: .public Package (Record @@ -37,7 +37,7 @@ (template [<name> <tag>] [(def: .public (<name> package) (-> Package Bit) - (case (value@ #origin package) + (case (the #origin package) {<tag> _} true @@ -62,19 +62,19 @@ (def: .public dependencies (-> Package (Try (Set Dependency))) - (|>> (value@ #pom) + (|>> (the #pom) product.left list (<xml>.result //pom.parser) - (try#each (value@ /.#dependencies)))) + (try#each (the /.#dependencies)))) (def: .public repositories (-> Package (Try (Set Address))) - (|>> (value@ #pom) + (|>> (the #pom) product.left list (<xml>.result //pom.parser) - (try#each (value@ /.#repositories)))) + (try#each (the /.#repositories)))) (def: .public equivalence (Equivalence Package) diff --git a/stdlib/source/program/aedifex/pom.lux b/stdlib/source/program/aedifex/pom.lux index 26dd35348..ccb7f11ac 100644 --- a/stdlib/source/program/aedifex/pom.lux +++ b/stdlib/source/program/aedifex/pom.lux @@ -59,9 +59,9 @@ (def: (artifact value) (-> Artifact (List XML)) - (list (..property ..group_tag (value@ //artifact.#group value)) - (..property ..artifact_tag (value@ //artifact.#name value)) - (..property ..version_tag (value@ //artifact.#version value)))) + (list (..property ..group_tag (the //artifact.#group value)) + (..property ..artifact_tag (the //artifact.#name value)) + (..property ..version_tag (the //artifact.#version value)))) (def: distribution (-> /.Distribution XML) @@ -86,8 +86,8 @@ (-> Dependency XML) {_.#Node ["" ..dependency_tag] _.attributes - (list#composite (..artifact (value@ //dependency.#artifact value)) - (list (..property "type" (value@ //dependency.#type value))))}) + (list#composite (..artifact (the //dependency.#artifact value)) + (list (..property "type" (the //dependency.#type value))))}) (def: (group tag) (-> Text (-> (List XML) XML)) @@ -129,27 +129,27 @@ (def: (info value) (-> /.Info (List XML)) ($_ list#composite - (|> value (value@ /.#url) (maybe#each (..property ..url_tag)) maybe.list) - (|> value (value@ /.#description) (maybe#each (..property "description")) maybe.list) - (|> value (value@ /.#licenses) (list#each ..license) (..group "licenses") list) - (|> value (value@ /.#scm) (maybe#each ..scm) maybe.list) - (|> value (value@ /.#organization) (maybe#each ..organization) maybe.list) - (|> value (value@ /.#developers) (list#each ..developer) (..group "developers") list) - (|> value (value@ /.#contributors) (list#each ..contributor) (..group "contributors") list) + (|> value (the /.#url) (maybe#each (..property ..url_tag)) maybe.list) + (|> value (the /.#description) (maybe#each (..property "description")) maybe.list) + (|> value (the /.#licenses) (list#each ..license) (..group "licenses") list) + (|> value (the /.#scm) (maybe#each ..scm) maybe.list) + (|> value (the /.#organization) (maybe#each ..organization) maybe.list) + (|> value (the /.#developers) (list#each ..developer) (..group "developers") list) + (|> value (the /.#contributors) (list#each ..contributor) (..group "contributors") list) )) ) (def: .public (write value) (-> /.Profile (Try XML)) - (case (value@ /.#identity value) + (case (the /.#identity value) {.#Some identity} {try.#Success {_.#Node ["" ..project_tag] _.attributes ($_ list#composite (list ..version) (..artifact identity) - (|> value (value@ /.#repositories) set.list (list#each ..repository) (..group "repositories") list) - (|> value (value@ /.#dependencies) set.list (list#each ..dependency) (..group ..dependencies_tag) list) + (|> value (the /.#repositories) set.list (list#each ..repository) (..group "repositories") list) + (|> value (the /.#dependencies) set.list (list#each ..dependency) (..group ..dependencies_tag) list) )}} _ @@ -226,7 +226,7 @@ (<>.else (list))) _ (<>.some <xml>.any)] (in (|> (# /.monoid identity) - (revised@ /.#dependencies (function (_ empty) - (list#mix set.has empty dependencies))) - (revised@ /.#repositories (function (_ empty) - (list#mix set.has empty repositories))))))))) + (revised /.#dependencies (function (_ empty) + (list#mix set.has empty dependencies))) + (revised /.#repositories (function (_ empty) + (list#mix set.has empty repositories))))))))) diff --git a/stdlib/source/program/aedifex/profile.lux b/stdlib/source/program/aedifex/profile.lux index 43887caa4..048aabf27 100644 --- a/stdlib/source/program/aedifex/profile.lux +++ b/stdlib/source/program/aedifex/profile.lux @@ -247,26 +247,26 @@ (def: (composite override baseline) (template.let [(!runtime <tag> <runtime>) - [(if (runtime#= <runtime> (value@ <tag> override)) - (value@ <tag> baseline) - (value@ <tag> override))]] - [#parents (list#composite (value@ #parents baseline) (value@ #parents override)) - #identity (maybe#composite (value@ #identity override) (value@ #identity baseline)) - #info (maybe#composite (value@ #info override) (value@ #info baseline)) - #repositories (set.union (value@ #repositories baseline) (value@ #repositories override)) - #dependencies (set.union (value@ #dependencies baseline) (value@ #dependencies override)) - #lux (if (dependency#= ..default_compiler (value@ #lux override)) - (value@ #lux baseline) - (value@ #lux override)) - #compilers (list#composite (value@ #compilers baseline) (value@ #compilers override)) - #sources (set.union (value@ #sources baseline) (value@ #sources override)) - #target (if (text#= ..default_target (value@ #target baseline)) - (value@ #target override) - (value@ #target baseline)) - #program (maybe#composite (value@ #program override) (value@ #program baseline)) - #test (maybe#composite (value@ #test override) (value@ #test baseline)) - #deploy_repositories (dictionary.merged (value@ #deploy_repositories override) (value@ #deploy_repositories baseline)) - #configuration (plist#composite (value@ #configuration override) (value@ #configuration baseline)) + [(if (runtime#= <runtime> (the <tag> override)) + (the <tag> baseline) + (the <tag> override))]] + [#parents (list#composite (the #parents baseline) (the #parents override)) + #identity (maybe#composite (the #identity override) (the #identity baseline)) + #info (maybe#composite (the #info override) (the #info baseline)) + #repositories (set.union (the #repositories baseline) (the #repositories override)) + #dependencies (set.union (the #dependencies baseline) (the #dependencies override)) + #lux (if (dependency#= ..default_compiler (the #lux override)) + (the #lux baseline) + (the #lux override)) + #compilers (list#composite (the #compilers baseline) (the #compilers override)) + #sources (set.union (the #sources baseline) (the #sources override)) + #target (if (text#= ..default_target (the #target baseline)) + (the #target override) + (the #target baseline)) + #program (maybe#composite (the #program override) (the #program baseline)) + #test (maybe#composite (the #test override) (the #test baseline)) + #deploy_repositories (dictionary.merged (the #deploy_repositories override) (the #deploy_repositories baseline)) + #configuration (plist#composite (the #configuration override) (the #configuration baseline)) #java (!runtime #java runtime.default_java) #js (!runtime #js runtime.default_js) #python (!runtime #python runtime.default_python) diff --git a/stdlib/source/program/aedifex/project.lux b/stdlib/source/program/aedifex/project.lux index e576797b4..9741cc731 100644 --- a/stdlib/source/program/aedifex/project.lux +++ b/stdlib/source/program/aedifex/project.lux @@ -1,22 +1,22 @@ (.using - [library - [lux "*" - [abstract - [equivalence {"+" Equivalence}] - [monoid {"+" Monoid}] - ["[0]" monad {"+" do}]] - [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]] - [data - ["[0]" text - ["%" format {"+" format}]] - [collection - ["[0]" dictionary {"+" Dictionary}] - ["[0]" set {"+" Set}] - ["[0]" list ("[1]#[0]" mix)]]]]] - ["[0]" // "_" - ["[1]" profile {"+" Name Profile}]]) + [library + [lux "*" + [abstract + [equivalence {"+" Equivalence}] + [monoid {"+" Monoid}] + ["[0]" monad {"+" do}]] + [control + ["[0]" try {"+" Try}] + ["[0]" exception {"+" exception:}]] + [data + ["[0]" text + ["%" format {"+" format}]] + [collection + ["[0]" dictionary {"+" Dictionary}] + ["[0]" set {"+" Set}] + ["[0]" list ("[1]#[0]" mix)]]]]] + ["[0]" // "_" + ["[1]" profile {"+" Name Profile}]]) (def: .public file "project.lux") @@ -56,17 +56,17 @@ (case (dictionary.value name project) {.#Some profile} (case (list.example (set.member? lineage) - (value@ //.#parents profile)) + (the //.#parents profile)) {.#Some ouroboros} (exception.except ..circular_dependency [ouroboros name]) {.#None} (do [! try.monad] [parents (monad.each ! (profile' (set.has name lineage) project) - (value@ //.#parents profile))] + (the //.#parents profile))] (in (list#mix (function (_ parent child) (# //.monoid composite child parent)) - (with@ //.#parents (list) profile) + (has //.#parents (list) profile) parents)))) {.#None} diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux index 7f1a735b8..6252d75f2 100644 --- a/stdlib/source/program/aedifex/repository/remote.lux +++ b/stdlib/source/program/aedifex/repository/remote.lux @@ -68,11 +68,11 @@ http))] (case status (^ (static http/status.ok)) - (# ! each product.right ((value@ @http.#body message) {.#None})) + (# ! each product.right ((the @http.#body message) {.#None})) _ (do ! - [_ ((value@ @http.#body message) {.#Some 0})] + [_ ((the @http.#body message) {.#Some 0})] (# io.monad in (exception.except ..download_failure [(format address uri) status])))))) (def: (upload uri content) @@ -88,7 +88,7 @@ ..base_headers))) {.#Some content} http)) - _ ((value@ @http.#body message) {.#Some 0})] + _ ((the @http.#body message) {.#Some 0})] (case status (^ (static http/status.created)) (in []) diff --git a/stdlib/source/program/aedifex/runtime.lux b/stdlib/source/program/aedifex/runtime.lux index 3e972edcb..78b17c8ea 100644 --- a/stdlib/source/program/aedifex/runtime.lux +++ b/stdlib/source/program/aedifex/runtime.lux @@ -1,18 +1,18 @@ (.using - [library - [lux {"-" for} - [abstract - [equivalence {"+" Equivalence}]] - [data - ["[0]" product] - ["[0]" text - ["%" format {"+" format}]] - [collection - ["[0]" list ("[1]#[0]" monoid)]]] - [macro - ["[0]" template]] - [world - ["[0]" file]]]]) + [library + [lux {"-" for} + [abstract + [equivalence {"+" Equivalence}]] + [data + ["[0]" product] + ["[0]" text + ["%" format {"+" format}]] + [collection + ["[0]" list ("[1]#[0]" monoid)]]] + [macro + ["[0]" template]] + [world + ["[0]" file]]]]) (type: .public Runtime (Record @@ -41,7 +41,7 @@ (def: .public (for runtime path) (-> Runtime file.Path Runtime) - (revised@ #parameters - (function (_ parameters) - (list#composite parameters (list path))) - runtime)) + (revised #parameters + (function (_ parameters) + (list#composite parameters (list path))) + runtime)) |