aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/artifact
diff options
context:
space:
mode:
Diffstat (limited to '')
-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
13 files changed, 110 insertions, 110 deletions
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)
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-27 03:15:00 +0000