aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program
diff options
context:
space:
mode:
authorEduardo Julian2021-07-30 01:12:05 -0400
committerEduardo Julian2021-07-30 01:12:05 -0400
commit9f039e8a0a09e0278547d697efa018cd3fd68672 (patch)
tree0b2298edfae39efa7195fc5152d267cc25dd7fc1 /stdlib/source/program
parent54b28c1caeda08965c258411a32229be1766d47f (diff)
More renamings.
Diffstat (limited to 'stdlib/source/program')
-rw-r--r--stdlib/source/program/aedifex/artifact/versioning.lux6
-rw-r--r--stdlib/source/program/aedifex/command/auto.lux2
-rw-r--r--stdlib/source/program/aedifex/command/build.lux4
-rw-r--r--stdlib/source/program/aedifex/dependency/resolution.lux6
-rw-r--r--stdlib/source/program/aedifex/metadata/snapshot.lux6
-rw-r--r--stdlib/source/program/aedifex/parser.lux44
-rw-r--r--stdlib/source/program/aedifex/pom.lux14
-rw-r--r--stdlib/source/program/scriptum.lux14
8 files changed, 48 insertions, 48 deletions
diff --git a/stdlib/source/program/aedifex/artifact/versioning.lux b/stdlib/source/program/aedifex/artifact/versioning.lux
index 37adedea1..44973b54e 100644
--- a/stdlib/source/program/aedifex/artifact/versioning.lux
+++ b/stdlib/source/program/aedifex/artifact/versioning.lux
@@ -84,9 +84,9 @@
(Parser Versioning)
(<| (<xml>.node ..<versioning>)
($_ <>.and
- (<>.default #//snapshot.Local (<xml>.somewhere //snapshot.parser))
- (<>.default //time.epoch (<xml>.somewhere ..last_updated_parser))
- (<| (<>.default (list))
+ (<>.else #//snapshot.Local (<xml>.somewhere //snapshot.parser))
+ (<>.else //time.epoch (<xml>.somewhere ..last_updated_parser))
+ (<| (<>.else (list))
<xml>.somewhere
(<xml>.node ..<snapshot_versions>)
(<>.some //snapshot/version.parser))
diff --git a/stdlib/source/program/aedifex/command/auto.lux b/stdlib/source/program/aedifex/command/auto.lux
index 994f192fe..975ee26ba 100644
--- a/stdlib/source/program/aedifex/command/auto.lux
+++ b/stdlib/source/program/aedifex/command/auto.lux
@@ -30,7 +30,7 @@
(let [! async.monad]
(|> path
(\ fs sub_directories)
- (\ ! map (|>> (try.default (list))
+ (\ ! map (|>> (try.else (list))
(monad.map ! (targets fs))))
(\ ! join)
(\ ! map (|>> list.concat (list& path))))))
diff --git a/stdlib/source/program/aedifex/command/build.lux b/stdlib/source/program/aedifex/command/build.lux
index b675bb5cd..072e6e094 100644
--- a/stdlib/source/program/aedifex/command/build.lux
+++ b/stdlib/source/program/aedifex/command/build.lux
@@ -233,8 +233,8 @@
Bit
(|> (java/lang/System::getProperty "os.name")
io.run
- (try.default "")
- text.lower_case
+ (try.else "")
+ text.lower_cased
(text.starts_with? "windows")))
(def: jvm_class_path_separator
diff --git a/stdlib/source/program/aedifex/dependency/resolution.lux b/stdlib/source/program/aedifex/dependency/resolution.lux
index 3bd510675..97ed8eb4c 100644
--- a/stdlib/source/program/aedifex/dependency/resolution.lux
+++ b/stdlib/source/program/aedifex/dependency/resolution.lux
@@ -90,7 +90,7 @@
actual (|> output
(text.split_all_with " ")
list.head
- (maybe.default output)
+ (maybe.else output)
(\ codec decode))
_ (exception.assert exception [artifact extension output]
(\ ///hash.equivalence = (hash library) actual))]
@@ -233,12 +233,12 @@
[#let [sub_dependencies (|> package
///package.dependencies
(try\map set.to_list)
- (try.default (list)))
+ (try.else (list)))
## For security reasons, it's not a good idea to allow dependencies to introduce repositories.
## package_repositories (|> package
## ///package.repositories
## (try\map set.to_list)
- ## (try.default (list))
+ ## (try.else (list))
## (list\map new_repository))
## sub_repositories (list\compose repositories package_repositories)
sub_repositories repositories]
diff --git a/stdlib/source/program/aedifex/metadata/snapshot.lux b/stdlib/source/program/aedifex/metadata/snapshot.lux
index c96957740..6a9d812c9 100644
--- a/stdlib/source/program/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/program/aedifex/metadata/snapshot.lux
@@ -103,9 +103,9 @@
versions
versions)))))
- (<>.default {#///artifact/versioning.snapshot #///artifact/snapshot.Local
- #///artifact/versioning.last_updated ///artifact/time.epoch
- #///artifact/versioning.versions (list <default_version>)})))]
+ (<>.else {#///artifact/versioning.snapshot #///artifact/snapshot.Local
+ #///artifact/versioning.last_updated ///artifact/time.epoch
+ #///artifact/versioning.versions (list <default_version>)})))]
(in {#artifact {#///artifact.group group
#///artifact.name name
#///artifact.version version}
diff --git a/stdlib/source/program/aedifex/parser.lux b/stdlib/source/program/aedifex/parser.lux
index ca5fe3be3..49384a986 100644
--- a/stdlib/source/program/aedifex/parser.lux
+++ b/stdlib/source/program/aedifex/parser.lux
@@ -89,10 +89,10 @@
($_ <>.and
(..singular input "name" ..name)
(..singular input "url" ..url)
- (<>.default #/.Repo
- (..singular input "type"
- (<>.or (<code>.this! (' #repo))
- (<code>.this! (' #manual))))))))
+ (<>.else #/.Repo
+ (..singular input "type"
+ (<>.or (<code>.this! (' #repo))
+ (<code>.this! (' #manual))))))))
(def: organization
(Parser /.Organization)
@@ -133,10 +133,10 @@
(<>.maybe (..singular input "url" ..url))
(<>.maybe (..singular input "scm" ..scm))
(<>.maybe (..singular input "description" ..description))
- (<>.default (list) (..plural input "licenses" ..license))
+ (<>.else (list) (..plural input "licenses" ..license))
(<>.maybe (..singular input "organization" ..organization))
- (<>.default (list) (..plural input "developers" ..developer))
- (<>.default (list) (..plural input "contributors" ..contributor))
+ (<>.else (list) (..plural input "developers" ..developer))
+ (<>.else (list) (..plural input "contributors" ..contributor))
)))
(def: repository
@@ -152,7 +152,7 @@
(<code>.tuple
($_ <>.and
..artifact'
- (<>.default //artifact/type.lux_library ..type)
+ (<>.else //artifact/type.lux_library ..type)
)))
(def: source
@@ -186,8 +186,8 @@
(<code>.record (<>.some (<>.and <code>.local_tag
<code>.any))))
#let [^parents (: (Parser (List /.Name))
- (<>.default (list)
- (..plural input "parents" <code>.text)))
+ (<>.else (list)
+ (..plural input "parents" <code>.text)))
^identity (: (Parser (Maybe Artifact))
(<>.maybe
(..singular input "identity" ..artifact)))
@@ -197,23 +197,23 @@
^repositories (: (Parser (Set //repository.Address))
(|> (..plural input "repositories" ..repository)
(\ ! map (set.of_list text.hash))
- (<>.default (set.new text.hash))
+ (<>.else (set.new text.hash))
(\ ! map (set.add /.default_repository))))
^dependencies (: (Parser (Set //dependency.Dependency))
(|> (..plural input "dependencies" ..dependency)
(\ ! map (set.of_list //dependency.hash))
- (<>.default (set.new //dependency.hash))))
+ (<>.else (set.new //dependency.hash))))
^compiler (|> ..dependency
(..singular input "compiler")
- (<>.default /.default_compiler))
+ (<>.else /.default_compiler))
^sources (: (Parser (Set /.Source))
(|> (..plural input "sources" ..source)
(\ ! map (set.of_list text.hash))
- (<>.default (set.of_list text.hash (list /.default_source)))))
+ (<>.else (set.of_list text.hash (list /.default_source)))))
^target (: (Parser /.Target)
(|> ..target
(..singular input "target")
- (<>.default /.default_target)))
+ (<>.else /.default_target)))
^program (: (Parser (Maybe Module))
(<>.maybe
(..singular input "program" ..module)))
@@ -222,23 +222,23 @@
(..singular input "test" ..module)))
^deploy_repositories (: (Parser (Dictionary Text //repository.Address))
(<| (\ ! map (dictionary.of_list text.hash))
- (<>.default (list))
+ (<>.else (list))
(..singular input "deploy_repositories" ..deploy_repository)))
^java (|> ..runtime
(..singular input "java")
- (<>.default //runtime.default_java))
+ (<>.else //runtime.default_java))
^js (|> ..runtime
(..singular input "js")
- (<>.default //runtime.default_js))
+ (<>.else //runtime.default_js))
^python (|> ..runtime
(..singular input "python")
- (<>.default //runtime.default_python))
+ (<>.else //runtime.default_python))
^lua (|> ..runtime
(..singular input "lua")
- (<>.default //runtime.default_lua))
+ (<>.else //runtime.default_lua))
^ruby (|> ..runtime
(..singular input "ruby")
- (<>.default //runtime.default_ruby))]]
+ (<>.else //runtime.default_ruby))]]
($_ <>.and
^parents
^identity
@@ -262,7 +262,7 @@
(Parser Project)
(let [default_profile (: (Parser Project)
(\ <>.monad map
- (|>> [/.default] (list) (dictionary.of_list text.hash))
+ (|>> [/.else] (list) (dictionary.of_list text.hash))
..profile))
multi_profile (: (Parser Project)
(\ <>.monad map
diff --git a/stdlib/source/program/aedifex/pom.lux b/stdlib/source/program/aedifex/pom.lux
index 145d65f6e..e37bbe0e9 100644
--- a/stdlib/source/program/aedifex/pom.lux
+++ b/stdlib/source/program/aedifex/pom.lux
@@ -114,7 +114,7 @@
(-> /.Developer (List XML))
(list& (..property "name" name)
(..property "email" email)
- (|> organization (maybe\map ..developer_organization) (maybe.default (list)))))
+ (|> organization (maybe\map ..developer_organization) (maybe.else (list)))))
(template [<name> <type> <tag>]
[(def: <name>
@@ -177,12 +177,12 @@
#//artifact.name artifact
#//artifact.version (|> properties
(dictionary.get ["" ..version_tag])
- (maybe.default "")
+ (maybe.else "")
(text.replace_all "${project.version}" own_version)
(text.replace_all "${project.parent.version}" parent_version))}
#//dependency.type (|> properties
(dictionary.get ["" "type"])
- (maybe.default //artifact/type.jvm_library))})))))
+ (maybe.else //artifact/type.jvm_library))})))))
(def: (dependencies_parser own_version parent_version)
(-> Text Text (Parser (List Dependency)))
@@ -213,16 +213,16 @@
(def: #export parser
(Parser /.Profile)
(do {! <>.monad}
- [own_version (<>.default "" (<xml>.somewhere ..own_version))
- parent_version (<>.default "" (<xml>.somewhere ..parent_version))]
+ [own_version (<>.else "" (<xml>.somewhere ..own_version))
+ parent_version (<>.else "" (<xml>.somewhere ..parent_version))]
(<| (<xml>.node ["" ..project_tag])
(do !
[dependencies (|> (..dependencies_parser own_version parent_version)
<xml>.somewhere
- (<>.default (list)))
+ (<>.else (list)))
repositories (|> ..repositories_parser
<xml>.somewhere
- (<>.default (list)))
+ (<>.else (list)))
_ (<>.some <xml>.ignore)]
(in (|> (\ /.monoid identity)
(update@ #/.dependencies (function (_ empty)
diff --git a/stdlib/source/program/scriptum.lux b/stdlib/source/program/scriptum.lux
index fd66e6d61..a440042c4 100644
--- a/stdlib/source/program/scriptum.lux
+++ b/stdlib/source/program/scriptum.lux
@@ -176,9 +176,9 @@
([#.Var "⌈v:" "⌋"]
[#.Ex "⟨e:" "⟩"])
- (^template [<tag> <name> <flatten>]
+ (^template [<tag> <name> <flat>]
[[_ (<tag> _)]
- (let [[level' body] (<flatten> type)
+ (let [[level' body] (<flat> type)
args (level_to_args level level')
body_doc (pprint_type_definition (n.+ level level') type_func_info tags module signature? recursive_type? body)]
(format "(" <name> " " "[" (text.join_with " " args) "]"
@@ -241,9 +241,9 @@
([#.Var "⌈" "⌋"]
[#.Ex "⟨" "⟩"])
- (^template [<tag> <name> <flatten>]
+ (^template [<tag> <name> <flat>]
[(<tag> _)
- (let [[level' body] (<flatten> type)
+ (let [[level' body] (<flat> type)
args (level_to_args level level')
body_doc (pprint_type (n.+ level level') type_func_name module body)]
(format "(" <name> " " "[" (|> args (list.interpose " ") (text.join_with "")) "]"
@@ -371,7 +371,7 @@
(|> type
(unravel_type_func nesting)
(when> [(new> recursive_type? [])] [unrecurse_type])
- (pprint_type_definition (dec nesting) [_name type_arguments] (maybe.default (list) tags) module signature? recursive_type?)
+ (pprint_type_definition (dec nesting) [_name type_arguments] (maybe.else (list) tags) module signature? recursive_type?)
(text.split_all_with text.new_line)
(list\map (|>> (format " ")))
(text.join_with text.new_line))
@@ -411,7 +411,7 @@
($_ md.then
(md.heading/3 name)
(<| (: (Markdown Block))
- (maybe.default md.empty)
+ (maybe.else md.empty)
(do maybe.monad
[documentation (annotation.documentation def_annotations)]
(in (md.code documentation))))))))
@@ -463,7 +463,7 @@
[#let [(^slots [#types #macros #implementations #values]) organization
annotations (|> module
(get@ #.module_annotations)
- (maybe.default (' {}))
+ (maybe.else (' {}))
annotation.documentation)
description (case annotations
(#.Some doc_text)