From 0e34448e5c0ffd9c39d67c2f859e91942e1ab0a4 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 2 Jun 2022 13:56:01 -0400 Subject: Extensible import syntax [Part 3] --- stdlib/source/program/aedifex/action.lux | 2 +- stdlib/source/program/aedifex/artifact/snapshot/build.lux | 2 +- stdlib/source/program/aedifex/artifact/snapshot/stamp.lux | 2 +- stdlib/source/program/aedifex/artifact/snapshot/time.lux | 2 +- stdlib/source/program/aedifex/artifact/snapshot/version/value.lux | 2 +- stdlib/source/program/aedifex/artifact/time.lux | 2 +- stdlib/source/program/aedifex/artifact/time/date.lux | 4 ++-- stdlib/source/program/aedifex/artifact/time/time.lux | 2 +- stdlib/source/program/aedifex/artifact/versioning.lux | 2 +- stdlib/source/program/aedifex/cli.lux | 2 +- stdlib/source/program/aedifex/command.lux | 2 +- stdlib/source/program/aedifex/command/auto.lux | 2 +- stdlib/source/program/aedifex/command/clean.lux | 2 +- stdlib/source/program/aedifex/command/deploy.lux | 2 +- stdlib/source/program/aedifex/command/deploy/release.lux | 2 +- stdlib/source/program/aedifex/command/deploy/snapshot.lux | 2 +- stdlib/source/program/aedifex/command/deps.lux | 2 +- stdlib/source/program/aedifex/command/install.lux | 2 +- stdlib/source/program/aedifex/command/pom.lux | 2 +- stdlib/source/program/aedifex/command/test.lux | 2 +- stdlib/source/program/aedifex/command/version.lux | 2 +- stdlib/source/program/aedifex/dependency/status.lux | 2 +- stdlib/source/program/aedifex/format.lux | 2 +- stdlib/source/program/aedifex/hash.lux | 4 ++-- stdlib/source/program/aedifex/input.lux | 2 +- stdlib/source/program/aedifex/local.lux | 2 +- stdlib/source/program/aedifex/metadata.lux | 2 +- stdlib/source/program/aedifex/metadata/artifact.lux | 2 +- stdlib/source/program/aedifex/pom.lux | 2 +- stdlib/source/program/aedifex/project.lux | 2 +- stdlib/source/program/aedifex/repository.lux | 2 +- stdlib/source/program/aedifex/repository/identity.lux | 2 +- stdlib/source/program/aedifex/repository/local.lux | 2 +- stdlib/source/program/aedifex/repository/origin.lux | 2 +- stdlib/source/program/aedifex/repository/remote.lux | 2 +- 35 files changed, 37 insertions(+), 37 deletions(-) (limited to 'stdlib/source/program') 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 -- cgit v1.2.3