aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/program/aedifex/action.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/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/versioning.lux2
-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/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.lux2
-rw-r--r--stdlib/source/program/aedifex/command/install.lux2
-rw-r--r--stdlib/source/program/aedifex/command/pom.lux2
-rw-r--r--stdlib/source/program/aedifex/command/test.lux2
-rw-r--r--stdlib/source/program/aedifex/command/version.lux2
-rw-r--r--stdlib/source/program/aedifex/dependency/status.lux2
-rw-r--r--stdlib/source/program/aedifex/format.lux2
-rw-r--r--stdlib/source/program/aedifex/hash.lux4
-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.lux2
-rw-r--r--stdlib/source/program/aedifex/pom.lux2
-rw-r--r--stdlib/source/program/aedifex/project.lux2
-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
35 files changed, 37 insertions, 37 deletions
diff --git a/stdlib/source/program/aedifex/action.lux b/stdlib/source/program/aedifex/action.lux
index 451d72cef..fcb096034 100644
--- a/stdlib/source/program/aedifex/action.lux
+++ b/stdlib/source/program/aedifex/action.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[abstract
[monad (.only Monad)]]
[control
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/build.lux b/stdlib/source/program/aedifex/artifact/snapshot/build.lux
index f4b863522..1ccaeceda 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/build.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[abstract
[equivalence (.only Equivalence)]
[monad (.only do)]]
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
index 21867d58f..8e2a68db8 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[abstract
[equivalence (.only Equivalence)]
[monad (.only do)]]
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/time.lux b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
index 0a3337a56..3fd81d69d 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[abstract
[equivalence (.only Equivalence)]
[monad (.only do)]]
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
index 0e64d52ec..aa5e59fe8 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[abstract
[equivalence (.only Equivalence)]]
[data
diff --git a/stdlib/source/program/aedifex/artifact/time.lux b/stdlib/source/program/aedifex/artifact/time.lux
index 9f6a123f0..1afab48ba 100644
--- a/stdlib/source/program/aedifex/artifact/time.lux
+++ b/stdlib/source/program/aedifex/artifact/time.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
["[0]" time]
[abstract
[equivalence (.only Equivalence)]
diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux
index 9962b9ade..4b5f41a0d 100644
--- a/stdlib/source/program/aedifex/artifact/time/date.lux
+++ b/stdlib/source/program/aedifex/artifact/time/date.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[abstract
[monad (.only do)]
[equivalence (.only Equivalence)]]
@@ -21,7 +21,7 @@
["[0]" year]
["[0]" month]]
[type
- [primitive "*"]]]])
+ [primitive (.full)]]]])
(def: .public (pad value)
(-> Nat Text)
diff --git a/stdlib/source/program/aedifex/artifact/time/time.lux b/stdlib/source/program/aedifex/artifact/time/time.lux
index 00f0bebe8..cf4bb0761 100644
--- a/stdlib/source/program/aedifex/artifact/time/time.lux
+++ b/stdlib/source/program/aedifex/artifact/time/time.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
["[0]" time]
[abstract
[monad (.only do)]]
diff --git a/stdlib/source/program/aedifex/artifact/versioning.lux b/stdlib/source/program/aedifex/artifact/versioning.lux
index d58f9b2e2..66ac3c146 100644
--- a/stdlib/source/program/aedifex/artifact/versioning.lux
+++ b/stdlib/source/program/aedifex/artifact/versioning.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[abstract
[equivalence (.only Equivalence)]
[monad (.only do)]]
diff --git a/stdlib/source/program/aedifex/cli.lux b/stdlib/source/program/aedifex/cli.lux
index dca35ac86..6b6bf6637 100644
--- a/stdlib/source/program/aedifex/cli.lux
+++ b/stdlib/source/program/aedifex/cli.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[abstract
[equivalence (.only Equivalence)]
[monad (.only do)]]
diff --git a/stdlib/source/program/aedifex/command.lux b/stdlib/source/program/aedifex/command.lux
index 5cca59ce3..a8370462d 100644
--- a/stdlib/source/program/aedifex/command.lux
+++ b/stdlib/source/program/aedifex/command.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"]]
+ [lux (.full)]]
["[0]" // "_"
["[1]" profile]
["[1][0]" action (.only Action)]])
diff --git a/stdlib/source/program/aedifex/command/auto.lux b/stdlib/source/program/aedifex/command/auto.lux
index 56cf050a6..5b48f53e9 100644
--- a/stdlib/source/program/aedifex/command/auto.lux
+++ b/stdlib/source/program/aedifex/command/auto.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[abstract
["[0]" monad (.only do)]]
[control
diff --git a/stdlib/source/program/aedifex/command/clean.lux b/stdlib/source/program/aedifex/command/clean.lux
index e398b7bd2..8026697e9 100644
--- a/stdlib/source/program/aedifex/command/clean.lux
+++ b/stdlib/source/program/aedifex/command/clean.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[abstract
["[0]" monad (.only do)]]
[control
diff --git a/stdlib/source/program/aedifex/command/deploy.lux b/stdlib/source/program/aedifex/command/deploy.lux
index 39e1c9815..2349894f2 100644
--- a/stdlib/source/program/aedifex/command/deploy.lux
+++ b/stdlib/source/program/aedifex/command/deploy.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[abstract
[monad (.only do)]]
[control
diff --git a/stdlib/source/program/aedifex/command/deploy/release.lux b/stdlib/source/program/aedifex/command/deploy/release.lux
index 51f07d66a..dcda6536d 100644
--- a/stdlib/source/program/aedifex/command/deploy/release.lux
+++ b/stdlib/source/program/aedifex/command/deploy/release.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
["[0]" ffi (.only import:)]
[abstract
[predicate (.only Predicate)]
diff --git a/stdlib/source/program/aedifex/command/deploy/snapshot.lux b/stdlib/source/program/aedifex/command/deploy/snapshot.lux
index dc165a8ad..9e0f0f73c 100644
--- a/stdlib/source/program/aedifex/command/deploy/snapshot.lux
+++ b/stdlib/source/program/aedifex/command/deploy/snapshot.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[abstract
[monad (.only do)]
[predicate (.only Predicate)]]
diff --git a/stdlib/source/program/aedifex/command/deps.lux b/stdlib/source/program/aedifex/command/deps.lux
index f4c9591ce..795187c01 100644
--- a/stdlib/source/program/aedifex/command/deps.lux
+++ b/stdlib/source/program/aedifex/command/deps.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[abstract
[monad (.only do)]]
[control
diff --git a/stdlib/source/program/aedifex/command/install.lux b/stdlib/source/program/aedifex/command/install.lux
index fee072b18..27ed1b7c6 100644
--- a/stdlib/source/program/aedifex/command/install.lux
+++ b/stdlib/source/program/aedifex/command/install.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[abstract
[monad (.only do)]]
[control
diff --git a/stdlib/source/program/aedifex/command/pom.lux b/stdlib/source/program/aedifex/command/pom.lux
index 3b443a178..32b71a4f4 100644
--- a/stdlib/source/program/aedifex/command/pom.lux
+++ b/stdlib/source/program/aedifex/command/pom.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[abstract
[monad (.only do)]]
[control
diff --git a/stdlib/source/program/aedifex/command/test.lux b/stdlib/source/program/aedifex/command/test.lux
index 44cdbc1ed..8b3c5fae3 100644
--- a/stdlib/source/program/aedifex/command/test.lux
+++ b/stdlib/source/program/aedifex/command/test.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[abstract
[monad (.only do)]]
[control
diff --git a/stdlib/source/program/aedifex/command/version.lux b/stdlib/source/program/aedifex/command/version.lux
index 7725dcbc2..6e3e5dd3f 100644
--- a/stdlib/source/program/aedifex/command/version.lux
+++ b/stdlib/source/program/aedifex/command/version.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[control
[try (.only Try)]
[concurrency
diff --git a/stdlib/source/program/aedifex/dependency/status.lux b/stdlib/source/program/aedifex/dependency/status.lux
index 2d2bb0f3c..627bae8c7 100644
--- a/stdlib/source/program/aedifex/dependency/status.lux
+++ b/stdlib/source/program/aedifex/dependency/status.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[abstract
[equivalence (.only Equivalence)]]
[data
diff --git a/stdlib/source/program/aedifex/format.lux b/stdlib/source/program/aedifex/format.lux
index c48380af2..25881fc2e 100644
--- a/stdlib/source/program/aedifex/format.lux
+++ b/stdlib/source/program/aedifex/format.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[data
["[0]" text ("[1]#[0]" equivalence)]
[collection
diff --git a/stdlib/source/program/aedifex/hash.lux b/stdlib/source/program/aedifex/hash.lux
index 3a7b82ef8..42113d5e8 100644
--- a/stdlib/source/program/aedifex/hash.lux
+++ b/stdlib/source/program/aedifex/hash.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
["[0]" ffi (.only import:)]
[abstract
[codec (.only Codec)]
@@ -21,7 +21,7 @@
["n" nat]
["[0]" i64]]]
[type
- [primitive "*"]]]])
+ [primitive (.full)]]]])
... TODO: Replace with pure-Lux implementations of these algorithms
... https://en.wikipedia.org/wiki/SHA-1#SHA-1_pseudocode
diff --git a/stdlib/source/program/aedifex/input.lux b/stdlib/source/program/aedifex/input.lux
index c964c6cf0..463c21179 100644
--- a/stdlib/source/program/aedifex/input.lux
+++ b/stdlib/source/program/aedifex/input.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[abstract
["[0]" monad (.only Monad do)]
["[0]" mix]]
diff --git a/stdlib/source/program/aedifex/local.lux b/stdlib/source/program/aedifex/local.lux
index 13bfcfe7a..fb7ae07dd 100644
--- a/stdlib/source/program/aedifex/local.lux
+++ b/stdlib/source/program/aedifex/local.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[data
[text
["%" format (.only format)]]]
diff --git a/stdlib/source/program/aedifex/metadata.lux b/stdlib/source/program/aedifex/metadata.lux
index 67a8e58ed..7900ad204 100644
--- a/stdlib/source/program/aedifex/metadata.lux
+++ b/stdlib/source/program/aedifex/metadata.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[data
["[0]" text
["%" format (.only format)]]]
diff --git a/stdlib/source/program/aedifex/metadata/artifact.lux b/stdlib/source/program/aedifex/metadata/artifact.lux
index 78290aa3c..b5cffce20 100644
--- a/stdlib/source/program/aedifex/metadata/artifact.lux
+++ b/stdlib/source/program/aedifex/metadata/artifact.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[abstract
[monad (.only do)]
[equivalence (.only Equivalence)]]
diff --git a/stdlib/source/program/aedifex/pom.lux b/stdlib/source/program/aedifex/pom.lux
index 7ca781741..8736deba8 100644
--- a/stdlib/source/program/aedifex/pom.lux
+++ b/stdlib/source/program/aedifex/pom.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[abstract
[monad (.only do)]]
[control
diff --git a/stdlib/source/program/aedifex/project.lux b/stdlib/source/program/aedifex/project.lux
index a1f43c7b8..9ab033a58 100644
--- a/stdlib/source/program/aedifex/project.lux
+++ b/stdlib/source/program/aedifex/project.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[abstract
[equivalence (.only Equivalence)]
[monoid (.only Monoid)]
diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux
index 900855124..da102b99d 100644
--- a/stdlib/source/program/aedifex/repository.lux
+++ b/stdlib/source/program/aedifex/repository.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[abstract
[monad (.only do)]]
[control
diff --git a/stdlib/source/program/aedifex/repository/identity.lux b/stdlib/source/program/aedifex/repository/identity.lux
index 5bea5c2c8..6dbc2afd7 100644
--- a/stdlib/source/program/aedifex/repository/identity.lux
+++ b/stdlib/source/program/aedifex/repository/identity.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
["[0]" ffi (.only import:)]
[abstract
[equivalence (.only Equivalence)]]
diff --git a/stdlib/source/program/aedifex/repository/local.lux b/stdlib/source/program/aedifex/repository/local.lux
index 0721e8526..03ea25b7a 100644
--- a/stdlib/source/program/aedifex/repository/local.lux
+++ b/stdlib/source/program/aedifex/repository/local.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[abstract
[monad (.only do)]]
[control
diff --git a/stdlib/source/program/aedifex/repository/origin.lux b/stdlib/source/program/aedifex/repository/origin.lux
index 6af12153b..04ffb2c70 100644
--- a/stdlib/source/program/aedifex/repository/origin.lux
+++ b/stdlib/source/program/aedifex/repository/origin.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[abstract
[equivalence (.only Equivalence)]]
[data
diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux
index c3c77f65b..5b231fbca 100644
--- a/stdlib/source/program/aedifex/repository/remote.lux
+++ b/stdlib/source/program/aedifex/repository/remote.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[abstract
[monad (.only do)]]
[control