aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/program')
-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 fcb096034..fac52a5e7 100644
--- a/stdlib/source/program/aedifex/action.lux
+++ b/stdlib/source/program/aedifex/action.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[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 1ccaeceda..79c7ba794 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 (.full)
+ [lux (.except)
[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 315aa037d..0831be2b6 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 (.full)
+ [lux (.except)
[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 9f306f1d7..732423ad2 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 (.full)
+ [lux (.except)
[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 aa5e59fe8..26bb272e3 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 (.full)
+ [lux (.except)
[abstract
[equivalence (.only Equivalence)]]
[data
diff --git a/stdlib/source/program/aedifex/artifact/time.lux b/stdlib/source/program/aedifex/artifact/time.lux
index a35084d6e..c702b10b4 100644
--- a/stdlib/source/program/aedifex/artifact/time.lux
+++ b/stdlib/source/program/aedifex/artifact/time.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
["[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 4b5f41a0d..4f364d651 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 (.full)
+ [lux (.except)
[abstract
[monad (.only do)]
[equivalence (.only Equivalence)]]
@@ -21,7 +21,7 @@
["[0]" year]
["[0]" month]]
[type
- [primitive (.full)]]]])
+ [primitive (.except)]]]])
(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 a957c6a15..e890d0231 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 (.full)
+ [lux (.except)
["[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 fd4563b10..b9c158c6b 100644
--- a/stdlib/source/program/aedifex/artifact/versioning.lux
+++ b/stdlib/source/program/aedifex/artifact/versioning.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[abstract
[equivalence (.only Equivalence)]
[monad (.only do)]]
diff --git a/stdlib/source/program/aedifex/cli.lux b/stdlib/source/program/aedifex/cli.lux
index 6b6bf6637..0eabd6b7e 100644
--- a/stdlib/source/program/aedifex/cli.lux
+++ b/stdlib/source/program/aedifex/cli.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[abstract
[equivalence (.only Equivalence)]
[monad (.only do)]]
diff --git a/stdlib/source/program/aedifex/command.lux b/stdlib/source/program/aedifex/command.lux
index c7fe7d1dd..1dae4cffc 100644
--- a/stdlib/source/program/aedifex/command.lux
+++ b/stdlib/source/program/aedifex/command.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)]]
+ [lux (.except)]]
["[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 d9b565a08..dc922b4c1 100644
--- a/stdlib/source/program/aedifex/command/auto.lux
+++ b/stdlib/source/program/aedifex/command/auto.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[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 6b03b8cea..3187376e8 100644
--- a/stdlib/source/program/aedifex/command/clean.lux
+++ b/stdlib/source/program/aedifex/command/clean.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[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 572672110..0f34ba9a3 100644
--- a/stdlib/source/program/aedifex/command/deploy.lux
+++ b/stdlib/source/program/aedifex/command/deploy.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[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 04c699286..2f7d1e4d7 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 (.full)
+ [lux (.except)
["[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 f1c779517..90251c3bd 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 (.full)
+ [lux (.except)
[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 f3cfc3d20..379217a18 100644
--- a/stdlib/source/program/aedifex/command/deps.lux
+++ b/stdlib/source/program/aedifex/command/deps.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[abstract
[monad (.only do)]]
[control
diff --git a/stdlib/source/program/aedifex/command/install.lux b/stdlib/source/program/aedifex/command/install.lux
index 803bda26f..90ace7b46 100644
--- a/stdlib/source/program/aedifex/command/install.lux
+++ b/stdlib/source/program/aedifex/command/install.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[abstract
[monad (.only do)]]
[control
diff --git a/stdlib/source/program/aedifex/command/pom.lux b/stdlib/source/program/aedifex/command/pom.lux
index 865e650a1..478f77946 100644
--- a/stdlib/source/program/aedifex/command/pom.lux
+++ b/stdlib/source/program/aedifex/command/pom.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[abstract
[monad (.only do)]]
[control
diff --git a/stdlib/source/program/aedifex/command/test.lux b/stdlib/source/program/aedifex/command/test.lux
index 921a74148..994bf7967 100644
--- a/stdlib/source/program/aedifex/command/test.lux
+++ b/stdlib/source/program/aedifex/command/test.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[abstract
[monad (.only do)]]
[control
diff --git a/stdlib/source/program/aedifex/command/version.lux b/stdlib/source/program/aedifex/command/version.lux
index 488b7660a..506c1d93f 100644
--- a/stdlib/source/program/aedifex/command/version.lux
+++ b/stdlib/source/program/aedifex/command/version.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[control
[try (.only Try)]
[concurrency
diff --git a/stdlib/source/program/aedifex/dependency/status.lux b/stdlib/source/program/aedifex/dependency/status.lux
index 1ed4b187a..1a76605d0 100644
--- a/stdlib/source/program/aedifex/dependency/status.lux
+++ b/stdlib/source/program/aedifex/dependency/status.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[abstract
[equivalence (.only Equivalence)]]
[data
diff --git a/stdlib/source/program/aedifex/format.lux b/stdlib/source/program/aedifex/format.lux
index 17faaa55c..af0521b85 100644
--- a/stdlib/source/program/aedifex/format.lux
+++ b/stdlib/source/program/aedifex/format.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[data
["[0]" text ("[1]#[0]" equivalence)]
[collection
diff --git a/stdlib/source/program/aedifex/hash.lux b/stdlib/source/program/aedifex/hash.lux
index 42113d5e8..c38f993c4 100644
--- a/stdlib/source/program/aedifex/hash.lux
+++ b/stdlib/source/program/aedifex/hash.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
["[0]" ffi (.only import:)]
[abstract
[codec (.only Codec)]
@@ -21,7 +21,7 @@
["n" nat]
["[0]" i64]]]
[type
- [primitive (.full)]]]])
+ [primitive (.except)]]]])
... 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 c9cea74cc..5733fa97a 100644
--- a/stdlib/source/program/aedifex/input.lux
+++ b/stdlib/source/program/aedifex/input.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[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 7de56dfaa..a1b69e311 100644
--- a/stdlib/source/program/aedifex/local.lux
+++ b/stdlib/source/program/aedifex/local.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[data
[text
["%" format (.only format)]]]
diff --git a/stdlib/source/program/aedifex/metadata.lux b/stdlib/source/program/aedifex/metadata.lux
index e85c4dd5b..107fd1b3d 100644
--- a/stdlib/source/program/aedifex/metadata.lux
+++ b/stdlib/source/program/aedifex/metadata.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[data
["[0]" text (.only)
["%" format (.only format)]]]
diff --git a/stdlib/source/program/aedifex/metadata/artifact.lux b/stdlib/source/program/aedifex/metadata/artifact.lux
index 6391eb70a..113db629d 100644
--- a/stdlib/source/program/aedifex/metadata/artifact.lux
+++ b/stdlib/source/program/aedifex/metadata/artifact.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[abstract
[monad (.only do)]
[equivalence (.only Equivalence)]]
diff --git a/stdlib/source/program/aedifex/pom.lux b/stdlib/source/program/aedifex/pom.lux
index 4bf36f52a..76be72b40 100644
--- a/stdlib/source/program/aedifex/pom.lux
+++ b/stdlib/source/program/aedifex/pom.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[abstract
[monad (.only do)]]
[control
diff --git a/stdlib/source/program/aedifex/project.lux b/stdlib/source/program/aedifex/project.lux
index 80c8292ba..811e89d0c 100644
--- a/stdlib/source/program/aedifex/project.lux
+++ b/stdlib/source/program/aedifex/project.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[abstract
[equivalence (.only Equivalence)]
[monoid (.only Monoid)]
diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux
index da102b99d..65c13db0f 100644
--- a/stdlib/source/program/aedifex/repository.lux
+++ b/stdlib/source/program/aedifex/repository.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[abstract
[monad (.only do)]]
[control
diff --git a/stdlib/source/program/aedifex/repository/identity.lux b/stdlib/source/program/aedifex/repository/identity.lux
index 6dbc2afd7..f3111fed3 100644
--- a/stdlib/source/program/aedifex/repository/identity.lux
+++ b/stdlib/source/program/aedifex/repository/identity.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
["[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 89faa2788..e712e1db1 100644
--- a/stdlib/source/program/aedifex/repository/local.lux
+++ b/stdlib/source/program/aedifex/repository/local.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[abstract
[monad (.only do)]]
[control
diff --git a/stdlib/source/program/aedifex/repository/origin.lux b/stdlib/source/program/aedifex/repository/origin.lux
index 04ffb2c70..c69337877 100644
--- a/stdlib/source/program/aedifex/repository/origin.lux
+++ b/stdlib/source/program/aedifex/repository/origin.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[abstract
[equivalence (.only Equivalence)]]
[data
diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux
index 7f5d84775..c6aafb221 100644
--- a/stdlib/source/program/aedifex/repository/remote.lux
+++ b/stdlib/source/program/aedifex/repository/remote.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[abstract
[monad (.only do)]]
[control