From 56d2835d35093e2d92c5e8a4371aa322b55e037b Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 4 Jun 2022 02:28:47 -0400 Subject: Extensible import syntax [Part 6] --- stdlib/source/program/aedifex.lux | 6 +++--- stdlib/source/program/aedifex/artifact.lux | 4 ++-- stdlib/source/program/aedifex/artifact/time/date.lux | 2 +- stdlib/source/program/aedifex/artifact/versioning.lux | 2 +- stdlib/source/program/aedifex/command/build.lux | 8 ++++---- stdlib/source/program/aedifex/command/deps.lux | 2 +- stdlib/source/program/aedifex/command/pom.lux | 4 ++-- stdlib/source/program/aedifex/command/test.lux | 2 +- stdlib/source/program/aedifex/dependency.lux | 4 ++-- stdlib/source/program/aedifex/dependency/deployment.lux | 2 +- stdlib/source/program/aedifex/dependency/resolution.lux | 4 ++-- stdlib/source/program/aedifex/format.lux | 4 ++-- stdlib/source/program/aedifex/metadata/artifact.lux | 2 +- stdlib/source/program/aedifex/metadata/snapshot.lux | 2 +- stdlib/source/program/aedifex/package.lux | 2 +- stdlib/source/program/aedifex/parser.lux | 2 +- stdlib/source/program/aedifex/pom.lux | 4 ++-- stdlib/source/program/aedifex/profile.lux | 12 ++++++------ stdlib/source/program/aedifex/project.lux | 2 +- stdlib/source/program/aedifex/runtime.lux | 2 +- stdlib/source/program/compositor.lux | 2 +- 21 files changed, 37 insertions(+), 37 deletions(-) (limited to 'stdlib/source/program') diff --git a/stdlib/source/program/aedifex.lux b/stdlib/source/program/aedifex.lux index e753fbed6..d14e5ba74 100644 --- a/stdlib/source/program/aedifex.lux +++ b/stdlib/source/program/aedifex.lux @@ -8,12 +8,12 @@ [control ["[0]" io (.only IO)] ["[0]" maybe] - ["[0]" try (.only Try) ("[1]#[0]" functor)] + ["[0]" try (.only Try) (.open: "[1]#[0]" functor)] ["[0]" exception (.only exception:)] [parser [environment (.only Environment)]] [concurrency - ["[0]" async (.only Async) ("[1]#[0]" monad)]]] + ["[0]" async (.only Async) (.open: "[1]#[0]" monad)]]] [data [binary (.only Binary)] ["[0]" text (.only) @@ -25,7 +25,7 @@ [collection ["[0]" set] ["[0]" dictionary (.only Dictionary)] - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [tool [compiler [language 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]] diff --git a/stdlib/source/program/compositor.lux b/stdlib/source/program/compositor.lux index bcc771965..543900782 100644 --- a/stdlib/source/program/compositor.lux +++ b/stdlib/source/program/compositor.lux @@ -11,7 +11,7 @@ ["[0]" maybe] ["[0]" try (.only Try)] [concurrency - ["[0]" async (.only Async) ("[1]#[0]" monad)]]] + ["[0]" async (.only Async) (.open: "[1]#[0]" monad)]]] [data [binary (.only Binary)] ["[0]" product] -- cgit v1.2.3