aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/repository
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/aedifex/repository')
-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
4 files changed, 32 insertions, 32 deletions
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))