aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/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/test/aedifex/repository
parentb55cefcb258f11eeee32c1478faefd1bd09ec871 (diff)
De-taggification | part 4
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/aedifex/repository.lux44
-rw-r--r--stdlib/source/test/aedifex/repository/identity.lux6
-rw-r--r--stdlib/source/test/aedifex/repository/local.lux18
-rw-r--r--stdlib/source/test/aedifex/repository/origin.lux6
-rw-r--r--stdlib/source/test/aedifex/repository/remote.lux34
5 files changed, 54 insertions, 54 deletions
diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux
index 9412b5fd5..7958dc7bb 100644
--- a/stdlib/source/test/aedifex/repository.lux
+++ b/stdlib/source/test/aedifex/repository.lux
@@ -5,38 +5,38 @@
[abstract
[equivalence {"+" [Equivalence]}]
[hash {"+" [Hash]}]
- ["." monad {"+" [do]}]]
+ ["[0]" monad {"+" [do]}]]
[control
- ["." io]
- ["." try]
- ["." exception {"+" [exception:]}]]
+ ["[0]" io]
+ ["[0]" try]
+ ["[0]" exception {"+" [exception:]}]]
[data
- ["." product]
- ["." binary {"+" [Binary]}]
- ["." text
+ ["[0]" product]
+ ["[0]" binary {"+" [Binary]}]
+ ["[0]" text
["%" format {"+" [format]}]]
[collection
- ["." dictionary {"+" [Dictionary]}]]]
+ ["[0]" dictionary {"+" [Dictionary]}]]]
[math
- ["." random {"+" [Random]}]]
+ ["[0]" random {"+" [Random]}]]
[world
[net
- ["." uri {"+" [URI]}]]]]]
- ["." / "_"
- ["#." identity]
- ["#." origin]
- ["#." local]
- ["#." remote]
+ ["[0]" uri {"+" [URI]}]]]]]
+ ["[0]" / "_"
+ ["[1][0]" identity]
+ ["[1][0]" origin]
+ ["[1][0]" local]
+ ["[1][0]" remote]
[//
- ["@." artifact]]]
+ ["@[0]" artifact]]]
[\\specification
- ["$." /]]
+ ["$[0]" /]]
[\\program
- ["." /
- ["." remote]
- ["/#" // "_"
- ["#." artifact {"+" [Version Artifact]}
- ["#/." extension {"+" [Extension]}]]]]])
+ ["[0]" /
+ ["[0]" remote]
+ ["/[1]" // "_"
+ ["[1][0]" artifact {"+" [Version Artifact]}
+ ["[1]/[0]" extension {"+" [Extension]}]]]]])
(def: artifact
(-> Version Artifact)
diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux
index 045136c43..971e18a4b 100644
--- a/stdlib/source/test/aedifex/repository/identity.lux
+++ b/stdlib/source/test/aedifex/repository/identity.lux
@@ -4,11 +4,11 @@
["_" test {"+" [Test]}]
[abstract
[\\specification
- ["$." equivalence]]]
+ ["$[0]" equivalence]]]
[math
- ["." random {"+" [Random]}]]]]
+ ["[0]" random {"+" [Random]}]]]]
[\\program
- ["." /]])
+ ["[0]" /]])
(def: .public random
(Random /.Identity)
diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux
index 135e10867..03c64b69a 100644
--- a/stdlib/source/test/aedifex/repository/local.lux
+++ b/stdlib/source/test/aedifex/repository/local.lux
@@ -5,23 +5,23 @@
[abstract
[monad {"+" [do]}]]
[control
- ["." try ("#\." functor)]
+ ["[0]" try ("[1]\[0]" functor)]
[parser
- ["." environment]]
+ ["[0]" environment]]
[concurrency
- ["." async]]]
+ ["[0]" async]]]
[data
- ["." binary ("#\." equivalence)]
+ ["[0]" binary ("[1]\[0]" equivalence)]
[text
[encoding
- ["." utf8]]]]
+ ["[0]" utf8]]]]
[math
- ["." random]]
+ ["[0]" random]]
[world
- ["." file]
- ["." program]]]]
+ ["[0]" file]
+ ["[0]" program]]]]
[\\program
- ["." /]])
+ ["[0]" /]])
(def: .public test
Test
diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux
index 6567471a1..f160df2e3 100644
--- a/stdlib/source/test/aedifex/repository/origin.lux
+++ b/stdlib/source/test/aedifex/repository/origin.lux
@@ -4,11 +4,11 @@
["_" test {"+" [Test]}]
[abstract
[\\specification
- ["$." equivalence]]]
+ ["$[0]" equivalence]]]
[math
- ["." random {"+" [Random]}]]]]
+ ["[0]" random {"+" [Random]}]]]]
[\\program
- ["." /]])
+ ["[0]" /]])
(def: .public random
(Random /.Origin)
diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux
index dfdbe03c5..9e405ddc5 100644
--- a/stdlib/source/test/aedifex/repository/remote.lux
+++ b/stdlib/source/test/aedifex/repository/remote.lux
@@ -5,31 +5,31 @@
[abstract
[monad {"+" [do]}]]
[control
- ["." io {"+" [IO]}]
- ["." maybe ("#\." functor)]
- ["." try ("#\." monad)]
- ["." exception]
- ["." function]]
+ ["[0]" io {"+" [IO]}]
+ ["[0]" maybe ("[1]\[0]" functor)]
+ ["[0]" try ("[1]\[0]" monad)]
+ ["[0]" exception]
+ ["[0]" function]]
[data
- ["." binary ("#\." equivalence)]
- ["." text ("#\." equivalence)
+ ["[0]" binary ("[1]\[0]" equivalence)]
+ ["[0]" text ("[1]\[0]" equivalence)
["%" format {"+" [format]}]
[encoding
- ["." utf8]]]
+ ["[0]" utf8]]]
[collection
- ["." dictionary]]]
+ ["[0]" dictionary]]]
[math
- ["." random {"+" [Random]}]]
+ ["[0]" random {"+" [Random]}]]
[world
[net {"+" [URL]}
- ["." http "_"
- ["#" client]
- ["#/." status]
- ["@#" /]]]]]]
+ ["[0]" http "_"
+ ["[1]" client]
+ ["[1]/[0]" status]
+ ["@[1]" /]]]]]]
[\\program
- ["." /
- ["/#" // "_"
- ["#." identity]]]])
+ ["[0]" /
+ ["/[1]" // "_"
+ ["[1][0]" identity]]]])
(def: (url_body url)
(-> URL (@http.Body IO))