aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/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/program/aedifex
parentf2172051a91bbb2578918dc784a053a321849b63 (diff)
Extensible import syntax [Part 6]
Diffstat (limited to 'stdlib/source/program/aedifex')
-rw-r--r--stdlib/source/program/aedifex/artifact.lux4
-rw-r--r--stdlib/source/program/aedifex/artifact/time/date.lux2
-rw-r--r--stdlib/source/program/aedifex/artifact/versioning.lux2
-rw-r--r--stdlib/source/program/aedifex/command/build.lux8
-rw-r--r--stdlib/source/program/aedifex/command/deps.lux2
-rw-r--r--stdlib/source/program/aedifex/command/pom.lux4
-rw-r--r--stdlib/source/program/aedifex/command/test.lux2
-rw-r--r--stdlib/source/program/aedifex/dependency.lux4
-rw-r--r--stdlib/source/program/aedifex/dependency/deployment.lux2
-rw-r--r--stdlib/source/program/aedifex/dependency/resolution.lux4
-rw-r--r--stdlib/source/program/aedifex/format.lux4
-rw-r--r--stdlib/source/program/aedifex/metadata/artifact.lux2
-rw-r--r--stdlib/source/program/aedifex/metadata/snapshot.lux2
-rw-r--r--stdlib/source/program/aedifex/package.lux2
-rw-r--r--stdlib/source/program/aedifex/parser.lux2
-rw-r--r--stdlib/source/program/aedifex/pom.lux4
-rw-r--r--stdlib/source/program/aedifex/profile.lux12
-rw-r--r--stdlib/source/program/aedifex/project.lux2
-rw-r--r--stdlib/source/program/aedifex/runtime.lux2
19 files changed, 33 insertions, 33 deletions
diff --git a/stdlib/source/program/aedifex/artifact.lux b/stdlib/source/program/aedifex/artifact.lux
index 0b7a03d9c..247e4a5d0 100644
--- a/stdlib/source/program/aedifex/artifact.lux
+++ b/stdlib/source/program/aedifex/artifact.lux
@@ -7,10 +7,10 @@
[hash (.only Hash)]]
[data
["[0]" product]
- ["[0]" text ("[1]#[0]" order)
+ ["[0]" text (.open: "[1]#[0]" order)
["%" format (.only Format)]]
[collection
- ["[0]" list ("[1]#[0]" monoid)]]]
+ ["[0]" list (.open: "[1]#[0]" monoid)]]]
[world
["[0]" file (.only Path)]
[net
diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux
index 4f364d651..31a2f0f2a 100644
--- a/stdlib/source/program/aedifex/artifact/time/date.lux
+++ b/stdlib/source/program/aedifex/artifact/time/date.lux
@@ -17,7 +17,7 @@
["n" nat]
["i" int]]]
[time
- ["[0]" date ("[1]#[0]" equivalence)]
+ ["[0]" date (.open: "[1]#[0]" equivalence)]
["[0]" year]
["[0]" month]]
[type
diff --git a/stdlib/source/program/aedifex/artifact/versioning.lux b/stdlib/source/program/aedifex/artifact/versioning.lux
index b9c158c6b..9c7dab3c6 100644
--- a/stdlib/source/program/aedifex/artifact/versioning.lux
+++ b/stdlib/source/program/aedifex/artifact/versioning.lux
@@ -16,7 +16,7 @@
[format
["[0]" xml (.only XML)]]
[collection
- ["[0]" list ("[1]#[0]" functor)]]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]]
[math
[number
["n" nat]]]
diff --git a/stdlib/source/program/aedifex/command/build.lux b/stdlib/source/program/aedifex/command/build.lux
index 3e175f2d7..d08f7f7b1 100644
--- a/stdlib/source/program/aedifex/command/build.lux
+++ b/stdlib/source/program/aedifex/command/build.lux
@@ -6,17 +6,17 @@
[order (.only Order)]
[monad (.only do)]]
[control
- ["[0]" try (.only Try) ("[1]#[0]" functor)]
+ ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]
["[0]" exception (.only exception:)]
["[0]" io (.only IO)]
[concurrency
- ["[0]" async (.only Async) ("[1]#[0]" monad)]]]
+ ["[0]" async (.only Async) (.open: "[1]#[0]" monad)]]]
[data
["[0]" product]
- ["[0]" text ("[1]#[0]" order)
+ ["[0]" text (.open: "[1]#[0]" order)
["%" format (.only format)]]
[collection
- ["[0]" list ("[1]#[0]" functor mix)]
+ ["[0]" list (.open: "[1]#[0]" functor mix)]
["[0]" dictionary (.only Dictionary)]
["[0]" set]]]
[macro
diff --git a/stdlib/source/program/aedifex/command/deps.lux b/stdlib/source/program/aedifex/command/deps.lux
index 379217a18..915ac8db0 100644
--- a/stdlib/source/program/aedifex/command/deps.lux
+++ b/stdlib/source/program/aedifex/command/deps.lux
@@ -10,7 +10,7 @@
[data
[collection
["[0]" set (.only Set)]
- ["[0]" list ("[1]#[0]" mix)]
+ ["[0]" list (.open: "[1]#[0]" mix)]
["[0]" dictionary]]
[text
["%" format]]]
diff --git a/stdlib/source/program/aedifex/command/pom.lux b/stdlib/source/program/aedifex/command/pom.lux
index 478f77946..784a07d9a 100644
--- a/stdlib/source/program/aedifex/command/pom.lux
+++ b/stdlib/source/program/aedifex/command/pom.lux
@@ -4,9 +4,9 @@
[abstract
[monad (.only do)]]
[control
- ["[0]" try (.only Try) ("[1]#[0]" functor)]
+ ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]
[concurrency
- ["[0]" async (.only Async) ("[1]#[0]" monad)]]]
+ ["[0]" async (.only Async) (.open: "[1]#[0]" monad)]]]
[data
[text
["%" format (.only format)]
diff --git a/stdlib/source/program/aedifex/command/test.lux b/stdlib/source/program/aedifex/command/test.lux
index 994bf7967..fa3d55d1d 100644
--- a/stdlib/source/program/aedifex/command/test.lux
+++ b/stdlib/source/program/aedifex/command/test.lux
@@ -6,7 +6,7 @@
[control
[try (.only Try)]
[concurrency
- ["[0]" async (.only Async) ("[1]#[0]" monad)]]]
+ ["[0]" async (.only Async) (.open: "[1]#[0]" monad)]]]
[data
[collection
["[0]" dictionary]]]
diff --git a/stdlib/source/program/aedifex/dependency.lux b/stdlib/source/program/aedifex/dependency.lux
index 3a8a69d81..9e522fa94 100644
--- a/stdlib/source/program/aedifex/dependency.lux
+++ b/stdlib/source/program/aedifex/dependency.lux
@@ -7,10 +7,10 @@
[hash (.only Hash)]]
[data
["[0]" product]
- ["[0]" text ("[1]#[0]" order)
+ ["[0]" text (.open: "[1]#[0]" order)
["%" format (.only format)]]]]]
["[0]" //
- ["[1]" artifact (.only Artifact) ("[1]#[0]" order)
+ ["[1]" artifact (.only Artifact) (.open: "[1]#[0]" order)
[type (.only Type)]]])
(type: .public Dependency
diff --git a/stdlib/source/program/aedifex/dependency/deployment.lux b/stdlib/source/program/aedifex/dependency/deployment.lux
index a904e9f6c..69d85ef9a 100644
--- a/stdlib/source/program/aedifex/dependency/deployment.lux
+++ b/stdlib/source/program/aedifex/dependency/deployment.lux
@@ -18,7 +18,7 @@
[collection
["[0]" dictionary]
["[0]" set (.only Set)]
- ["[0]" list ("[1]#[0]" monoid)]]]
+ ["[0]" list (.open: "[1]#[0]" monoid)]]]
[time
["[0]" instant (.only Instant)]]]]
["[0]" ///
diff --git a/stdlib/source/program/aedifex/dependency/resolution.lux b/stdlib/source/program/aedifex/dependency/resolution.lux
index f535dd186..568973c47 100644
--- a/stdlib/source/program/aedifex/dependency/resolution.lux
+++ b/stdlib/source/program/aedifex/dependency/resolution.lux
@@ -11,7 +11,7 @@
["[0]" predicate (.only Predicate)]]
[control
["[0]" maybe]
- ["[0]" try (.only Try) ("[1]#[0]" functor)]
+ ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]
["[0]" exception (.only Exception exception:)]
["<>" parsernone
["<[0]>" xml (.only Parser)]]
@@ -28,7 +28,7 @@
[collection
["[0]" dictionary (.only Dictionary)]
["[0]" set]
- ["[0]" list ("[1]#[0]" functor monoid)]]]
+ ["[0]" list (.open: "[1]#[0]" functor monoid)]]]
[math
[number
["n" nat]
diff --git a/stdlib/source/program/aedifex/format.lux b/stdlib/source/program/aedifex/format.lux
index af0521b85..456f621e7 100644
--- a/stdlib/source/program/aedifex/format.lux
+++ b/stdlib/source/program/aedifex/format.lux
@@ -2,10 +2,10 @@
[library
[lux (.except)
[data
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
["[0]" dictionary (.only Dictionary)]
- ["[0]" list ("[1]#[0]" monad)]
+ ["[0]" list (.open: "[1]#[0]" monad)]
["[0]" set (.only Set)]]]
[macro
["[0]" code]
diff --git a/stdlib/source/program/aedifex/metadata/artifact.lux b/stdlib/source/program/aedifex/metadata/artifact.lux
index 113db629d..0ba7371b8 100644
--- a/stdlib/source/program/aedifex/metadata/artifact.lux
+++ b/stdlib/source/program/aedifex/metadata/artifact.lux
@@ -21,7 +21,7 @@
[format
["[0]" xml (.only XML)]]
[collection
- ["[0]" list ("[1]#[0]" functor)]]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]]
[math
[number
["n" nat]]]
diff --git a/stdlib/source/program/aedifex/metadata/snapshot.lux b/stdlib/source/program/aedifex/metadata/snapshot.lux
index 1e0879467..eb2f48c76 100644
--- a/stdlib/source/program/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/program/aedifex/metadata/snapshot.lux
@@ -22,7 +22,7 @@
[format
["[0]" xml (.only XML)]]
[collection
- ["[0]" list ("[1]#[0]" functor)]]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]]
[math
[number
["n" nat]]]
diff --git a/stdlib/source/program/aedifex/package.lux b/stdlib/source/program/aedifex/package.lux
index f8f140b40..4706c50ce 100644
--- a/stdlib/source/program/aedifex/package.lux
+++ b/stdlib/source/program/aedifex/package.lux
@@ -4,7 +4,7 @@
[abstract
[equivalence (.only Equivalence)]]
[control
- ["[0]" try (.only Try) ("[1]#[0]" functor)]
+ ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]
[parser
["<[0]>" xml]]]
[data
diff --git a/stdlib/source/program/aedifex/parser.lux b/stdlib/source/program/aedifex/parser.lux
index b4014f06a..7f184b2eb 100644
--- a/stdlib/source/program/aedifex/parser.lux
+++ b/stdlib/source/program/aedifex/parser.lux
@@ -5,7 +5,7 @@
[monad (.only do)]]
[control
["[0]" maybe]
- ["<>" parser ("[1]#[0]" functor)
+ ["<>" parser (.open: "[1]#[0]" functor)
["<[0]>" code (.only Parser)]]]
[data
["[0]" text]
diff --git a/stdlib/source/program/aedifex/pom.lux b/stdlib/source/program/aedifex/pom.lux
index 76be72b40..537fde5e7 100644
--- a/stdlib/source/program/aedifex/pom.lux
+++ b/stdlib/source/program/aedifex/pom.lux
@@ -5,7 +5,7 @@
[monad (.only do)]]
[control
["[0]" pipe]
- ["[0]" maybe ("[1]#[0]" functor)]
+ ["[0]" maybe (.open: "[1]#[0]" functor)]
["[0]" try (.only Try)]
["[0]" exception]
["<>" parser (.only)
@@ -15,7 +15,7 @@
[format
["_" xml (.only Tag XML)]]
[collection
- ["[0]" list ("[1]#[0]" monoid functor mix)]
+ ["[0]" list (.open: "[1]#[0]" monoid functor mix)]
["[0]" set]
["[0]" dictionary]]]
[meta
diff --git a/stdlib/source/program/aedifex/profile.lux b/stdlib/source/program/aedifex/profile.lux
index 622cd3f9b..5ed623591 100644
--- a/stdlib/source/program/aedifex/profile.lux
+++ b/stdlib/source/program/aedifex/profile.lux
@@ -5,16 +5,16 @@
[monoid (.only Monoid)]
[equivalence (.only Equivalence)]]
[control
- ["[0]" maybe ("[1]#[0]" monoid)]
+ ["[0]" maybe (.open: "[1]#[0]" monoid)]
["[0]" exception (.only exception:)]]
[data
["[0]" product]
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
- ["[0]" list ("[1]#[0]" monoid)]
+ ["[0]" list (.open: "[1]#[0]" monoid)]
["[0]" set (.only Set)]
["[0]" dictionary (.only Dictionary)
- ["[0]" plist (.only PList) ("[1]#[0]" monoid)]]]]
+ ["[0]" plist (.only PList) (.open: "[1]#[0]" monoid)]]]]
[macro
["^" pattern]
["[0]" template]]
@@ -32,8 +32,8 @@
[module
[descriptor (.only Module)]]]]]]]]
[//
- ["[0]" runtime (.only Runtime) ("[1]#[0]" equivalence)]
- ["[0]" dependency (.only Dependency) ("[1]#[0]" equivalence)]
+ ["[0]" runtime (.only Runtime) (.open: "[1]#[0]" equivalence)]
+ ["[0]" dependency (.only Dependency) (.open: "[1]#[0]" equivalence)]
["[0]" artifact (.only Artifact)
["[0]" type]]
[repository
diff --git a/stdlib/source/program/aedifex/project.lux b/stdlib/source/program/aedifex/project.lux
index 811e89d0c..e4ab5be29 100644
--- a/stdlib/source/program/aedifex/project.lux
+++ b/stdlib/source/program/aedifex/project.lux
@@ -14,7 +14,7 @@
[collection
["[0]" dictionary (.only Dictionary)]
["[0]" set (.only Set)]
- ["[0]" list ("[1]#[0]" mix)]]]]]
+ ["[0]" list (.open: "[1]#[0]" mix)]]]]]
["[0]" //
["[1]" profile (.only Name Profile)]])
diff --git a/stdlib/source/program/aedifex/runtime.lux b/stdlib/source/program/aedifex/runtime.lux
index 21046fca2..7d49725df 100644
--- a/stdlib/source/program/aedifex/runtime.lux
+++ b/stdlib/source/program/aedifex/runtime.lux
@@ -8,7 +8,7 @@
["[0]" text
["%" format (.only format)]]
[collection
- ["[0]" list ("[1]#[0]" monoid)]
+ ["[0]" list (.open: "[1]#[0]" monoid)]
["[0]" dictionary (.only Dictionary)]]]
[macro
["[0]" template]]