aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/program/aedifex.lux8
-rw-r--r--stdlib/source/program/aedifex/action.lux2
-rw-r--r--stdlib/source/program/aedifex/artifact.lux6
-rw-r--r--stdlib/source/program/aedifex/artifact/extension.lux2
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot.lux2
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/build.lux2
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/stamp.lux2
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/time.lux2
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/version.lux2
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/version/value.lux2
-rw-r--r--stdlib/source/program/aedifex/artifact/time.lux2
-rw-r--r--stdlib/source/program/aedifex/artifact/time/date.lux4
-rw-r--r--stdlib/source/program/aedifex/artifact/time/time.lux2
-rw-r--r--stdlib/source/program/aedifex/artifact/type.lux2
-rw-r--r--stdlib/source/program/aedifex/artifact/versioning.lux4
-rw-r--r--stdlib/source/program/aedifex/cli.lux2
-rw-r--r--stdlib/source/program/aedifex/command.lux2
-rw-r--r--stdlib/source/program/aedifex/command/auto.lux2
-rw-r--r--stdlib/source/program/aedifex/command/build.lux10
-rw-r--r--stdlib/source/program/aedifex/command/clean.lux2
-rw-r--r--stdlib/source/program/aedifex/command/deploy.lux2
-rw-r--r--stdlib/source/program/aedifex/command/deploy/release.lux2
-rw-r--r--stdlib/source/program/aedifex/command/deploy/snapshot.lux2
-rw-r--r--stdlib/source/program/aedifex/command/deps.lux4
-rw-r--r--stdlib/source/program/aedifex/command/install.lux2
-rw-r--r--stdlib/source/program/aedifex/command/pom.lux6
-rw-r--r--stdlib/source/program/aedifex/command/test.lux4
-rw-r--r--stdlib/source/program/aedifex/command/version.lux2
-rw-r--r--stdlib/source/program/aedifex/dependency.lux6
-rw-r--r--stdlib/source/program/aedifex/dependency/deployment.lux4
-rw-r--r--stdlib/source/program/aedifex/dependency/resolution.lux6
-rw-r--r--stdlib/source/program/aedifex/dependency/status.lux2
-rw-r--r--stdlib/source/program/aedifex/format.lux6
-rw-r--r--stdlib/source/program/aedifex/hash.lux2
-rw-r--r--stdlib/source/program/aedifex/input.lux2
-rw-r--r--stdlib/source/program/aedifex/local.lux2
-rw-r--r--stdlib/source/program/aedifex/metadata.lux2
-rw-r--r--stdlib/source/program/aedifex/metadata/artifact.lux4
-rw-r--r--stdlib/source/program/aedifex/metadata/snapshot.lux4
-rw-r--r--stdlib/source/program/aedifex/package.lux4
-rw-r--r--stdlib/source/program/aedifex/parser.lux4
-rw-r--r--stdlib/source/program/aedifex/pom.lux6
-rw-r--r--stdlib/source/program/aedifex/profile.lux14
-rw-r--r--stdlib/source/program/aedifex/project.lux4
-rw-r--r--stdlib/source/program/aedifex/repository.lux2
-rw-r--r--stdlib/source/program/aedifex/repository/identity.lux2
-rw-r--r--stdlib/source/program/aedifex/repository/local.lux2
-rw-r--r--stdlib/source/program/aedifex/repository/origin.lux2
-rw-r--r--stdlib/source/program/aedifex/repository/remote.lux2
-rw-r--r--stdlib/source/program/aedifex/runtime.lux4
-rw-r--r--stdlib/source/program/compositor.lux4
51 files changed, 88 insertions, 88 deletions
diff --git a/stdlib/source/program/aedifex.lux b/stdlib/source/program/aedifex.lux
index c763171c7..734a31c7c 100644
--- a/stdlib/source/program/aedifex.lux
+++ b/stdlib/source/program/aedifex.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except local)
[program (.only program:)]
@@ -8,12 +8,12 @@
[control
["[0]" io (.only IO)]
["[0]" maybe]
- ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]
+ ["[0]" try (.only Try) (.use "[1]#[0]" functor)]
["[0]" exception (.only exception:)]
[parser
[environment (.only Environment)]]
[concurrency
- ["[0]" async (.only Async) (.open: "[1]#[0]" monad)]]]
+ ["[0]" async (.only Async) (.use "[1]#[0]" monad)]]]
[data
[binary (.only Binary)]
["[0]" text (.only)
@@ -25,7 +25,7 @@
[collection
["[0]" set]
["[0]" dictionary (.only Dictionary)]
- ["[0]" list (.open: "[1]#[0]" functor)]]]
+ ["[0]" list (.use "[1]#[0]" functor)]]]
[tool
[compiler
[language
diff --git a/stdlib/source/program/aedifex/action.lux b/stdlib/source/program/aedifex/action.lux
index 1e2e25921..d1f388cca 100644
--- a/stdlib/source/program/aedifex/action.lux
+++ b/stdlib/source/program/aedifex/action.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
diff --git a/stdlib/source/program/aedifex/artifact.lux b/stdlib/source/program/aedifex/artifact.lux
index 3799bfb74..3b57b0734 100644
--- a/stdlib/source/program/aedifex/artifact.lux
+++ b/stdlib/source/program/aedifex/artifact.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except local)
[abstract
@@ -7,10 +7,10 @@
[hash (.only Hash)]]
[data
["[0]" product]
- ["[0]" text (.open: "[1]#[0]" order)
+ ["[0]" text (.use "[1]#[0]" order)
["%" \\format (.only Format)]]
[collection
- ["[0]" list (.open: "[1]#[0]" monoid)]]]
+ ["[0]" list (.use "[1]#[0]" monoid)]]]
[world
["[0]" file (.only Path)]
[net
diff --git a/stdlib/source/program/aedifex/artifact/extension.lux b/stdlib/source/program/aedifex/artifact/extension.lux
index f78a4b963..e4e8e8a71 100644
--- a/stdlib/source/program/aedifex/artifact/extension.lux
+++ b/stdlib/source/program/aedifex/artifact/extension.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except type)
[data
diff --git a/stdlib/source/program/aedifex/artifact/snapshot.lux b/stdlib/source/program/aedifex/artifact/snapshot.lux
index 45b54e2cd..23eb701e8 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Type)
[abstract
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/build.lux b/stdlib/source/program/aedifex/artifact/snapshot/build.lux
index 05570de3e..0ff1d45d9 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/build.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
index 1886b5b3e..7ebb79ac6 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/time.lux b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
index 87203845f..87d9c89c7 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version.lux b/stdlib/source/program/aedifex/artifact/snapshot/version.lux
index 48af92b72..fdd97a517 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/version.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Type)
[abstract
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
index c0b528186..0dd217a27 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
diff --git a/stdlib/source/program/aedifex/artifact/time.lux b/stdlib/source/program/aedifex/artifact/time.lux
index 9e52e52ca..b4cf0dc02 100644
--- a/stdlib/source/program/aedifex/artifact/time.lux
+++ b/stdlib/source/program/aedifex/artifact/time.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["[0]" time]
diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux
index ba908f0af..f6ffea4d6 100644
--- a/stdlib/source/program/aedifex/artifact/time/date.lux
+++ b/stdlib/source/program/aedifex/artifact/time/date.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
@@ -17,7 +17,7 @@
["n" nat]
["i" int]]]
[time
- ["[0]" date (.open: "[1]#[0]" equivalence)]
+ ["[0]" date (.use "[1]#[0]" equivalence)]
["[0]" year]
["[0]" month]]
[type
diff --git a/stdlib/source/program/aedifex/artifact/time/time.lux b/stdlib/source/program/aedifex/artifact/time/time.lux
index d02667bbc..5349a295f 100644
--- a/stdlib/source/program/aedifex/artifact/time/time.lux
+++ b/stdlib/source/program/aedifex/artifact/time/time.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["[0]" time]
diff --git a/stdlib/source/program/aedifex/artifact/type.lux b/stdlib/source/program/aedifex/artifact/type.lux
index 971b8757a..cba533fdd 100644
--- a/stdlib/source/program/aedifex/artifact/type.lux
+++ b/stdlib/source/program/aedifex/artifact/type.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Type)]])
diff --git a/stdlib/source/program/aedifex/artifact/versioning.lux b/stdlib/source/program/aedifex/artifact/versioning.lux
index 62a6e8fd2..e85833e70 100644
--- a/stdlib/source/program/aedifex/artifact/versioning.lux
+++ b/stdlib/source/program/aedifex/artifact/versioning.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
@@ -16,7 +16,7 @@
["[0]" xml (.only XML)
["<[1]>" \\parser (.only Parser)]]]
[collection
- ["[0]" list (.open: "[1]#[0]" functor)]]]
+ ["[0]" list (.use "[1]#[0]" functor)]]]
[math
[number
["n" nat]]]
diff --git a/stdlib/source/program/aedifex/cli.lux b/stdlib/source/program/aedifex/cli.lux
index c717313cd..8f7185db5 100644
--- a/stdlib/source/program/aedifex/cli.lux
+++ b/stdlib/source/program/aedifex/cli.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
diff --git a/stdlib/source/program/aedifex/command.lux b/stdlib/source/program/aedifex/command.lux
index 1dae4cffc..fc287b4f1 100644
--- a/stdlib/source/program/aedifex/command.lux
+++ b/stdlib/source/program/aedifex/command.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)]]
["[0]" //
diff --git a/stdlib/source/program/aedifex/command/auto.lux b/stdlib/source/program/aedifex/command/auto.lux
index 81a1a855a..15d78527b 100644
--- a/stdlib/source/program/aedifex/command/auto.lux
+++ b/stdlib/source/program/aedifex/command/auto.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
diff --git a/stdlib/source/program/aedifex/command/build.lux b/stdlib/source/program/aedifex/command/build.lux
index d183b975b..83be613e3 100644
--- a/stdlib/source/program/aedifex/command/build.lux
+++ b/stdlib/source/program/aedifex/command/build.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Lux)
["[0]" ffi (.only import)]
@@ -6,17 +6,17 @@
[order (.only Order)]
[monad (.only do)]]
[control
- ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]
+ ["[0]" try (.only Try) (.use "[1]#[0]" functor)]
["[0]" exception (.only exception:)]
["[0]" io (.only IO)]
[concurrency
- ["[0]" async (.only Async) (.open: "[1]#[0]" monad)]]]
+ ["[0]" async (.only Async) (.use "[1]#[0]" monad)]]]
[data
["[0]" product]
- ["[0]" text (.open: "[1]#[0]" order)
+ ["[0]" text (.use "[1]#[0]" order)
["%" \\format (.only format)]]
[collection
- ["[0]" list (.open: "[1]#[0]" functor mix)]
+ ["[0]" list (.use "[1]#[0]" functor mix)]
["[0]" dictionary (.only Dictionary)]
["[0]" set]]]
[macro
diff --git a/stdlib/source/program/aedifex/command/clean.lux b/stdlib/source/program/aedifex/command/clean.lux
index de683bce1..40609f4d4 100644
--- a/stdlib/source/program/aedifex/command/clean.lux
+++ b/stdlib/source/program/aedifex/command/clean.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
diff --git a/stdlib/source/program/aedifex/command/deploy.lux b/stdlib/source/program/aedifex/command/deploy.lux
index e432f5dac..c579f165a 100644
--- a/stdlib/source/program/aedifex/command/deploy.lux
+++ b/stdlib/source/program/aedifex/command/deploy.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
diff --git a/stdlib/source/program/aedifex/command/deploy/release.lux b/stdlib/source/program/aedifex/command/deploy/release.lux
index b709680ad..f41850d02 100644
--- a/stdlib/source/program/aedifex/command/deploy/release.lux
+++ b/stdlib/source/program/aedifex/command/deploy/release.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["[0]" ffi (.only import)]
diff --git a/stdlib/source/program/aedifex/command/deploy/snapshot.lux b/stdlib/source/program/aedifex/command/deploy/snapshot.lux
index dcfdc3ba4..0c490f23f 100644
--- a/stdlib/source/program/aedifex/command/deploy/snapshot.lux
+++ b/stdlib/source/program/aedifex/command/deploy/snapshot.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
diff --git a/stdlib/source/program/aedifex/command/deps.lux b/stdlib/source/program/aedifex/command/deps.lux
index 682bec78c..f0a7b7a9e 100644
--- a/stdlib/source/program/aedifex/command/deps.lux
+++ b/stdlib/source/program/aedifex/command/deps.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
@@ -10,7 +10,7 @@
[data
[collection
["[0]" set (.only Set)]
- ["[0]" list (.open: "[1]#[0]" mix)]
+ ["[0]" list (.use "[1]#[0]" mix)]
["[0]" dictionary]]
[text
["%" \\format]]]
diff --git a/stdlib/source/program/aedifex/command/install.lux b/stdlib/source/program/aedifex/command/install.lux
index f42a8fd65..93bab2d47 100644
--- a/stdlib/source/program/aedifex/command/install.lux
+++ b/stdlib/source/program/aedifex/command/install.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
diff --git a/stdlib/source/program/aedifex/command/pom.lux b/stdlib/source/program/aedifex/command/pom.lux
index f156e6f6b..71d8a9223 100644
--- a/stdlib/source/program/aedifex/command/pom.lux
+++ b/stdlib/source/program/aedifex/command/pom.lux
@@ -1,12 +1,12 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
[monad (.only do)]]
[control
- ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]
+ ["[0]" try (.only Try) (.use "[1]#[0]" functor)]
[concurrency
- ["[0]" async (.only Async) (.open: "[1]#[0]" monad)]]]
+ ["[0]" async (.only Async) (.use "[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 c4eb94274..21155222d 100644
--- a/stdlib/source/program/aedifex/command/test.lux
+++ b/stdlib/source/program/aedifex/command/test.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
@@ -6,7 +6,7 @@
[control
[try (.only Try)]
[concurrency
- ["[0]" async (.only Async) (.open: "[1]#[0]" monad)]]]
+ ["[0]" async (.only Async) (.use "[1]#[0]" monad)]]]
[data
[collection
["[0]" dictionary]]]
diff --git a/stdlib/source/program/aedifex/command/version.lux b/stdlib/source/program/aedifex/command/version.lux
index 68293c94c..83d13af8a 100644
--- a/stdlib/source/program/aedifex/command/version.lux
+++ b/stdlib/source/program/aedifex/command/version.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[control
diff --git a/stdlib/source/program/aedifex/dependency.lux b/stdlib/source/program/aedifex/dependency.lux
index 92fe6b7ce..b5d251167 100644
--- a/stdlib/source/program/aedifex/dependency.lux
+++ b/stdlib/source/program/aedifex/dependency.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Type)
[abstract
@@ -7,10 +7,10 @@
[hash (.only Hash)]]
[data
["[0]" product]
- ["[0]" text (.open: "[1]#[0]" order)
+ ["[0]" text (.use "[1]#[0]" order)
["%" \\format (.only format)]]]]]
["[0]" //
- ["[1]" artifact (.only Artifact) (.open: "[1]#[0]" order)
+ ["[1]" artifact (.only Artifact) (.use "[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 85dd6fa2d..6a2c64817 100644
--- a/stdlib/source/program/aedifex/dependency/deployment.lux
+++ b/stdlib/source/program/aedifex/dependency/deployment.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except all)
[abstract
@@ -18,7 +18,7 @@
[collection
["[0]" dictionary]
["[0]" set (.only Set)]
- ["[0]" list (.open: "[1]#[0]" monoid)]]]
+ ["[0]" list (.use "[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 dc647464a..7145a1ffe 100644
--- a/stdlib/source/program/aedifex/dependency/resolution.lux
+++ b/stdlib/source/program/aedifex/dependency/resolution.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except all)
["@" target]
@@ -11,7 +11,7 @@
["[0]" predicate (.only Predicate)]]
[control
["[0]" maybe]
- ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]
+ ["[0]" try (.only Try) (.use "[1]#[0]" functor)]
["[0]" exception (.only Exception exception:)]
[concurrency
["[0]" async (.only Async)]]]
@@ -27,7 +27,7 @@
[collection
["[0]" dictionary (.only Dictionary)]
["[0]" set]
- ["[0]" list (.open: "[1]#[0]" functor monoid)]]]
+ ["[0]" list (.use "[1]#[0]" functor monoid)]]]
[math
[number
["n" nat]
diff --git a/stdlib/source/program/aedifex/dependency/status.lux b/stdlib/source/program/aedifex/dependency/status.lux
index b8a962142..f3355b418 100644
--- a/stdlib/source/program/aedifex/dependency/status.lux
+++ b/stdlib/source/program/aedifex/dependency/status.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
diff --git a/stdlib/source/program/aedifex/format.lux b/stdlib/source/program/aedifex/format.lux
index cd10c675f..ac1cf8916 100644
--- a/stdlib/source/program/aedifex/format.lux
+++ b/stdlib/source/program/aedifex/format.lux
@@ -1,11 +1,11 @@
-(.using
+(.require
[library
[lux (.except)
[data
- ["[0]" text (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.use "[1]#[0]" equivalence)]
[collection
["[0]" dictionary (.only Dictionary)]
- ["[0]" list (.open: "[1]#[0]" monad)]
+ ["[0]" list (.use "[1]#[0]" monad)]
["[0]" set (.only Set)]]]
[macro
["[0]" code]
diff --git a/stdlib/source/program/aedifex/hash.lux b/stdlib/source/program/aedifex/hash.lux
index 5d5890c3a..d114b957e 100644
--- a/stdlib/source/program/aedifex/hash.lux
+++ b/stdlib/source/program/aedifex/hash.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["[0]" ffi (.only import)]
diff --git a/stdlib/source/program/aedifex/input.lux b/stdlib/source/program/aedifex/input.lux
index 99dc93542..0cbe189b0 100644
--- a/stdlib/source/program/aedifex/input.lux
+++ b/stdlib/source/program/aedifex/input.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
diff --git a/stdlib/source/program/aedifex/local.lux b/stdlib/source/program/aedifex/local.lux
index a6236a469..157cb24eb 100644
--- a/stdlib/source/program/aedifex/local.lux
+++ b/stdlib/source/program/aedifex/local.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[data
diff --git a/stdlib/source/program/aedifex/metadata.lux b/stdlib/source/program/aedifex/metadata.lux
index 3ba470501..2608d146c 100644
--- a/stdlib/source/program/aedifex/metadata.lux
+++ b/stdlib/source/program/aedifex/metadata.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[data
diff --git a/stdlib/source/program/aedifex/metadata/artifact.lux b/stdlib/source/program/aedifex/metadata/artifact.lux
index 9bbb002bb..ddc9e3200 100644
--- a/stdlib/source/program/aedifex/metadata/artifact.lux
+++ b/stdlib/source/program/aedifex/metadata/artifact.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
@@ -21,7 +21,7 @@
["[0]" xml (.only XML)
["<[1]>" \\parser (.only Parser)]]]
[collection
- ["[0]" list (.open: "[1]#[0]" functor)]]]
+ ["[0]" list (.use "[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 1ea744765..b5cbeb2a7 100644
--- a/stdlib/source/program/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/program/aedifex/metadata/snapshot.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Type)
[abstract
@@ -22,7 +22,7 @@
["[0]" xml (.only XML)
["<[1]>" \\parser (.only Parser)]]]
[collection
- ["[0]" list (.open: "[1]#[0]" functor)]]]
+ ["[0]" list (.use "[1]#[0]" functor)]]]
[math
[number
["n" nat]]]
diff --git a/stdlib/source/program/aedifex/package.lux b/stdlib/source/program/aedifex/package.lux
index 46a40927b..6484c5e3e 100644
--- a/stdlib/source/program/aedifex/package.lux
+++ b/stdlib/source/program/aedifex/package.lux
@@ -1,10 +1,10 @@
-(.using
+(.require
[library
[lux (.except local)
[abstract
[equivalence (.only Equivalence)]]
[control
- ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]]
+ ["[0]" try (.only Try) (.use "[1]#[0]" functor)]]
[data
["[0]" sum]
["[0]" product]
diff --git a/stdlib/source/program/aedifex/parser.lux b/stdlib/source/program/aedifex/parser.lux
index 435e0fb79..6bedce20b 100644
--- a/stdlib/source/program/aedifex/parser.lux
+++ b/stdlib/source/program/aedifex/parser.lux
@@ -1,11 +1,11 @@
-(.using
+(.require
[library
[lux (.except Module type)
[abstract
[monad (.only do)]]
[control
["[0]" maybe]
- ["<>" parser (.open: "[1]#[0]" functor)
+ ["<>" parser (.use "[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 334a06f46..69b8d5c98 100644
--- a/stdlib/source/program/aedifex/pom.lux
+++ b/stdlib/source/program/aedifex/pom.lux
@@ -1,11 +1,11 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
[monad (.only do)]]
[control
["[0]" pipe]
- ["[0]" maybe (.open: "[1]#[0]" functor)]
+ ["[0]" maybe (.use "[1]#[0]" functor)]
["[0]" try (.only Try)]
["[0]" exception]
["<>" parser]]
@@ -15,7 +15,7 @@
["[0]" xml (.only Tag XML)
["<[1]>" \\parser (.only Parser)]]]
[collection
- ["[0]" list (.open: "[1]#[0]" monoid functor mix)]
+ ["[0]" list (.use "[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 5758a3795..5e07a1c18 100644
--- a/stdlib/source/program/aedifex/profile.lux
+++ b/stdlib/source/program/aedifex/profile.lux
@@ -1,20 +1,20 @@
-(.using
+(.require
[library
[lux (.except Info Source Module)
[abstract
[monoid (.only Monoid)]
[equivalence (.only Equivalence)]]
[control
- ["[0]" maybe (.open: "[1]#[0]" monoid)]
+ ["[0]" maybe (.use "[1]#[0]" monoid)]
["[0]" exception (.only exception:)]]
[data
["[0]" product]
- ["[0]" text (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.use "[1]#[0]" equivalence)]
[collection
- ["[0]" list (.open: "[1]#[0]" monoid)]
+ ["[0]" list (.use "[1]#[0]" monoid)]
["[0]" set (.only Set)]
["[0]" dictionary (.only Dictionary)
- ["[0]" plist (.only PList) (.open: "[1]#[0]" monoid)]]]]
+ ["[0]" plist (.only PList) (.use "[1]#[0]" monoid)]]]]
[macro
["^" pattern]
["[0]" template]]
@@ -32,8 +32,8 @@
[module
[descriptor (.only Module)]]]]]]]]
[//
- ["[0]" runtime (.only Runtime) (.open: "[1]#[0]" equivalence)]
- ["[0]" dependency (.only Dependency) (.open: "[1]#[0]" equivalence)]
+ ["[0]" runtime (.only Runtime) (.use "[1]#[0]" equivalence)]
+ ["[0]" dependency (.only Dependency) (.use "[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 0d1fb6559..2a63427cf 100644
--- a/stdlib/source/program/aedifex/project.lux
+++ b/stdlib/source/program/aedifex/project.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
@@ -14,7 +14,7 @@
[collection
["[0]" dictionary (.only Dictionary)]
["[0]" set (.only Set)]
- ["[0]" list (.open: "[1]#[0]" mix)]]]]]
+ ["[0]" list (.use "[1]#[0]" mix)]]]]]
["[0]" //
["[1]" profile (.only Name Profile)]])
diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux
index 2b092ad41..49cb01312 100644
--- a/stdlib/source/program/aedifex/repository.lux
+++ b/stdlib/source/program/aedifex/repository.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
diff --git a/stdlib/source/program/aedifex/repository/identity.lux b/stdlib/source/program/aedifex/repository/identity.lux
index 634423e7c..4f5733651 100644
--- a/stdlib/source/program/aedifex/repository/identity.lux
+++ b/stdlib/source/program/aedifex/repository/identity.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["[0]" ffi (.only import)]
diff --git a/stdlib/source/program/aedifex/repository/local.lux b/stdlib/source/program/aedifex/repository/local.lux
index b491e6d12..39a5c8396 100644
--- a/stdlib/source/program/aedifex/repository/local.lux
+++ b/stdlib/source/program/aedifex/repository/local.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
diff --git a/stdlib/source/program/aedifex/repository/origin.lux b/stdlib/source/program/aedifex/repository/origin.lux
index b8556c4c4..46f0822c2 100644
--- a/stdlib/source/program/aedifex/repository/origin.lux
+++ b/stdlib/source/program/aedifex/repository/origin.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux
index d91047f7c..d939915d8 100644
--- a/stdlib/source/program/aedifex/repository/remote.lux
+++ b/stdlib/source/program/aedifex/repository/remote.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
diff --git a/stdlib/source/program/aedifex/runtime.lux b/stdlib/source/program/aedifex/runtime.lux
index 401a9fa7c..a105b2da9 100644
--- a/stdlib/source/program/aedifex/runtime.lux
+++ b/stdlib/source/program/aedifex/runtime.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except for)
[abstract
@@ -8,7 +8,7 @@
["[0]" text
["%" \\format (.only format)]]
[collection
- ["[0]" list (.open: "[1]#[0]" monoid)]
+ ["[0]" list (.use "[1]#[0]" monoid)]
["[0]" dictionary (.only Dictionary)]]]
[macro
["[0]" template]]
diff --git a/stdlib/source/program/compositor.lux b/stdlib/source/program/compositor.lux
index c29ef5160..67bd9467b 100644
--- a/stdlib/source/program/compositor.lux
+++ b/stdlib/source/program/compositor.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Module)
[type (.only sharing)]
@@ -11,7 +11,7 @@
["[0]" maybe]
["[0]" try (.only Try)]
[concurrency
- ["[0]" async (.only Async) (.open: "[1]#[0]" monad)]]]
+ ["[0]" async (.only Async) (.use "[1]#[0]" monad)]]]
[data
[binary (.only Binary)]
["[0]" product]