aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/aedifex.lux40
-rw-r--r--stdlib/source/test/aedifex/artifact.lux28
-rw-r--r--stdlib/source/test/aedifex/artifact/extension.lux14
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot.lux20
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/build.lux10
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/stamp.lux18
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/time.lux14
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version.lux20
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version/value.lux24
-rw-r--r--stdlib/source/test/aedifex/artifact/time.lux18
-rw-r--r--stdlib/source/test/aedifex/artifact/time/date.lux16
-rw-r--r--stdlib/source/test/aedifex/artifact/time/time.lux10
-rw-r--r--stdlib/source/test/aedifex/artifact/type.lux10
-rw-r--r--stdlib/source/test/aedifex/artifact/versioning.lux18
-rw-r--r--stdlib/source/test/aedifex/cache.lux48
-rw-r--r--stdlib/source/test/aedifex/cli.lux18
-rw-r--r--stdlib/source/test/aedifex/command.lux22
-rw-r--r--stdlib/source/test/aedifex/command/auto.lux42
-rw-r--r--stdlib/source/test/aedifex/command/build.lux44
-rw-r--r--stdlib/source/test/aedifex/command/clean.lux32
-rw-r--r--stdlib/source/test/aedifex/command/deploy.lux60
-rw-r--r--stdlib/source/test/aedifex/command/deps.lux72
-rw-r--r--stdlib/source/test/aedifex/command/install.lux48
-rw-r--r--stdlib/source/test/aedifex/command/pom.lux30
-rw-r--r--stdlib/source/test/aedifex/command/test.lux52
-rw-r--r--stdlib/source/test/aedifex/command/version.lux26
-rw-r--r--stdlib/source/test/aedifex/dependency.lux12
-rw-r--r--stdlib/source/test/aedifex/dependency/deployment.lux62
-rw-r--r--stdlib/source/test/aedifex/dependency/resolution.lux62
-rw-r--r--stdlib/source/test/aedifex/dependency/status.lux18
-rw-r--r--stdlib/source/test/aedifex/hash.lux16
-rw-r--r--stdlib/source/test/aedifex/input.lux26
-rw-r--r--stdlib/source/test/aedifex/local.lux12
-rw-r--r--stdlib/source/test/aedifex/metadata.lux14
-rw-r--r--stdlib/source/test/aedifex/metadata/artifact.lux48
-rw-r--r--stdlib/source/test/aedifex/metadata/snapshot.lux60
-rw-r--r--stdlib/source/test/aedifex/package.lux36
-rw-r--r--stdlib/source/test/aedifex/parser.lux32
-rw-r--r--stdlib/source/test/aedifex/pom.lux20
-rw-r--r--stdlib/source/test/aedifex/profile.lux30
-rw-r--r--stdlib/source/test/aedifex/project.lux22
-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
-rw-r--r--stdlib/source/test/aedifex/runtime.lux14
47 files changed, 673 insertions, 673 deletions
diff --git a/stdlib/source/test/aedifex.lux b/stdlib/source/test/aedifex.lux
index 1860eeab7..1ff98be46 100644
--- a/stdlib/source/test/aedifex.lux
+++ b/stdlib/source/test/aedifex.lux
@@ -4,26 +4,26 @@
[program {"+" [program:]}]
["_" test {"+" [Test]}]
[control
- ["." io]]]]
- ["." / "_"
- ["#." artifact]
- ["#." cli]
- ["#." command]
- ["#." dependency
- ["#/." deployment]
- ["#/." resolution]
- ["#/." status]]
- ["#." hash]
- ["#." input]
- ["#." local]
- ["#." metadata]
- ["#." package]
- ["#." parser]
- ["#." pom]
- ["#." profile]
- ["#." project]
- ["#." repository]
- ["#." runtime]])
+ ["[0]" io]]]]
+ ["[0]" / "_"
+ ["[1][0]" artifact]
+ ["[1][0]" cli]
+ ["[1][0]" command]
+ ["[1][0]" dependency
+ ["[1]/[0]" deployment]
+ ["[1]/[0]" resolution]
+ ["[1]/[0]" status]]
+ ["[1][0]" hash]
+ ["[1][0]" input]
+ ["[1][0]" local]
+ ["[1][0]" metadata]
+ ["[1][0]" package]
+ ["[1][0]" parser]
+ ["[1][0]" pom]
+ ["[1][0]" profile]
+ ["[1][0]" project]
+ ["[1][0]" repository]
+ ["[1][0]" runtime]])
(def: dependency
Test
diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index d1ecac072..51281e4a8 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -6,25 +6,25 @@
[monad {"+" [do]}]
[hash {"+" [Hash]}]
[\\specification
- ["$." equivalence]
- ["$." order]
- ["$." hash]]]
+ ["$[0]" equivalence]
+ ["$[0]" order]
+ ["$[0]" hash]]]
[data
- ["." text ("#\." equivalence)]]
+ ["[0]" text ("[1]\[0]" equivalence)]]
[math
- ["." random {"+" [Random]}]]
+ ["[0]" random {"+" [Random]}]]
[world
- ["." file]
+ ["[0]" file]
[net
- ["." uri]]]]]
- ["." / "_"
- ["#." extension]
- ["#." snapshot]
- ["#." time]
- ["#." type]
- ["#." versioning]]
+ ["[0]" uri]]]]]
+ ["[0]" / "_"
+ ["[1][0]" extension]
+ ["[1][0]" snapshot]
+ ["[1][0]" time]
+ ["[1][0]" type]
+ ["[1][0]" versioning]]
[\\program
- ["." /]])
+ ["[0]" /]])
(def: .public random
(Random /.Artifact)
diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux
index 4a99544db..e9ecafe17 100644
--- a/stdlib/source/test/aedifex/artifact/extension.lux
+++ b/stdlib/source/test/aedifex/artifact/extension.lux
@@ -5,18 +5,18 @@
[abstract
[monad {"+" [do]}]]
[data
- ["." text ("#\." equivalence)]
+ ["[0]" text ("[1]\[0]" equivalence)]
[collection
- ["." set]
- ["." list]]]
+ ["[0]" set]
+ ["[0]" list]]]
[math
- ["." random {"+" [Random]}]
+ ["[0]" random {"+" [Random]}]
[number
["n" nat]]]]]
[\\program
- ["." /
- ["/#" // "_"
- ["#" type]]]])
+ ["[0]" /
+ ["/[1]" // "_"
+ ["[1]" type]]]])
(def: .public test
Test
diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux
index e04b49e71..b411f425c 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot.lux
@@ -5,20 +5,20 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]]]
+ ["$[0]" equivalence]]]
[control
- ["." try ("#\." functor)]
+ ["[0]" try ("[1]\[0]" functor)]
[parser
- ["<.>" xml]]]
+ ["<[0]>" xml]]]
[math
- ["." random {"+" [Random]} ("#\." monad)]]]]
- ["$." / "_"
- ["#." build]
- ["#." stamp]
- ["#." time]
- ["#." version]]
+ ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]]]]
+ ["$[0]" / "_"
+ ["[1][0]" build]
+ ["[1][0]" stamp]
+ ["[1][0]" time]
+ ["[1][0]" version]]
[\\program
- ["." /]])
+ ["[0]" /]])
(def: .public random
(Random /.Snapshot)
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
index e3e0c62cd..24f6ee539 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
@@ -5,15 +5,15 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]]]
+ ["$[0]" equivalence]]]
[control
- ["." try ("#\." functor)]
+ ["[0]" try ("[1]\[0]" functor)]
[parser
- ["<.>" xml]]]
+ ["<[0]>" xml]]]
[math
- ["." random {"+" [Random]}]]]]
+ ["[0]" random {"+" [Random]}]]]]
[\\program
- ["." /]])
+ ["[0]" /]])
(def: .public random
(Random /.Build)
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
index 82217bd62..0ece8e264 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
@@ -5,20 +5,20 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]]]
+ ["$[0]" equivalence]]]
[control
- ["." try ("#\." functor)]
+ ["[0]" try ("[1]\[0]" functor)]
[parser
- ["<.>" xml]]]
+ ["<[0]>" xml]]]
[math
- ["." random {"+" [Random]}]]
+ ["[0]" random {"+" [Random]}]]
[time
- ["." instant]]]]
+ ["[0]" instant]]]]
[\\program
- ["." /]]
- ["$." // "_"
- ["#." time]
- ["#." build]])
+ ["[0]" /]]
+ ["$[0]" // "_"
+ ["[1][0]" time]
+ ["[1][0]" build]])
(def: .public random
(Random /.Stamp)
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
index f11fe6f12..50fbbbf49 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
@@ -5,17 +5,17 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]]]
+ ["$[0]" equivalence]]]
[control
- ["." try ("#\." functor)]
+ ["[0]" try ("[1]\[0]" functor)]
[parser
- ["<.>" text]]]
+ ["<[0]>" text]]]
[math
- ["." random {"+" [Random]}]]]]
+ ["[0]" random {"+" [Random]}]]]]
[\\program
- ["." /]]
- ["$." /// "_"
- ["#." time]])
+ ["[0]" /]]
+ ["$[0]" /// "_"
+ ["[1][0]" time]])
(def: .public random
(Random /.Time)
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
index 162b05348..238a0d2a3 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
@@ -5,20 +5,20 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]]]
+ ["$[0]" equivalence]]]
[control
- ["." try ("#\." functor)]
+ ["[0]" try ("[1]\[0]" functor)]
[parser
- ["<.>" xml]]]
+ ["<[0]>" xml]]]
[math
- ["." random {"+" [Random]}]]]]
+ ["[0]" random {"+" [Random]}]]]]
[\\program
- ["." /]]
- ["." / "_"
- ["#." value]]
- ["$." /// "_"
- ["#." type]
- ["#." time]])
+ ["[0]" /]]
+ ["[0]" / "_"
+ ["[1][0]" value]]
+ ["$[0]" /// "_"
+ ["[1][0]" type]
+ ["[1][0]" time]])
(def: .public random
(Random /.Version)
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index e63453f84..bccd76fac 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
@@ -5,28 +5,28 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]]]
+ ["$[0]" equivalence]]]
[control
- ["." try ("#\." functor)]
+ ["[0]" try ("[1]\[0]" functor)]
[parser
- ["<.>" text]]]
+ ["<[0]>" text]]]
[data
- ["." text ("#\." equivalence)
+ ["[0]" text ("[1]\[0]" equivalence)
["%" format {"+" [format]}]]]
[math
- ["." random {"+" [Random]} ("#\." monad)]
+ ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]
[number
["n" nat]
["i" int]]]
[time
- ["." instant]]]]
- ["$." /// "_"
- ["#." stamp]]
+ ["[0]" instant]]]]
+ ["$[0]" /// "_"
+ ["[1][0]" stamp]]
[\\program
- ["." /
- ["//#" ///
- ["#." stamp]
- ["#." time]]]])
+ ["[0]" /
+ ["//[1]" ///
+ ["[1][0]" stamp]
+ ["[1][0]" time]]]])
(def: .public random
(Random /.Value)
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index a7d3f1463..9cfefe6f6 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -5,22 +5,22 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]]]
+ ["$[0]" equivalence]]]
[control
- ["." try ("#\." functor)]
+ ["[0]" try ("[1]\[0]" functor)]
[parser
- ["<.>" text]]]
+ ["<[0]>" text]]]
[time
- ["." instant ("#\." equivalence)]]
+ ["[0]" instant ("[1]\[0]" equivalence)]]
[math
- ["." random {"+" [Random]}]
+ ["[0]" random {"+" [Random]}]
[number
["i" int]]]]]
[\\program
- ["." /]]
- ["." / "_"
- ["#." date]
- ["#." time]])
+ ["[0]" /]]
+ ["[0]" / "_"
+ ["[1][0]" date]
+ ["[1][0]" time]])
(def: .public random
(Random /.Time)
diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux
index 6762ed541..e76cf4259 100644
--- a/stdlib/source/test/aedifex/artifact/time/date.lux
+++ b/stdlib/source/test/aedifex/artifact/time/date.lux
@@ -5,22 +5,22 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]]]
+ ["$[0]" equivalence]]]
[control
- ["." try ("#\." functor)]
- ["." exception]
+ ["[0]" try ("[1]\[0]" functor)]
+ ["[0]" exception]
[parser
- ["<.>" text]]]
+ ["<[0]>" text]]]
[math
- ["." random {"+" [Random]}]
+ ["[0]" random {"+" [Random]}]
[number
["n" nat]
["i" int]]]
[time
- ["." date ("#\." equivalence)]
- ["." year]]]]
+ ["[0]" date ("[1]\[0]" equivalence)]
+ ["[0]" year]]]]
[\\program
- ["." /]])
+ ["[0]" /]])
(def: .public random
(Random /.Date)
diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux
index d156d5f03..6351eca60 100644
--- a/stdlib/source/test/aedifex/artifact/time/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time/time.lux
@@ -2,20 +2,20 @@
[library
[lux "*"
["_" test {"+" [Test]}]
- ["." time]
+ ["[0]" time]
[abstract
[monad {"+" [do]}]]
[control
- ["." try ("#\." functor)]
+ ["[0]" try ("[1]\[0]" functor)]
[parser
- ["<.>" text]]]
+ ["<[0]>" text]]]
[math
- ["." random {"+" [Random]}]
+ ["[0]" random {"+" [Random]}]
[number
["n" nat]
["i" int]]]]]
[\\program
- ["." /]])
+ ["[0]" /]])
(def: .public random
(Random /.Time)
diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux
index e0d537c1b..00b483a75 100644
--- a/stdlib/source/test/aedifex/artifact/type.lux
+++ b/stdlib/source/test/aedifex/artifact/type.lux
@@ -5,16 +5,16 @@
[abstract
[monad {"+" [do]}]]
[data
- ["." text]
+ ["[0]" text]
[collection
- ["." set]
- ["." list]]]
+ ["[0]" set]
+ ["[0]" list]]]
[math
- ["." random {"+" [Random]} ("#\." monad)]
+ ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]
[number
["n" nat]]]]]
[\\program
- ["." /]])
+ ["[0]" /]])
(def: .public random
(Random /.Type)
diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux
index a9ef8d07b..3d489eb38 100644
--- a/stdlib/source/test/aedifex/artifact/versioning.lux
+++ b/stdlib/source/test/aedifex/artifact/versioning.lux
@@ -5,19 +5,19 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]]]
+ ["$[0]" equivalence]]]
[control
- ["." try ("#\." functor)]
+ ["[0]" try ("[1]\[0]" functor)]
[parser
- ["<.>" xml]]]
+ ["<[0]>" xml]]]
[math
- ["." random {"+" [Random]}]]]]
+ ["[0]" random {"+" [Random]}]]]]
[\\program
- ["." /]]
- ["$." // "_"
- ["#." time]
- ["#." snapshot
- ["#/." version]]])
+ ["[0]" /]]
+ ["$[0]" // "_"
+ ["[1][0]" time]
+ ["[1][0]" snapshot
+ ["[1]/[0]" version]]])
(def: .public random
(Random /.Versioning)
diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux
index 7bd36499b..fc5efcf8f 100644
--- a/stdlib/source/test/aedifex/cache.lux
+++ b/stdlib/source/test/aedifex/cache.lux
@@ -3,47 +3,47 @@
[lux {"-" [Type type]}
["_" test {"+" [Test]}]
[abstract
- ["." monad {"+" [do]}]]
+ ["[0]" monad {"+" [do]}]]
[control
- ["." try]
+ ["[0]" try]
[concurrency
- ["." async {"+" [Async]}]]
+ ["[0]" async {"+" [Async]}]]
[parser
- ["." environment]]]
+ ["[0]" environment]]]
[data
[binary {"+" [Binary]}]
- ["." text]
+ ["[0]" text]
[format
[xml {"+" [XML]}]]
[collection
- ["." set]
- ["." dictionary]]]
+ ["[0]" set]
+ ["[0]" dictionary]]]
[math
- ["." random {"+" [Random]} ("#\." monad)]
+ ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]
[number
["n" nat]]]
[world
- ["." file]
- ["." program]]]]
+ ["[0]" file]
+ ["[0]" program]]]]
[//
- ["@." profile]
- ["@." artifact]
+ ["@[0]" profile]
+ ["@[0]" artifact]
[//
[lux
[data
- ["_." binary]]]]]
+ ["_[0]" binary]]]]]
[\\program
- ["." /
- ["/#" // "_"
- ["#" profile {"+" [Profile]}]
- ["#." package {"+" [Package]}]
- ["#." pom]
- ["#." dependency {"+" [Dependency]}
- ["#/." resolution {"+" [Resolution]}]]
- ["#." artifact {"+" [Artifact]}
- ["#/." type {"+" [Type]}]]
- ["#." repository "_"
- ["#/." origin]]]]])
+ ["[0]" /
+ ["/[1]" // "_"
+ ["[1]" profile {"+" [Profile]}]
+ ["[1][0]" package {"+" [Package]}]
+ ["[1][0]" pom]
+ ["[1][0]" dependency {"+" [Dependency]}
+ ["[1]/[0]" resolution {"+" [Resolution]}]]
+ ["[1][0]" artifact {"+" [Artifact]}
+ ["[1]/[0]" type {"+" [Type]}]]
+ ["[1][0]" repository "_"
+ ["[1]/[0]" origin]]]]])
(def: type
(Random Type)
diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux
index 8a51928af..9cc55fd2c 100644
--- a/stdlib/source/test/aedifex/cli.lux
+++ b/stdlib/source/test/aedifex/cli.lux
@@ -5,22 +5,22 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]]]
+ ["$[0]" equivalence]]]
[control
[pipe {"+" [case>]}]
- ["." try]
+ ["[0]" try]
[parser
- ["." cli]]]
+ ["[0]" cli]]]
[data
- ["." text]
+ ["[0]" text]
[collection
- ["." list]]]
+ ["[0]" list]]]
[math
- ["." random {"+" [Random]} ("#\." monad)]]]]
+ ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]]]]
[\\program
- ["." /
- ["/#" // "_"
- ["#" profile]]]])
+ ["[0]" /
+ ["/[1]" // "_"
+ ["[1]" profile]]]])
(def: compilation
(Random /.Compilation)
diff --git a/stdlib/source/test/aedifex/command.lux b/stdlib/source/test/aedifex/command.lux
index 704376f9c..5cefcb033 100644
--- a/stdlib/source/test/aedifex/command.lux
+++ b/stdlib/source/test/aedifex/command.lux
@@ -2,21 +2,21 @@
[library
[lux "*"
["_" test {"+" [Test]}]]]
- ["." / "_"
- ["#." version]
- ["#." pom]
+ ["[0]" / "_"
+ ["[1][0]" version]
+ ["[1][0]" pom]
- ["#." clean]
- ["#." install]
+ ["[1][0]" clean]
+ ["[1][0]" install]
- ["#." deps]
- ["#." deploy]
+ ["[1][0]" deps]
+ ["[1][0]" deploy]
- ["#." build]
- ["#." test]
- ["#." auto]]
+ ["[1][0]" build]
+ ["[1][0]" test]
+ ["[1][0]" auto]]
[\\program
- ["." /]])
+ ["[0]" /]])
(def: .public test
Test
diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux
index 71608e83d..4511d8a03 100644
--- a/stdlib/source/test/aedifex/command/auto.lux
+++ b/stdlib/source/test/aedifex/command/auto.lux
@@ -6,41 +6,41 @@
[monad {"+" [do]}]]
[control
[pipe {"+" [case>]}]
- ["." try]
+ ["[0]" try]
[parser
- ["." environment]]
+ ["[0]" environment]]
[concurrency
- ["." atom {"+" [Atom]}]
- ["." async {"+" [Async]}]]]
+ ["[0]" atom {"+" [Atom]}]
+ ["[0]" async {"+" [Async]}]]]
[data
- ["." binary]
- ["." text
+ ["[0]" binary]
+ ["[0]" text
["%" format {"+" [format]}]
[encoding
- ["." utf8]]]
+ ["[0]" utf8]]]
[collection
- ["." set]]]
+ ["[0]" set]]]
[math
- ["." random]
+ ["[0]" random]
[number
["n" nat]]]
[time
- ["." instant]]
+ ["[0]" instant]]
[world
[console {"+" [Console]}]
- ["." shell {"+" [Exit Shell]}]
- ["." program {"+" [Program]}]
- ["." file
- ["." watch]]]]]
- ["." // "_"
- ["$." version]
- ["$." build]]
+ ["[0]" shell {"+" [Exit Shell]}]
+ ["[0]" program {"+" [Program]}]
+ ["[0]" file
+ ["[0]" watch]]]]]
+ ["[0]" // "_"
+ ["$[0]" version]
+ ["$[0]" build]]
[\\program
- ["." /
- ["//#" /// "_"
+ ["[0]" /
+ ["//[1]" /// "_"
[command {"+" [Command]}]
- ["#" profile {"+" [Profile]}]
- ["#." action]
+ ["[1]" profile {"+" [Profile]}]
+ ["[1][0]" action]
[dependency
[resolution {"+" [Resolution]}]]]]])
diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux
index cbdfdc929..c856b11f5 100644
--- a/stdlib/source/test/aedifex/command/build.lux
+++ b/stdlib/source/test/aedifex/command/build.lux
@@ -7,35 +7,35 @@
[control
[pipe {"+" [case>]}]
[io {"+" [IO]}]
- ["." try]
- ["." exception]
+ ["[0]" try]
+ ["[0]" exception]
[concurrency
- ["." async {"+" [Async]}]]
+ ["[0]" async {"+" [Async]}]]
[parser
- ["." environment]]]
+ ["[0]" environment]]]
[data
- ["." text ("#\." equivalence)]
+ ["[0]" text ("[1]\[0]" equivalence)]
[collection
- ["." dictionary]]]
+ ["[0]" dictionary]]]
[math
- ["." random {"+" [Random]}]]
+ ["[0]" random {"+" [Random]}]]
[world
- ["." file]
- ["." shell {"+" [Shell]}]
- ["." program]]]]
- ["." // "_"
- ["@." version]
- ["$/#" // "_"
- ["#." package]]]
+ ["[0]" file]
+ ["[0]" shell {"+" [Shell]}]
+ ["[0]" program]]]]
+ ["[0]" // "_"
+ ["@[0]" version]
+ ["$/[1]" // "_"
+ ["[1][0]" package]]]
[\\program
- ["." /
- ["//#" /// "_"
- ["#" profile {"+" [Profile]}]
- ["#." action]
- ["#." artifact
- ["#/." type]]
- ["#." dependency {"+" [Dependency]}
- ["#/." resolution {"+" [Resolution]}]]]]])
+ ["[0]" /
+ ["//[1]" /// "_"
+ ["[1]" profile {"+" [Profile]}]
+ ["[1][0]" action]
+ ["[1][0]" artifact
+ ["[1]/[0]" type]]
+ ["[1][0]" dependency {"+" [Dependency]}
+ ["[1]/[0]" resolution {"+" [Resolution]}]]]]])
(def: .public good_shell
(-> Any (Shell IO))
diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux
index c59b75719..83c3e5a80 100644
--- a/stdlib/source/test/aedifex/command/clean.lux
+++ b/stdlib/source/test/aedifex/command/clean.lux
@@ -3,38 +3,38 @@
[lux "*"
["_" test {"+" [Test]}]
[abstract
- ["." monad {"+" [do]}]]
+ ["[0]" monad {"+" [do]}]]
[control
- ["." try {"+" [Try]}]
+ ["[0]" try {"+" [Try]}]
[concurrency
- ["." async {"+" [Async]}]]]
+ ["[0]" async {"+" [Async]}]]]
[data
[binary {"+" [Binary]}]
- ["." product]
- ["." text ("#\." equivalence)
+ ["[0]" product]
+ ["[0]" text ("[1]\[0]" equivalence)
["%" format {"+" [format]}]]
[collection
- ["." list ("#\." functor)]
- ["." set]]]
+ ["[0]" list ("[1]\[0]" functor)]
+ ["[0]" set]]]
[math
- ["." random {"+" [Random]}]
+ ["[0]" random {"+" [Random]}]
[number
["n" nat]]]
[world
- ["." file {"+" [Path]}]]]]
+ ["[0]" file {"+" [Path]}]]]]
[//
- ["@." version]
+ ["@[0]" version]
[//
- ["@." profile]
+ ["@[0]" profile]
[//
[lux
[data
- ["$." binary]]]]]]
+ ["$[0]" binary]]]]]]
[\\program
- ["." /
- ["//#" /// "_"
- ["#" profile]
- ["#." action {"+" [Action]}]]]])
+ ["[0]" /
+ ["//[1]" /// "_"
+ ["[1]" profile]
+ ["[1][0]" action {"+" [Action]}]]]])
(def: node_name
(Random Text)
diff --git a/stdlib/source/test/aedifex/command/deploy.lux b/stdlib/source/test/aedifex/command/deploy.lux
index 93bf3de79..219a2931b 100644
--- a/stdlib/source/test/aedifex/command/deploy.lux
+++ b/stdlib/source/test/aedifex/command/deploy.lux
@@ -5,49 +5,49 @@
[abstract
[monad {"+" [do]}]]
[control
- ["." maybe]
- ["." try {"+" [Try]}]
+ ["[0]" maybe]
+ ["[0]" try {"+" [Try]}]
[concurrency
- ["." async {"+" [Async]}]]
+ ["[0]" async {"+" [Async]}]]
[parser
- ["." environment]]]
+ ["[0]" environment]]]
[data
- ["." binary ("#\." equivalence)]
- ["." text ("#\." equivalence)
+ ["[0]" binary ("[1]\[0]" equivalence)]
+ ["[0]" text ("[1]\[0]" equivalence)
["%" format {"+" [format]}]
[encoding
- ["." utf8]]]
- ["." format "_"
- ["#" binary]
- ["." tar]
- ["." xml]]
+ ["[0]" utf8]]]
+ ["[0]" format "_"
+ ["[1]" binary]
+ ["[0]" tar]
+ ["[0]" xml]]
[collection
- ["." set]]]
+ ["[0]" set]]]
[math
- ["." random]]
+ ["[0]" random]]
[world
- ["." file]
- ["." program {"+" [Program]}]]]]
+ ["[0]" file]
+ ["[0]" program {"+" [Program]}]]]]
[program
[compositor
- ["." export]]]
+ ["[0]" export]]]
[//
- ["$." install]
- ["$." version]
+ ["$[0]" install]
+ ["$[0]" version]
[//
- ["$." profile]
- ["$." repository]]]
+ ["$[0]" profile]
+ ["$[0]" repository]]]
[\\program
- ["." /
- ["//#" /// "_"
- ["#" profile]
- ["#." action]
- ["#." pom]
- ["#." hash]
- ["#." repository {"+" [Repository]}
- ["#/." remote]]
- ["#." artifact {"+" [Artifact]}
- ["#/." extension]]]]])
+ ["[0]" /
+ ["//[1]" /// "_"
+ ["[1]" profile]
+ ["[1][0]" action]
+ ["[1][0]" pom]
+ ["[1][0]" hash]
+ ["[1][0]" repository {"+" [Repository]}
+ ["[1]/[0]" remote]]
+ ["[1][0]" artifact {"+" [Artifact]}
+ ["[1]/[0]" extension]]]]])
(def: (execute! program repository fs artifact profile)
(-> (Program Async) (Repository Async) (file.System Async)
diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux
index 3047ccb2b..3d563f540 100644
--- a/stdlib/source/test/aedifex/command/deps.lux
+++ b/stdlib/source/test/aedifex/command/deps.lux
@@ -4,53 +4,53 @@
["_" test {"+" [Test]}]
[abstract
[monad {"+" [do]}]
- ["." predicate]]
+ ["[0]" predicate]]
[control
- ["." try]
+ ["[0]" try]
[concurrency
- ["." async]]
+ ["[0]" async]]
[parser
- ["." environment]]]
+ ["[0]" environment]]]
[data
- ["." text ("#\." equivalence)
+ ["[0]" text ("[1]\[0]" equivalence)
["%" format {"+" [format]}]
[encoding
- ["." utf8]]]
+ ["[0]" utf8]]]
[collection
- ["." dictionary]
- ["." set]]
+ ["[0]" dictionary]
+ ["[0]" set]]
[format
- ["." xml]]]
+ ["[0]" xml]]]
[math
- ["." random {"+" [Random]}]]
+ ["[0]" random {"+" [Random]}]]
[world
- ["." program]
- ["." file]]]]
- ["." // "_"
- ["@." version]
- ["$/#" // "_"
- ["#." package]
- ["#." artifact]
- ["#." dependency "_"
- ["#/." resolution]]]]
+ ["[0]" program]
+ ["[0]" file]]]]
+ ["[0]" // "_"
+ ["@[0]" version]
+ ["$/[1]" // "_"
+ ["[1][0]" package]
+ ["[1][0]" artifact]
+ ["[1][0]" dependency "_"
+ ["[1]/[0]" resolution]]]]
[\\program
- ["." /
- ["/#" // "_"
- ["#." clean]
- ["/#" // "_"
- ["#" profile]
- ["#." action]
- ["#." pom]
- ["#." package]
- ["#." artifact
- ["#/." type]]
- ["#." dependency
- ["#/." resolution]
- ["#/." deployment]
- ["#/." status]]
- ["#." repository
- ["#/." origin]
- ["#/." local]]]]]])
+ ["[0]" /
+ ["/[1]" // "_"
+ ["[1][0]" clean]
+ ["/[1]" // "_"
+ ["[1]" profile]
+ ["[1][0]" action]
+ ["[1][0]" pom]
+ ["[1][0]" package]
+ ["[1][0]" artifact
+ ["[1]/[0]" type]]
+ ["[1][0]" dependency
+ ["[1]/[0]" resolution]
+ ["[1]/[0]" deployment]
+ ["[1]/[0]" status]]
+ ["[1][0]" repository
+ ["[1]/[0]" origin]
+ ["[1]/[0]" local]]]]]])
(def: .public test
Test
diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux
index 3fe787e35..8ef29ec92 100644
--- a/stdlib/source/test/aedifex/command/install.lux
+++ b/stdlib/source/test/aedifex/command/install.lux
@@ -3,41 +3,41 @@
[lux "*"
["_" test {"+" [Test]}]
[abstract
- ["." monad {"+" [do]}]]
+ ["[0]" monad {"+" [do]}]]
[control
- ["." try {"+" [Try]} ("#\." functor)]
- ["." exception]
+ ["[0]" try {"+" [Try]} ("[1]\[0]" functor)]
+ ["[0]" exception]
[concurrency
- ["." async {"+" [Async]}]]
+ ["[0]" async {"+" [Async]}]]
[parser
- ["." environment]]]
+ ["[0]" environment]]]
[data
- ["." binary]
- ["." text ("#\." equivalence)
+ ["[0]" binary]
+ ["[0]" text ("[1]\[0]" equivalence)
["%" format {"+" [format]}]]
[collection
- ["." set {"+" [Set]}]]]
+ ["[0]" set {"+" [Set]}]]]
[math
- ["." random]]
+ ["[0]" random]]
[world
- ["." file]
- ["." program {"+" [Program]}]]]]
+ ["[0]" file]
+ ["[0]" program {"+" [Program]}]]]]
[//
- ["$." version]
+ ["$[0]" version]
[//
- ["$." profile]
- ["$." artifact]]]
+ ["$[0]" profile]
+ ["$[0]" artifact]]]
[\\program
- ["." /
- ["/#" // "_"
- ["/#" // "_"
- ["#" profile]
- ["#." action {"+" [Action]}]
- ["#." local]
- ["#." artifact
- ["#/." extension]]
- ["#." repository "_"
- ["#/." local]]]]]])
+ ["[0]" /
+ ["/[1]" // "_"
+ ["/[1]" // "_"
+ ["[1]" profile]
+ ["[1][0]" action {"+" [Action]}]
+ ["[1][0]" local]
+ ["[1][0]" artifact
+ ["[1]/[0]" extension]]
+ ["[1][0]" repository "_"
+ ["[1]/[0]" local]]]]]])
(def: .public (make_sources! fs sources)
(-> (file.System Async) (Set file.Path) (Action (List Any)))
diff --git a/stdlib/source/test/aedifex/command/pom.lux b/stdlib/source/test/aedifex/command/pom.lux
index be5c60598..80676974b 100644
--- a/stdlib/source/test/aedifex/command/pom.lux
+++ b/stdlib/source/test/aedifex/command/pom.lux
@@ -5,30 +5,30 @@
[abstract
[monad {"+" [do]}]]
[control
- ["." try ("#\." functor)]
+ ["[0]" try ("[1]\[0]" functor)]
[concurrency
- ["." async]]]
+ ["[0]" async]]]
[data
- ["." binary ("#\." equivalence)]
- ["." text ("#\." equivalence)
+ ["[0]" binary ("[1]\[0]" equivalence)]
+ ["[0]" text ("[1]\[0]" equivalence)
[encoding
- ["." utf8]]]
+ ["[0]" utf8]]]
[format
- ["." xml]]]
+ ["[0]" xml]]]
[math
- ["." random]]
+ ["[0]" random]]
[world
- ["." file]]]]
+ ["[0]" file]]]]
[//
- ["@." version]
+ ["@[0]" version]
[//
- ["@." profile]]]
+ ["@[0]" profile]]]
[\\program
- ["." /
- ["//#" /// "_"
- ["#" profile]
- ["#." action]
- ["#." pom]]]])
+ ["[0]" /
+ ["//[1]" /// "_"
+ ["[1]" profile]
+ ["[1][0]" action]
+ ["[1][0]" pom]]]])
(def: .public test
Test
diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux
index 6f04ef653..bbcb582b1 100644
--- a/stdlib/source/test/aedifex/command/test.lux
+++ b/stdlib/source/test/aedifex/command/test.lux
@@ -5,39 +5,39 @@
[abstract
[monad {"+" [do]}]]
[control
- ["." try]
- ["." exception]
+ ["[0]" try]
+ ["[0]" exception]
[concurrency
- ["." async]]
+ ["[0]" async]]
[parser
- ["." environment]]]
+ ["[0]" environment]]]
[data
- ["." text ("#\." equivalence)]
+ ["[0]" text ("[1]\[0]" equivalence)]
[collection
- ["." dictionary]
- ["." list]]]
+ ["[0]" dictionary]
+ ["[0]" list]]]
[math
- ["." random]]
+ ["[0]" random]]
[world
- ["." file]
- ["." shell]
- ["." program]]]]
- ["." // "_"
- ["@." version]
- ["@." build]
- ["$/#" // "_"
- ["#." package]]]
+ ["[0]" file]
+ ["[0]" shell]
+ ["[0]" program]]]]
+ ["[0]" // "_"
+ ["@[0]" version]
+ ["@[0]" build]
+ ["$/[1]" // "_"
+ ["[1][0]" package]]]
[\\program
- ["." /
- ["/#" // "_"
- ["#." build]
- ["/#" // "_"
- ["#" profile {"+" [Profile]}]
- ["#." action]
- ["#." artifact
- ["#/." type]]
- ["#." dependency
- ["#/." resolution]]]]]])
+ ["[0]" /
+ ["/[1]" // "_"
+ ["[1][0]" build]
+ ["/[1]" // "_"
+ ["[1]" profile {"+" [Profile]}]
+ ["[1][0]" action]
+ ["[1][0]" artifact
+ ["[1]/[0]" type]]
+ ["[1][0]" dependency
+ ["[1]/[0]" resolution]]]]]])
(def: .public test
Test
diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux
index 74223d02f..1b2b0aa53 100644
--- a/stdlib/source/test/aedifex/command/version.lux
+++ b/stdlib/source/test/aedifex/command/version.lux
@@ -5,28 +5,28 @@
[abstract
[monad {"+" [do]}]]
[control
- ["." maybe]
- ["." try]
- ["." exception {"+" [exception:]}]
+ ["[0]" maybe]
+ ["[0]" try]
+ ["[0]" exception {"+" [exception:]}]
[concurrency
- ["." async {"+" [Async]}]]]
+ ["[0]" async {"+" [Async]}]]]
[data
- ["." text ("#\." equivalence)
+ ["[0]" text ("[1]\[0]" equivalence)
["%" format {"+" [format]}]]]
[math
- ["." random]]
+ ["[0]" random]]
[tool
[compiler
- ["." version]
- ["." language "_"
- ["#/." lux "_"
- ["#" version]]]]]
+ ["[0]" version]
+ ["[0]" language "_"
+ ["[1]/[0]" lux "_"
+ ["[1]" version]]]]]
[world
- ["." console {"+" [Console Mock]}]]]]
+ ["[0]" console {"+" [Console Mock]}]]]]
[///
- ["@." profile]]
+ ["@[0]" profile]]
[\\program
- ["." /]])
+ ["[0]" /]])
(exception: .public console_is_closed!)
diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux
index 0f3eb7db0..370803dfa 100644
--- a/stdlib/source/test/aedifex/dependency.lux
+++ b/stdlib/source/test/aedifex/dependency.lux
@@ -5,15 +5,15 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]
- ["$." order]
- ["$." hash]]]
+ ["$[0]" equivalence]
+ ["$[0]" order]
+ ["$[0]" hash]]]
[math
- ["." random {"+" [Random]}]]]]
+ ["[0]" random {"+" [Random]}]]]]
[//
- ["@." artifact]]
+ ["@[0]" artifact]]
[\\program
- ["." /]])
+ ["[0]" /]])
(def: .public random
(Random /.Dependency)
diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux
index 8dfa5a853..5b7869eab 100644
--- a/stdlib/source/test/aedifex/dependency/deployment.lux
+++ b/stdlib/source/test/aedifex/dependency/deployment.lux
@@ -4,50 +4,50 @@
["_" test {"+" [Test]}]
[abstract
[monad {"+" [do]}]
- ["." hash {"+" [Hash]}]]
+ ["[0]" hash {"+" [Hash]}]]
[control
- ["." io {"+" [IO]}]
- ["." maybe ("#\." functor)]
- ["." try ("#\." functor)]
+ ["[0]" io {"+" [IO]}]
+ ["[0]" maybe ("[1]\[0]" functor)]
+ ["[0]" try ("[1]\[0]" functor)]
[concurrency
- ["." atom {"+" [Atom]}]
- ["." async]]]
+ ["[0]" atom {"+" [Atom]}]
+ ["[0]" async]]]
[data
- ["." product]
- ["." binary {"+" [Binary]} ("#\." equivalence)]
- ["." text
+ ["[0]" product]
+ ["[0]" binary {"+" [Binary]} ("[1]\[0]" equivalence)]
+ ["[0]" text
["%" format {"+" [format]}]]
[collection
- ["." dictionary {"+" [Dictionary]}]
- ["." set]
- ["." list ("#\." mix)]]]
+ ["[0]" dictionary {"+" [Dictionary]}]
+ ["[0]" set]
+ ["[0]" list ("[1]\[0]" mix)]]]
[math
- ["." random {"+" [Random]}]
+ ["[0]" random {"+" [Random]}]
[number
["n" nat]]]
[world
[net {"+" [URL]}
- ["." uri {"+" [URI]}]
- ["." http "_"
- ["#" client]
- ["#/." status]
- ["@#" /]]]]]]
- ["$." //
- ["#/" // "_"
- ["#." package]]]
+ ["[0]" uri {"+" [URI]}]
+ ["[0]" http "_"
+ ["[1]" client]
+ ["[1]/[0]" status]
+ ["@[1]" /]]]]]]
+ ["$[0]" //
+ ["[1]/" // "_"
+ ["[1][0]" package]]]
[\\program
- ["." /
+ ["[0]" /
[// {"+" [Dependency]}
- ["." resolution]
+ ["[0]" resolution]
[//
- ["." profile]
- ["." metadata]
- ["." package {"+" [Package]}]
- ["." artifact {"+" [Artifact]} ("#\." equivalence)
- ["#/." type]
- ["#/." extension]]
- ["." repository
- ["." remote]]]]]])
+ ["[0]" profile]
+ ["[0]" metadata]
+ ["[0]" package {"+" [Package]}]
+ ["[0]" artifact {"+" [Artifact]} ("[1]\[0]" equivalence)
+ ["[1]/[0]" type]
+ ["[1]/[0]" extension]]
+ ["[0]" repository
+ ["[0]" remote]]]]]])
(def: good_upload
(@http.Response IO)
diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index 7297b99ee..2fe39286d 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -4,49 +4,49 @@
["_" test {"+" [Test]}]
[abstract
[monad {"+" [do]}]
- ["." predicate]
+ ["[0]" predicate]
[\\specification
- ["$." equivalence]]]
+ ["$[0]" equivalence]]]
[control
- ["." try]
- ["." exception]
+ ["[0]" try]
+ ["[0]" exception]
[concurrency
- ["." async]]]
+ ["[0]" async]]]
[data
[binary {"+" [Binary]}]
- ["." product]
- ["." text
+ ["[0]" product]
+ ["[0]" text
["%" format {"+" [format]}]
[encoding
- ["." utf8]]]
+ ["[0]" utf8]]]
[format
- ["." xml]]
+ ["[0]" xml]]
[collection
- ["." dictionary]
- ["." set]
- ["." list]]]
+ ["[0]" dictionary]
+ ["[0]" set]
+ ["[0]" list]]]
[math
- ["." random {"+" [Random]}]]]]
- ["$." /// "_"
- ["#." package]
- ["#." repository]
- ["#." artifact]
+ ["[0]" random {"+" [Random]}]]]]
+ ["$[0]" /// "_"
+ ["[1][0]" package]
+ ["[1][0]" repository]
+ ["[1][0]" artifact]
[command
- ["#." version]]]
+ ["[1][0]" version]]]
[\\program
- ["." /
- ["//#" /// "_"
- ["#" profile]
- ["#." package {"+" [Package]}]
- ["#." hash]
- ["#." dependency {"+" [Dependency]} ("#\." equivalence)
- ["#/." status]]
- ["#." pom]
- ["#." artifact {"+" [Artifact]}
- ["#/." type]
- ["#/." extension]]
- ["#." repository {"+" [Mock]}
- ["#/." origin]]]]])
+ ["[0]" /
+ ["//[1]" /// "_"
+ ["[1]" profile]
+ ["[1][0]" package {"+" [Package]}]
+ ["[1][0]" hash]
+ ["[1][0]" dependency {"+" [Dependency]} ("[1]\[0]" equivalence)
+ ["[1]/[0]" status]]
+ ["[1][0]" pom]
+ ["[1][0]" artifact {"+" [Artifact]}
+ ["[1]/[0]" type]
+ ["[1]/[0]" extension]]
+ ["[1][0]" repository {"+" [Mock]}
+ ["[1]/[0]" origin]]]]])
(def: random
(Random /.Resolution)
diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux
index 65bd7161e..981f18b0e 100644
--- a/stdlib/source/test/aedifex/dependency/status.lux
+++ b/stdlib/source/test/aedifex/dependency/status.lux
@@ -5,18 +5,18 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]]]
+ ["$[0]" equivalence]]]
[data
- ["." binary "_"
- ["#T" \\test]]]
+ ["[0]" binary "_"
+ ["[1]T" \\test]]]
[math
- ["." random {"+" [Random]} ("#\." monad)]]]]
- ["$." /// "_"
- ["#." hash]]
+ ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]]]]
+ ["$[0]" /// "_"
+ ["[1][0]" hash]]
[\\program
- ["." /
- ["//#" /// "_"
- ["#." hash]]]])
+ ["[0]" /
+ ["//[1]" /// "_"
+ ["[1][0]" hash]]]])
(def: .public random
(Random /.Status)
diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux
index 94608cf7b..a3220b756 100644
--- a/stdlib/source/test/aedifex/hash.lux
+++ b/stdlib/source/test/aedifex/hash.lux
@@ -5,25 +5,25 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]
- ["$." codec]]]
+ ["$[0]" equivalence]
+ ["$[0]" codec]]]
[control
- ["." try]
- ["." exception]]
+ ["[0]" try]
+ ["[0]" exception]]
[data
- ["." binary {"+" [Binary]}]
+ ["[0]" binary {"+" [Binary]}]
[text
["%" format {"+" [format]}]]]
[math
- ["." random {"+" [Random]}]
+ ["[0]" random {"+" [Random]}]
[number
["n" nat]]]]]
[\\program
- ["." /]]
+ ["[0]" /]]
[test
[lux
[data
- ["_." binary]]]])
+ ["_[0]" binary]]]])
(def: .public (random hash)
(All (_ h)
diff --git a/stdlib/source/test/aedifex/input.lux b/stdlib/source/test/aedifex/input.lux
index b725272e9..cf7f59840 100644
--- a/stdlib/source/test/aedifex/input.lux
+++ b/stdlib/source/test/aedifex/input.lux
@@ -5,29 +5,29 @@
[abstract
[monad {"+" [do]}]]
[control
- ["." try {"+" [Try]}]
+ ["[0]" try {"+" [Try]}]
[concurrency
- ["." async {"+" [Async]}]]]
+ ["[0]" async {"+" [Async]}]]]
[data
[text
["%" format]
[encoding
- ["." utf8]]]
+ ["[0]" utf8]]]
[collection
- ["." set {"+" [Set]}]]]
+ ["[0]" set {"+" [Set]}]]]
[math
- ["." random]]
+ ["[0]" random]]
[world
- ["." file]]]]
+ ["[0]" file]]]]
[//
- ["$." profile]]
+ ["$[0]" profile]]
[\\program
- ["." /
- ["/#" // "_"
- ["#" profile {"+" [Profile]}]
- ["#." project]
- ["#." action]
- ["#." format]
+ ["[0]" /
+ ["/[1]" // "_"
+ ["[1]" profile {"+" [Profile]}]
+ ["[1][0]" project]
+ ["[1][0]" action]
+ ["[1][0]" format]
[repository
[remote {"+" [Address]}]]]]])
diff --git a/stdlib/source/test/aedifex/local.lux b/stdlib/source/test/aedifex/local.lux
index 8a6de8dcd..bd49df4c8 100644
--- a/stdlib/source/test/aedifex/local.lux
+++ b/stdlib/source/test/aedifex/local.lux
@@ -5,15 +5,15 @@
[abstract
[monad {"+" [do]}]]
[data
- ["." text]]
+ ["[0]" text]]
[math
- ["." random {"+" [Random]}]]]]
+ ["[0]" random {"+" [Random]}]]]]
[//
- ["@." artifact]]
+ ["@[0]" artifact]]
[\\program
- ["." /
- ["/#" // "_"
- ["#." artifact]]]])
+ ["[0]" /
+ ["/[1]" // "_"
+ ["[1][0]" artifact]]]])
(def: .public test
Test
diff --git a/stdlib/source/test/aedifex/metadata.lux b/stdlib/source/test/aedifex/metadata.lux
index ad9460154..79ced5b8f 100644
--- a/stdlib/source/test/aedifex/metadata.lux
+++ b/stdlib/source/test/aedifex/metadata.lux
@@ -5,16 +5,16 @@
[abstract
[monad {"+" [do]}]]
[data
- ["." text ("#\." equivalence)]]
+ ["[0]" text ("[1]\[0]" equivalence)]]
[math
- ["." random]]]]
- ["." / "_"
- ["#." artifact]
- ["#." snapshot]
+ ["[0]" random]]]]
+ ["[0]" / "_"
+ ["[1][0]" artifact]
+ ["[1][0]" snapshot]
[//
- ["$." artifact]]]
+ ["$[0]" artifact]]]
[\\program
- ["." /]])
+ ["[0]" /]])
(def: .public test
Test
diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux
index 544da4d3c..0f0188ea3 100644
--- a/stdlib/source/test/aedifex/metadata/artifact.lux
+++ b/stdlib/source/test/aedifex/metadata/artifact.lux
@@ -5,41 +5,41 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]]]
+ ["$[0]" equivalence]]]
[control
- ["." maybe]
- ["." try ("#\." functor)]
+ ["[0]" maybe]
+ ["[0]" try ("[1]\[0]" functor)]
[parser
- ["." environment]
- ["<.>" xml]]
+ ["[0]" environment]
+ ["<[0]>" xml]]
[concurrency
- ["." async]]]
+ ["[0]" async]]]
[data
- ["." text ("#\." equivalence)]
+ ["[0]" text ("[1]\[0]" equivalence)]
[collection
- ["." list]]]
+ ["[0]" list]]]
[macro
- ["." code]]
+ ["[0]" code]]
[math
- ["." random {"+" [Random]}]
+ ["[0]" random {"+" [Random]}]
[number
["n" nat]]]
- ["." time
- ["." date]
- ["." year]
- ["." month]
- ["." instant]
- ["." duration]]
+ ["[0]" time
+ ["[0]" date]
+ ["[0]" year]
+ ["[0]" month]
+ ["[0]" instant]
+ ["[0]" duration]]
[world
- ["." file]
- ["." program]]]]
+ ["[0]" file]
+ ["[0]" program]]]]
[\\program
- ["." /
- ["/#" //
- ["/#" // "_"
- ["#." artifact]
- ["#." repository "_"
- ["#/." local]]]]]])
+ ["[0]" /
+ ["/[1]" //
+ ["/[1]" // "_"
+ ["[1][0]" artifact]
+ ["[1][0]" repository "_"
+ ["[1]/[0]" local]]]]]])
(def: .public random
(Random /.Metadata)
diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux
index 2c4866c2c..39d16bd27 100644
--- a/stdlib/source/test/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/test/aedifex/metadata/snapshot.lux
@@ -5,49 +5,49 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]]]
+ ["$[0]" equivalence]]]
[control
- ["." maybe]
- ["." try ("#\." functor)]
+ ["[0]" maybe]
+ ["[0]" try ("[1]\[0]" functor)]
[parser
- ["." environment]
- ["<.>" xml]]
+ ["[0]" environment]
+ ["<[0]>" xml]]
[concurrency
- ["." async]]]
+ ["[0]" async]]]
[data
- ["." text ("#\." equivalence)]
+ ["[0]" text ("[1]\[0]" equivalence)]
[collection
- ["." list]]]
+ ["[0]" list]]]
[macro
- ["." code]]
+ ["[0]" code]]
[math
- ["." random {"+" [Random]} ("#\." monad)]
+ ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]
[number
["n" nat]]]
- ["." time
- ["." date]
- ["." year]
- ["." month]
- ["." instant {"+" [Instant]}]
- ["." duration]]
+ ["[0]" time
+ ["[0]" date]
+ ["[0]" year]
+ ["[0]" month]
+ ["[0]" instant {"+" [Instant]}]
+ ["[0]" duration]]
[world
- ["." file]
- ["." program]]]]
- ["$." /// "_"
- ["#." artifact
- ["#/." type]
- ["#/." time]
- ["#/." snapshot "_"
- ["#/." version]]]]
+ ["[0]" file]
+ ["[0]" program]]]]
+ ["$[0]" /// "_"
+ ["[1][0]" artifact
+ ["[1]/[0]" type]
+ ["[1]/[0]" time]
+ ["[1]/[0]" snapshot "_"
+ ["[1]/[0]" version]]]]
[\\program
- ["." /
- ["/#" //
- ["/#" // "_"
+ ["[0]" /
+ ["/[1]" //
+ ["/[1]" // "_"
[artifact
[versioning {"+" [Versioning]}]
- ["#." snapshot]]
- ["#." repository "_"
- ["#/." local]]]]]])
+ ["[1][0]" snapshot]]
+ ["[1][0]" repository "_"
+ ["[1]/[0]" local]]]]]])
(def: random_instant
(Random Instant)
diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux
index a7bc7d00a..61153b8ad 100644
--- a/stdlib/source/test/aedifex/package.lux
+++ b/stdlib/source/test/aedifex/package.lux
@@ -5,40 +5,40 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]]]
+ ["$[0]" equivalence]]]
[control
- ["." try]]
+ ["[0]" try]]
[data
- ["." product]
- ["." text
+ ["[0]" product]
+ ["[0]" text
[encoding
- ["." utf8]]]
+ ["[0]" utf8]]]
[format
- ["." xml {"+" [XML]}]]
+ ["[0]" xml {"+" [XML]}]]
[collection
- ["." set {"+" [Set]}]]]
+ ["[0]" set {"+" [Set]}]]]
[math
- ["." random {"+" [Random]}]
+ ["[0]" random {"+" [Random]}]
[number
["n" nat]]]
[world
- ["." file]]]]
+ ["[0]" file]]]]
[//
- ["$." profile]
+ ["$[0]" profile]
[//
[lux
[data
- ["$." binary]]]]]
+ ["$[0]" binary]]]]]
[\\program
- ["." /
- ["/#" // "_"
- ["#" profile]
- ["#." hash ("#\." equivalence)]
- ["#." pom]
+ ["[0]" /
+ ["/[1]" // "_"
+ ["[1]" profile]
+ ["[1][0]" hash ("[1]\[0]" equivalence)]
+ ["[1][0]" pom]
[dependency
- ["#." status]]
+ ["[1][0]" status]]
[repository
- ["#." origin]]]]])
+ ["[1][0]" origin]]]]])
(def: .public random
(Random [//.Profile /.Package])
diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux
index 1d8c6c1b4..1152a1dba 100644
--- a/stdlib/source/test/aedifex/parser.lux
+++ b/stdlib/source/test/aedifex/parser.lux
@@ -7,31 +7,31 @@
[hash {"+" [Hash]}]]
[control
[pipe {"+" [case>]}]
- ["." try]
+ ["[0]" try]
[parser
- ["<.>" code]]]
+ ["<[0]>" code]]]
[data
- ["." text]
+ ["[0]" text]
[collection
- ["." set {"+" [Set]}]
- ["." dictionary {"+" [Dictionary]}]
- ["." list ("#\." functor)]]]
+ ["[0]" set {"+" [Set]}]
+ ["[0]" dictionary {"+" [Dictionary]}]
+ ["[0]" list ("[1]\[0]" functor)]]]
[math
- ["." random {"+" [Random]}]
+ ["[0]" random {"+" [Random]}]
[number
["n" nat]]]
[macro
- ["." code]]]]
+ ["[0]" code]]]]
[//
- ["@." profile]]
+ ["@[0]" profile]]
[\\program
- ["." /
- ["/#" // "_"
- ["#" profile]
- ["#." project {"+" [Project]}]
- ["#." artifact {"+" [Artifact]}]
- ["#." dependency {"+" [Dependency]}]
- ["#." format]]]])
+ ["[0]" /
+ ["/[1]" // "_"
+ ["[1]" profile]
+ ["[1][0]" project {"+" [Project]}]
+ ["[1][0]" artifact {"+" [Artifact]}]
+ ["[1][0]" dependency {"+" [Dependency]}]
+ ["[1][0]" format]]]])
(def: name
(Random //.Name)
diff --git a/stdlib/source/test/aedifex/pom.lux b/stdlib/source/test/aedifex/pom.lux
index f53bb2404..92f13bd4f 100644
--- a/stdlib/source/test/aedifex/pom.lux
+++ b/stdlib/source/test/aedifex/pom.lux
@@ -5,22 +5,22 @@
[abstract
[monad {"+" [do]}]]
[control
- ["." try]
- ["." exception]
+ ["[0]" try]
+ ["[0]" exception]
["<>" parser
- ["<.>" xml]]]
+ ["<[0]>" xml]]]
[data
- ["." text ("#\." equivalence)]
+ ["[0]" text ("[1]\[0]" equivalence)]
[format
- ["." xml]]]
+ ["[0]" xml]]]
[math
- ["." random]]]]
+ ["[0]" random]]]]
[//
- ["@." profile]]
+ ["@[0]" profile]]
[\\program
- ["." /
- ["/#" // "_"
- ["#" profile]]]])
+ ["[0]" /
+ ["/[1]" // "_"
+ ["[1]" profile]]]])
(def: .public test
Test
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index 728971bbf..7a0bcb279 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -6,31 +6,31 @@
[monad {"+" [do]}]
[hash {"+" [Hash]}]
[\\specification
- ["$." equivalence]
- ["$." monoid]]]
+ ["$[0]" equivalence]
+ ["$[0]" monoid]]]
[control
[pipe {"+" [case>]}]
- ["." try]
+ ["[0]" try]
[parser
- ["." cli]]]
+ ["[0]" cli]]]
[data
- ["." text ("#\." equivalence)]
+ ["[0]" text ("[1]\[0]" equivalence)]
[collection
- ["." set {"+" [Set]}]
- ["." dictionary {"+" [Dictionary]}]]]
+ ["[0]" set {"+" [Set]}]
+ ["[0]" dictionary {"+" [Dictionary]}]]]
[math
- ["." random {"+" [Random]} ("#\." monad)]
+ ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]
[number
["n" nat]]]]]
[//
- ["@." artifact]
- ["@." dependency]]
+ ["@[0]" artifact]
+ ["@[0]" dependency]]
[\\program
- ["." /
- ["/#" // "_"
- ["#." runtime]
- ["#." dependency {"+" [Dependency]}]
- ["#." format]
+ ["[0]" /
+ ["/[1]" // "_"
+ ["[1][0]" runtime]
+ ["[1][0]" dependency {"+" [Dependency]}]
+ ["[1][0]" format]
[repository
[remote {"+" [Address]}]]]]])
diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux
index 2e7eab542..94e61bd7c 100644
--- a/stdlib/source/test/aedifex/project.lux
+++ b/stdlib/source/test/aedifex/project.lux
@@ -5,24 +5,24 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]
- ["$." monoid]]]
+ ["$[0]" equivalence]
+ ["$[0]" monoid]]]
[control
- ["." try ("#\." functor)]
- ["." exception]]
+ ["[0]" try ("[1]\[0]" functor)]
+ ["[0]" exception]]
[data
- ["." product]
- ["." text ("#\." equivalence)]]
+ ["[0]" product]
+ ["[0]" text ("[1]\[0]" equivalence)]]
[math
- ["." random {"+" [Random]} ("#\." monad)]
+ ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]
[number
["n" nat]]]]]
[//
- ["@." profile]]
+ ["@[0]" profile]]
[\\program
- ["." /
- ["/#" // "_"
- ["#" profile]]]])
+ ["[0]" /
+ ["/[1]" // "_"
+ ["[1]" profile]]]])
(def: profile
(Random [//.Name //.Profile])
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))
diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux
index 4653f7c11..0e5b72b01 100644
--- a/stdlib/source/test/aedifex/runtime.lux
+++ b/stdlib/source/test/aedifex/runtime.lux
@@ -5,20 +5,20 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]]]
+ ["$[0]" equivalence]]]
[control
- ["." maybe ("#\." functor)]]
+ ["[0]" maybe ("[1]\[0]" functor)]]
[data
- ["." text ("#\." equivalence)]
+ ["[0]" text ("[1]\[0]" equivalence)]
[collection
- ["." list ("#\." functor)]
- ["." set]]]
+ ["[0]" list ("[1]\[0]" functor)]
+ ["[0]" set]]]
[math
- ["." random {"+" [Random]} ("#\." monad)]
+ ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]
[number
["n" nat]]]]]
[\\program
- ["." /]])
+ ["[0]" /]])
(def: .public random
(Random /.Runtime)