From e53c1a090eb9cfac3cb23d10d981648d02518ed1 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 13 Aug 2021 04:18:57 -0400 Subject: Made program: specify its bindings the same way as syntax:. --- stdlib/source/program/aedifex.lux | 4 ++-- stdlib/source/program/aedifex/action.lux | 2 +- stdlib/source/program/aedifex/artifact.lux | 4 ++-- stdlib/source/program/aedifex/command/build.lux | 8 ++++---- stdlib/source/program/aedifex/dependency/resolution.lux | 4 ++-- stdlib/source/program/aedifex/parser.lux | 4 ++-- stdlib/source/program/aedifex/pom.lux | 8 ++++---- stdlib/source/program/aedifex/project.lux | 6 +++--- stdlib/source/program/compositor.lux | 6 +++--- stdlib/source/program/scriptum.lux | 12 ++++++------ 10 files changed, 29 insertions(+), 29 deletions(-) (limited to 'stdlib/source/program') diff --git a/stdlib/source/program/aedifex.lux b/stdlib/source/program/aedifex.lux index e6dae7bbc..05aee240b 100644 --- a/stdlib/source/program/aedifex.lux +++ b/stdlib/source/program/aedifex.lux @@ -124,7 +124,7 @@ (..fail! error)))) (\ io.monad in []))) -(program: [{[profile operation] /cli.command}] +(program: [[profile operation] /cli.command] (do {! io.monad} [?console console.default] (case (try\map console.async ?console) @@ -166,7 +166,7 @@ (#/cli.Deploy repository identity) (..command (case [(get@ #/.identity profile) - (dictionary.get repository (get@ #/.deploy_repositories profile))] + (dictionary.value repository (get@ #/.deploy_repositories profile))] [(#.Some artifact) (#.Some repository)] (/command/deploy.do! console (/repository.async (/repository/remote.repository http.default (#.Some identity) repository)) diff --git a/stdlib/source/program/aedifex/action.lux b/stdlib/source/program/aedifex/action.lux index 55994c67b..41d168b97 100644 --- a/stdlib/source/program/aedifex/action.lux +++ b/stdlib/source/program/aedifex/action.lux @@ -13,4 +13,4 @@ (def: .public monad (Monad Action) - (:assume (try.with async.monad))) + (:expected (try.with async.monad))) diff --git a/stdlib/source/program/aedifex/artifact.lux b/stdlib/source/program/aedifex/artifact.lux index a6980813e..e37894330 100644 --- a/stdlib/source/program/aedifex/artifact.lux +++ b/stdlib/source/program/aedifex/artifact.lux @@ -87,7 +87,7 @@ (def: .public (directory separator group) (-> Text Group Text) (|> group - (text.split_all_with ..group_separator) + (text.all_split_by ..group_separator) (text.join_with separator))) (def: .public (uri version artifact) @@ -103,6 +103,6 @@ (-> Artifact (List Text)) (list\compose (|> artifact (get@ #group) - (text.split_all_with ..group_separator)) + (text.all_split_by ..group_separator)) (list (get@ #name artifact) (get@ #version artifact)))) diff --git a/stdlib/source/program/aedifex/command/build.lux b/stdlib/source/program/aedifex/command/build.lux index e14eee20f..41668665e 100644 --- a/stdlib/source/program/aedifex/command/build.lux +++ b/stdlib/source/program/aedifex/command/build.lux @@ -83,7 +83,7 @@ (def: (remove_dependency dependency) (-> Dependency (-> Resolution Resolution)) (|>> dictionary.entries - (list.only (|>> product.left (is? dependency) not)) + (list.only (|>> product.left (same? dependency) not)) (dictionary.of_list ///dependency.hash))) (def: (compiler resolution compiler_dependency) @@ -135,8 +135,8 @@ text.equivalence) (def: (< left right) - (loop [left (text.split_all_with ..version_separator left) - right (text.split_all_with ..version_separator right)] + (loop [left (text.all_split_by ..version_separator left) + right (text.all_split_by ..version_separator right)] (case [left right] [(#.Item leftH leftT) (#.Item rightH rightT)] (if (text\= leftH rightH) @@ -164,7 +164,7 @@ identity [(get@ #///artifact.group artifact) (get@ #///artifact.name artifact)] version (get@ #///artifact.version artifact)] - (case (dictionary.get identity uniques) + (case (dictionary.value identity uniques) (#.Some [current_version current_path]) (if (\ version_order < version current_version) (dictionary.has identity [version dependency] uniques) diff --git a/stdlib/source/program/aedifex/dependency/resolution.lux b/stdlib/source/program/aedifex/dependency/resolution.lux index 05ae5c523..22778e25b 100644 --- a/stdlib/source/program/aedifex/dependency/resolution.lux +++ b/stdlib/source/program/aedifex/dependency/resolution.lux @@ -88,7 +88,7 @@ (:as Text)) (\ utf8.codec decode actual)) actual (|> output - (text.split_all_with " ") + (text.all_split_by " ") list.head (maybe.else output) (\ codec decode)) @@ -221,7 +221,7 @@ tail resolution) _ (do {! async.monad} - [?package (case (dictionary.get head resolution) + [?package (case (dictionary.value head resolution) (#.Some package) (in (#try.Success package)) diff --git a/stdlib/source/program/aedifex/parser.lux b/stdlib/source/program/aedifex/parser.lux index 37ce2c46b..6d4d05b92 100644 --- a/stdlib/source/program/aedifex/parser.lux +++ b/stdlib/source/program/aedifex/parser.lux @@ -39,12 +39,12 @@ (def: (singular input tag parser) (All [a] (-> (Dictionary Text Code) Text (Parser a) (Parser a))) - (.local (..as_input (dictionary.get tag input)) + (.local (..as_input (dictionary.value tag input)) parser)) (def: (plural input tag parser) (All [a] (-> (Dictionary Text Code) Text (Parser a) (Parser (List a)))) - (.local (..as_input (dictionary.get tag input)) + (.local (..as_input (dictionary.value tag input)) (.tuple (<>.some parser)))) (def: group diff --git a/stdlib/source/program/aedifex/pom.lux b/stdlib/source/program/aedifex/pom.lux index 146ef471b..f3a945d66 100644 --- a/stdlib/source/program/aedifex/pom.lux +++ b/stdlib/source/program/aedifex/pom.lux @@ -171,17 +171,17 @@ (<| <>.lift try.of_maybe (do maybe.monad - [group (dictionary.get ["" ..group_tag] properties) - artifact (dictionary.get ["" ..artifact_tag] properties)] + [group (dictionary.value ["" ..group_tag] properties) + artifact (dictionary.value ["" ..artifact_tag] properties)] (in {#//dependency.artifact {#//artifact.group group #//artifact.name artifact #//artifact.version (|> properties - (dictionary.get ["" ..version_tag]) + (dictionary.value ["" ..version_tag]) (maybe.else "") (text.replaced "${project.version}" own_version) (text.replaced "${project.parent.version}" parent_version))} #//dependency.type (|> properties - (dictionary.get ["" "type"]) + (dictionary.value ["" "type"]) (maybe.else //artifact/type.jvm_library))}))))) (def: (dependencies_parser own_version parent_version) diff --git a/stdlib/source/program/aedifex/project.lux b/stdlib/source/program/aedifex/project.lux index fdaf77e6c..951e82d34 100644 --- a/stdlib/source/program/aedifex/project.lux +++ b/stdlib/source/program/aedifex/project.lux @@ -52,10 +52,10 @@ (def: (profile' lineage project name) (-> (Set Name) Project Name (Try Profile)) - (case (dictionary.get name project) + (case (dictionary.value name project) (#.Some profile) - (case (list.find (set.member? lineage) - (get@ #//.parents profile)) + (case (list.example (set.member? lineage) + (get@ #//.parents profile)) (#.Some ouroboros) (exception.except ..circular_dependency [ouroboros name]) diff --git a/stdlib/source/program/compositor.lux b/stdlib/source/program/compositor.lux index 849c5b89a..efe7a6b28 100644 --- a/stdlib/source/program/compositor.lux +++ b/stdlib/source/program/compositor.lux @@ -143,14 +143,14 @@ (Async (Try [(directive.State+ ) Archive])) - (:assume (platform.initialize static compilation_module expander host_analysis platform generation_bundle host_directive_bundle program anchorT,expressionT,directiveT extender - import compilation_sources))) + (:expected (platform.initialize static compilation_module expander host_analysis platform generation_bundle host_directive_bundle program anchorT,expressionT,directiveT extender + import compilation_sources))) [archive state] (:sharing [] (Platform ) platform (Async (Try [Archive (directive.State+ )])) - (:assume (platform.compile import static expander platform compilation [archive state]))) + (:expected (platform.compile import static expander platform compilation [archive state]))) _ (ioW.freeze (get@ #platform.&file_system platform) static archive) program_context (async\in ($/program.context archive)) host_dependencies (..load_host_dependencies (get@ #platform.&file_system platform) compilation_host_dependencies) diff --git a/stdlib/source/program/scriptum.lux b/stdlib/source/program/scriptum.lux index 9128fdc60..ab4c2e787 100644 --- a/stdlib/source/program/scriptum.lux +++ b/stdlib/source/program/scriptum.lux @@ -93,7 +93,7 @@ (def: (prefix_lines prefix lines) (-> Text Text Text) (|> lines - (text.split_all_with text.new_line) + (text.all_split_by text.new_line) (list\map (|>> (format prefix))) (text.join_with text.new_line))) @@ -372,7 +372,7 @@ (unravel_type_func nesting) (when> [(new> recursive_type? [])] [unrecurse_type]) (pprint_type_definition (dec nesting) [_name type_arguments] (maybe.else (list) tags) module interface? recursive_type?) - (text.split_all_with text.new_line) + (text.all_split_by text.new_line) (list\map (|>> (format " "))) (text.join_with text.new_line)) ")")))) @@ -399,7 +399,7 @@ md.empty) type_code))))) types)] - (in (list\fold (function.flip md.then) + (in (list\fold (function.flipped md.then) (md.heading/2 "Types") type_docs)))) @@ -415,7 +415,7 @@ (do maybe.monad [documentation (annotation.documentation def_annotations)] (in (md.code documentation)))))))) - (list\fold (function.flip md.then) + (list\fold (function.flipped md.then) (md.heading/2 "Macros")))) (template [
] @@ -443,7 +443,7 @@ _ md.empty) ( module value_type))))) - (list\fold (function.flip md.then) + (list\fold (function.flipped md.then) (md.heading/2
))))] [document_implementation document_implementations "Implementations"] @@ -453,7 +453,7 @@ (def: (enclose_lines pre+post block) (-> [Text Text] Text Text) (|> block - (text.split_all_with text.new_line) + (text.all_split_by text.new_line) (list\map (text.enclosed pre+post)) (text.join_with text.new_line))) -- cgit v1.2.3