aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex
diff options
context:
space:
mode:
authorEduardo Julian2022-06-04 02:28:47 -0400
committerEduardo Julian2022-06-04 02:28:47 -0400
commit56d2835d35093e2d92c5e8a4371aa322b55e037b (patch)
tree1c7949355baeae92e2f6e02f9104739ddb10ff73 /stdlib/source/test/aedifex
parentf2172051a91bbb2578918dc784a053a321849b63 (diff)
Extensible import syntax [Part 6]
Diffstat (limited to 'stdlib/source/test/aedifex')
-rw-r--r--stdlib/source/test/aedifex/artifact.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/extension.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/build.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/stamp.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/time.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version/value.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/time.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/time/date.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/time/time.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/type.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/versioning.lux2
-rw-r--r--stdlib/source/test/aedifex/cache.lux2
-rw-r--r--stdlib/source/test/aedifex/cli.lux2
-rw-r--r--stdlib/source/test/aedifex/command/build.lux2
-rw-r--r--stdlib/source/test/aedifex/command/clean.lux4
-rw-r--r--stdlib/source/test/aedifex/command/deploy.lux4
-rw-r--r--stdlib/source/test/aedifex/command/deps.lux2
-rw-r--r--stdlib/source/test/aedifex/command/install.lux4
-rw-r--r--stdlib/source/test/aedifex/command/pom.lux6
-rw-r--r--stdlib/source/test/aedifex/command/test.lux2
-rw-r--r--stdlib/source/test/aedifex/command/version.lux2
-rw-r--r--stdlib/source/test/aedifex/dependency/deployment.lux10
-rw-r--r--stdlib/source/test/aedifex/dependency/resolution.lux2
-rw-r--r--stdlib/source/test/aedifex/dependency/status.lux2
-rw-r--r--stdlib/source/test/aedifex/metadata.lux2
-rw-r--r--stdlib/source/test/aedifex/metadata/artifact.lux4
-rw-r--r--stdlib/source/test/aedifex/metadata/snapshot.lux6
-rw-r--r--stdlib/source/test/aedifex/package.lux2
-rw-r--r--stdlib/source/test/aedifex/parser.lux2
-rw-r--r--stdlib/source/test/aedifex/pom.lux2
-rw-r--r--stdlib/source/test/aedifex/profile.lux4
-rw-r--r--stdlib/source/test/aedifex/project.lux6
-rw-r--r--stdlib/source/test/aedifex/repository/local.lux4
-rw-r--r--stdlib/source/test/aedifex/repository/remote.lux8
-rw-r--r--stdlib/source/test/aedifex/runtime.lux8
37 files changed, 64 insertions, 64 deletions
diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index e16c5f534..aefe175f4 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -10,7 +10,7 @@
["$[0]" order]
["$[0]" hash]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random (.only Random)]]
[world
diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux
index 130065193..d8bfd8267 100644
--- a/stdlib/source/test/aedifex/artifact/extension.lux
+++ b/stdlib/source/test/aedifex/artifact/extension.lux
@@ -5,7 +5,7 @@
[abstract
[monad (.only do)]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
["[0]" set]
["[0]" list]]]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux
index e0c7ffc4b..5379dd8af 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot.lux
@@ -7,11 +7,11 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["<[0]>" xml]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]]]]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]]]
["$[0]" /
["[1][0]" build]
["[1][0]" stamp]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
index 96c41ce36..2775467c9 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
@@ -7,7 +7,7 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["<[0]>" xml]]]
[math
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
index fc9488004..e097f5420 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
@@ -7,7 +7,7 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["<[0]>" xml]]]
[math
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
index 65f17c8a4..28dd249cc 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
@@ -7,7 +7,7 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["<[0]>" text]]]
[math
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
index 39883cb64..7ba555256 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
@@ -7,7 +7,7 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["<[0]>" xml]]]
[math
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index 9441be139..27ef6062c 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
@@ -7,14 +7,14 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["<[0]>" text]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]
["i" int]]]
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index 81b04c07d..366ec1955 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -7,11 +7,11 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["<[0]>" text]]]
[time
- ["[0]" instant ("[1]#[0]" equivalence)]]
+ ["[0]" instant (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random (.only Random)]
[number
diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux
index 4f997fef1..12c4a0da1 100644
--- a/stdlib/source/test/aedifex/artifact/time/date.lux
+++ b/stdlib/source/test/aedifex/artifact/time/date.lux
@@ -7,7 +7,7 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
["[0]" exception]
[parser
["<[0]>" text]]]
@@ -17,7 +17,7 @@
["n" nat]
["i" int]]]
[time
- ["[0]" date ("[1]#[0]" equivalence)]
+ ["[0]" date (.open: "[1]#[0]" equivalence)]
["[0]" year]]]]
[\\program
["[0]" /]])
diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux
index 60dda35c0..c3b866451 100644
--- a/stdlib/source/test/aedifex/artifact/time/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time/time.lux
@@ -6,7 +6,7 @@
[abstract
[monad (.only do)]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["<[0]>" text]]]
[math
diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux
index de596592b..a2b5926e5 100644
--- a/stdlib/source/test/aedifex/artifact/type.lux
+++ b/stdlib/source/test/aedifex/artifact/type.lux
@@ -10,7 +10,7 @@
["[0]" set]
["[0]" list]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]]]]]
[\\program
diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux
index 6a8e29a08..006ec6566 100644
--- a/stdlib/source/test/aedifex/artifact/versioning.lux
+++ b/stdlib/source/test/aedifex/artifact/versioning.lux
@@ -7,7 +7,7 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["<[0]>" xml]]]
[math
diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux
index 13b8e27d4..de334b03d 100644
--- a/stdlib/source/test/aedifex/cache.lux
+++ b/stdlib/source/test/aedifex/cache.lux
@@ -19,7 +19,7 @@
["[0]" set]
["[0]" dictionary]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]]]
[world
diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux
index 6f3d257c6..9cc571bbe 100644
--- a/stdlib/source/test/aedifex/cli.lux
+++ b/stdlib/source/test/aedifex/cli.lux
@@ -16,7 +16,7 @@
[collection
["[0]" list]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]]]]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]]]
[\\program
["[0]" / (.only)
["/[1]" //
diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux
index 176acc46b..1bb77d307 100644
--- a/stdlib/source/test/aedifex/command/build.lux
+++ b/stdlib/source/test/aedifex/command/build.lux
@@ -14,7 +14,7 @@
[parser
["[0]" environment]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
["[0]" dictionary]]]
[math
diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux
index 73ad4bcd2..e7bf81855 100644
--- a/stdlib/source/test/aedifex/command/clean.lux
+++ b/stdlib/source/test/aedifex/command/clean.lux
@@ -11,10 +11,10 @@
[data
[binary (.only Binary)]
["[0]" product]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]
[collection
- ["[0]" list ("[1]#[0]" functor)]
+ ["[0]" list (.open: "[1]#[0]" functor)]
["[0]" set]]]
[math
["[0]" random (.only Random)]
diff --git a/stdlib/source/test/aedifex/command/deploy.lux b/stdlib/source/test/aedifex/command/deploy.lux
index ade7ffc6f..0a4e08166 100644
--- a/stdlib/source/test/aedifex/command/deploy.lux
+++ b/stdlib/source/test/aedifex/command/deploy.lux
@@ -12,8 +12,8 @@
[parser
["[0]" environment]]]
[data
- ["[0]" binary ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" binary (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]
[encoding
["[0]" utf8]]]
diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux
index c4cf1bcf0..c5e496e29 100644
--- a/stdlib/source/test/aedifex/command/deps.lux
+++ b/stdlib/source/test/aedifex/command/deps.lux
@@ -12,7 +12,7 @@
[parser
["[0]" environment]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]
[encoding
["[0]" utf8]]]
diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux
index 7fa9463f7..4de5c5226 100644
--- a/stdlib/source/test/aedifex/command/install.lux
+++ b/stdlib/source/test/aedifex/command/install.lux
@@ -5,7 +5,7 @@
[abstract
["[0]" monad (.only do)]]
[control
- ["[0]" try (.only Try) ("[1]#[0]" functor)]
+ ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]
["[0]" exception]
[concurrency
["[0]" async (.only Async)]]
@@ -13,7 +13,7 @@
["[0]" environment]]]
[data
["[0]" binary]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]
[collection
["[0]" set (.only Set)]]]
diff --git a/stdlib/source/test/aedifex/command/pom.lux b/stdlib/source/test/aedifex/command/pom.lux
index 76eb99b89..75509644d 100644
--- a/stdlib/source/test/aedifex/command/pom.lux
+++ b/stdlib/source/test/aedifex/command/pom.lux
@@ -5,12 +5,12 @@
[abstract
[monad (.only do)]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[concurrency
["[0]" async]]]
[data
- ["[0]" binary ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" binary (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)
[encoding
["[0]" utf8]]]
[format
diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux
index a6237f970..50bd8e183 100644
--- a/stdlib/source/test/aedifex/command/test.lux
+++ b/stdlib/source/test/aedifex/command/test.lux
@@ -12,7 +12,7 @@
[parser
["[0]" environment]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
["[0]" dictionary]
["[0]" list]]]
diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux
index 9bdb03cc7..fbd864d4b 100644
--- a/stdlib/source/test/aedifex/command/version.lux
+++ b/stdlib/source/test/aedifex/command/version.lux
@@ -11,7 +11,7 @@
[concurrency
["[0]" async (.only Async)]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]]
[math
["[0]" random]]
diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux
index cd8c2172e..ab15af81c 100644
--- a/stdlib/source/test/aedifex/dependency/deployment.lux
+++ b/stdlib/source/test/aedifex/dependency/deployment.lux
@@ -7,20 +7,20 @@
["[0]" hash (.only Hash)]]
[control
["[0]" io (.only IO)]
- ["[0]" maybe ("[1]#[0]" functor)]
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" maybe (.open: "[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[concurrency
["[0]" atom (.only Atom)]
["[0]" async]]]
[data
["[0]" product]
- ["[0]" binary (.only Binary) ("[1]#[0]" equivalence)]
+ ["[0]" binary (.only Binary) (.open: "[1]#[0]" equivalence)]
["[0]" text (.only)
["%" format (.only format)]]
[collection
["[0]" dictionary (.only Dictionary)]
["[0]" set]
- ["[0]" list ("[1]#[0]" mix)]]]
+ ["[0]" list (.open: "[1]#[0]" mix)]]]
[math
["[0]" random (.only Random)]
[number
@@ -43,7 +43,7 @@
["[0]" profile]
["[0]" metadata]
["[0]" package (.only Package)]
- ["[0]" artifact (.only Artifact) ("[1]#[0]" equivalence)
+ ["[0]" artifact (.only Artifact) (.open: "[1]#[0]" equivalence)
["[1]/[0]" type]
["[1]/[0]" extension]]
["[0]" repository (.only)
diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index 666bd0c53..eaec8b475 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -39,7 +39,7 @@
["[1]" profile]
["[1][0]" package (.only Package)]
["[1][0]" hash]
- ["[1][0]" dependency (.only Dependency) ("[1]#[0]" equivalence)
+ ["[1][0]" dependency (.only Dependency) (.open: "[1]#[0]" equivalence)
["[1]/[0]" status]]
["[1][0]" pom]
["[1][0]" artifact (.only Artifact)
diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux
index c6b6abe9a..6b59fa394 100644
--- a/stdlib/source/test/aedifex/dependency/status.lux
+++ b/stdlib/source/test/aedifex/dependency/status.lux
@@ -10,7 +10,7 @@
["[0]" binary
["[1]T" \\test]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]]]]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]]]
["$[0]" ///
["[1][0]" hash]]
[\\program
diff --git a/stdlib/source/test/aedifex/metadata.lux b/stdlib/source/test/aedifex/metadata.lux
index b10f192fd..bdac5dfac 100644
--- a/stdlib/source/test/aedifex/metadata.lux
+++ b/stdlib/source/test/aedifex/metadata.lux
@@ -5,7 +5,7 @@
[abstract
[monad (.only do)]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random]]]]
["[0]" /
diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux
index 34b98590a..34869e646 100644
--- a/stdlib/source/test/aedifex/metadata/artifact.lux
+++ b/stdlib/source/test/aedifex/metadata/artifact.lux
@@ -8,14 +8,14 @@
["$[0]" equivalence]]]
[control
["[0]" maybe]
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["[0]" environment]
["<[0]>" xml]]
[concurrency
["[0]" async]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
["[0]" list]]]
[macro
diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux
index 136e488c8..c45b817cd 100644
--- a/stdlib/source/test/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/test/aedifex/metadata/snapshot.lux
@@ -8,20 +8,20 @@
["$[0]" equivalence]]]
[control
["[0]" maybe]
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["[0]" environment]
["<[0]>" xml]]
[concurrency
["[0]" async]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
["[0]" list]]]
[macro
["[0]" code]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]]]
["[0]" time (.only)
diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux
index ead5ce5be..6a7f0a960 100644
--- a/stdlib/source/test/aedifex/package.lux
+++ b/stdlib/source/test/aedifex/package.lux
@@ -33,7 +33,7 @@
["[0]" / (.only)
["/[1]" //
["[1]" profile]
- ["[1][0]" hash ("[1]#[0]" equivalence)]
+ ["[1][0]" hash (.open: "[1]#[0]" equivalence)]
["[1][0]" pom]
[dependency
["[1][0]" status]]
diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux
index 6b53ab371..050d3daef 100644
--- a/stdlib/source/test/aedifex/parser.lux
+++ b/stdlib/source/test/aedifex/parser.lux
@@ -15,7 +15,7 @@
[collection
["[0]" set (.only Set)]
["[0]" dictionary (.only Dictionary)]
- ["[0]" list ("[1]#[0]" functor)]]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]]
[math
["[0]" random (.only Random)]
[number
diff --git a/stdlib/source/test/aedifex/pom.lux b/stdlib/source/test/aedifex/pom.lux
index fbc7d12b2..3a58b340c 100644
--- a/stdlib/source/test/aedifex/pom.lux
+++ b/stdlib/source/test/aedifex/pom.lux
@@ -10,7 +10,7 @@
["<>" parser (.only)
["<[0]>" xml]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[format
["[0]" xml]]]
[math
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index a77cb4c7e..d45ac5fa9 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -13,12 +13,12 @@
[parser
["[0]" cli]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
["[0]" set (.only Set)]
["[0]" dictionary (.only Dictionary)]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]]]
[tool
diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux
index 8a52a39b8..61afbc9da 100644
--- a/stdlib/source/test/aedifex/project.lux
+++ b/stdlib/source/test/aedifex/project.lux
@@ -8,13 +8,13 @@
["$[0]" equivalence]
["$[0]" monoid]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
["[0]" exception]]
[data
["[0]" product]
- ["[0]" text ("[1]#[0]" equivalence)]]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]]]]]
[//
diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux
index e8737c5cc..160410bc4 100644
--- a/stdlib/source/test/aedifex/repository/local.lux
+++ b/stdlib/source/test/aedifex/repository/local.lux
@@ -5,13 +5,13 @@
[abstract
[monad (.only do)]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["[0]" environment]]
[concurrency
["[0]" async]]]
[data
- ["[0]" binary ("[1]#[0]" equivalence)]
+ ["[0]" binary (.open: "[1]#[0]" equivalence)]
[text
[encoding
["[0]" utf8]]]]
diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux
index 72c042fd7..50ae42a09 100644
--- a/stdlib/source/test/aedifex/repository/remote.lux
+++ b/stdlib/source/test/aedifex/repository/remote.lux
@@ -6,13 +6,13 @@
[monad (.only do)]]
[control
["[0]" io (.only IO)]
- ["[0]" maybe ("[1]#[0]" functor)]
- ["[0]" try ("[1]#[0]" monad)]
+ ["[0]" maybe (.open: "[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" monad)]
["[0]" exception]
["[0]" function]]
[data
- ["[0]" binary ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" binary (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]
[encoding
["[0]" utf8]]]
diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux
index 78ba09d07..a1ba22588 100644
--- a/stdlib/source/test/aedifex/runtime.lux
+++ b/stdlib/source/test/aedifex/runtime.lux
@@ -7,14 +7,14 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" maybe ("[1]#[0]" functor)]]
+ ["[0]" maybe (.open: "[1]#[0]" functor)]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
- ["[0]" list ("[1]#[0]" functor)]
+ ["[0]" list (.open: "[1]#[0]" functor)]
["[0]" set]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]]]]]
[\\program