aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/repository
diff options
context:
space:
mode:
authorEduardo Julian2021-09-07 22:50:21 -0400
committerEduardo Julian2021-09-07 22:50:21 -0400
commit35c0807799717cd720ab28b35851c1a01a67445d (patch)
treec6237b79fb262d24c8a46ee3ecb714df3e9874d8 /stdlib/source/program/aedifex/repository
parentb55cefcb258f11eeee32c1478faefd1bd09ec871 (diff)
De-taggification | part 4
Diffstat (limited to 'stdlib/source/program/aedifex/repository')
-rw-r--r--stdlib/source/program/aedifex/repository/identity.lux12
-rw-r--r--stdlib/source/program/aedifex/repository/local.lux18
-rw-r--r--stdlib/source/program/aedifex/repository/origin.lux4
-rw-r--r--stdlib/source/program/aedifex/repository/remote.lux32
4 files changed, 33 insertions, 33 deletions
diff --git a/stdlib/source/program/aedifex/repository/identity.lux b/stdlib/source/program/aedifex/repository/identity.lux
index 06df89360..abe5e2e1b 100644
--- a/stdlib/source/program/aedifex/repository/identity.lux
+++ b/stdlib/source/program/aedifex/repository/identity.lux
@@ -1,15 +1,15 @@
(.module:
[library
[lux "*"
- ["." ffi {"+" [import:]}]
+ ["[0]" ffi {"+" [import:]}]
[abstract
[equivalence {"+" [Equivalence]}]]
[data
- ["." product]
- ["." text
+ ["[0]" product]
+ ["[0]" text
["%" format {"+" [format]}]
[encoding
- ["." utf8]]]]]])
+ ["[0]" utf8]]]]]])
(type: .public User
Text)
@@ -30,11 +30,11 @@
))
(import: java/util/Base64$Encoder
- ["#::."
+ ["[1]::[0]"
(encodeToString [[byte]] java/lang/String)])
(import: java/util/Base64
- ["#::."
+ ["[1]::[0]"
("static" getEncoder [] java/util/Base64$Encoder)])
(def: .public (basic_auth user password)
diff --git a/stdlib/source/program/aedifex/repository/local.lux b/stdlib/source/program/aedifex/repository/local.lux
index 4a2837672..2c528a520 100644
--- a/stdlib/source/program/aedifex/repository/local.lux
+++ b/stdlib/source/program/aedifex/repository/local.lux
@@ -4,21 +4,21 @@
[abstract
[monad {"+" [do]}]]
[control
- ["." try]
+ ["[0]" try]
[concurrency
- ["." async {"+" [Async]}]]]
+ ["[0]" async {"+" [Async]}]]]
[data
- ["." text
+ ["[0]" text
["%" format {"+" [format]}]]]
[world
[program {"+" [Program]}]
- ["." file]
+ ["[0]" file]
[net
- ["." uri {"+" [URI]}]]]]]
- ["." //
- ["/#" // "_"
- ["#." local]
- ["#." metadata]]])
+ ["[0]" uri {"+" [URI]}]]]]]
+ ["[0]" //
+ ["/[1]" // "_"
+ ["[1][0]" local]
+ ["[1][0]" metadata]]])
(def: (root program /)
(-> (Program Async) Text file.Path)
diff --git a/stdlib/source/program/aedifex/repository/origin.lux b/stdlib/source/program/aedifex/repository/origin.lux
index fdee108c5..72163f641 100644
--- a/stdlib/source/program/aedifex/repository/origin.lux
+++ b/stdlib/source/program/aedifex/repository/origin.lux
@@ -4,8 +4,8 @@
[abstract
[equivalence {"+" [Equivalence]}]]
[data
- ["." sum]
- ["." text]]
+ ["[0]" sum]
+ ["[0]" text]]
[world
[file {"+" [Path]}]
[net {"+" [URL]}]]]])
diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux
index ea8952bef..69fd9c255 100644
--- a/stdlib/source/program/aedifex/repository/remote.lux
+++ b/stdlib/source/program/aedifex/repository/remote.lux
@@ -4,30 +4,30 @@
[abstract
[monad {"+" [do]}]]
[control
- ["." io {"+" [IO]}]
- ["." try {"+" [Try]}]
- ["." exception {"+" [exception:]}]]
+ ["[0]" io {"+" [IO]}]
+ ["[0]" try {"+" [Try]}]
+ ["[0]" exception {"+" [exception:]}]]
[data
- ["." product]
+ ["[0]" product]
[text
["%" format {"+" [format]}]]]
[tool
[compiler
- ["." version]
- ["." language "_"
- ["#/." lux "_"
- ["#" version]]]]]
+ ["[0]" version]
+ ["[0]" language "_"
+ ["[1]/[0]" lux "_"
+ ["[1]" version]]]]]
[world
[net {"+" [URL]}
[uri {"+" [URI]}]
- ["." http "_"
- ["#" client]
- ["#/." status]
- ["@#" /]]]]]]
- ["." //
- ["#." identity {"+" [Identity]}]
- ["/#" // "_"
- ["#." artifact {"+" [Version Artifact]}
+ ["[0]" http "_"
+ ["[1]" client]
+ ["[1]/[0]" status]
+ ["@[1]" /]]]]]]
+ ["[0]" //
+ ["[1][0]" identity {"+" [Identity]}]
+ ["/[1]" // "_"
+ ["[1][0]" artifact {"+" [Version Artifact]}
[extension {"+" [Extension]}]]]])
(type: .public Address