From 5d44577c3849a045052dc1c9f0dd7deddd032120 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 1 Jun 2022 21:52:34 -0400
Subject: Extensible import syntax: Part 1

---
 .../program/aedifex/artifact/snapshot/build.lux    | 34 +++++++++---------
 .../program/aedifex/artifact/snapshot/stamp.lux    | 12 +++----
 .../program/aedifex/artifact/snapshot/time.lux     | 42 +++++++++++-----------
 .../program/aedifex/artifact/snapshot/version.lux  | 12 +++----
 .../aedifex/artifact/snapshot/version/value.lux    |  4 +--
 5 files changed, 52 insertions(+), 52 deletions(-)

(limited to 'stdlib/source/program/aedifex/artifact/snapshot')

diff --git a/stdlib/source/program/aedifex/artifact/snapshot/build.lux b/stdlib/source/program/aedifex/artifact/snapshot/build.lux
index fbf89fc55..f4b863522 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/build.lux
@@ -1,21 +1,21 @@
 (.using
-  [library
-   [lux "*"
-    [abstract
-     [equivalence {"+" Equivalence}]
-     [monad {"+" do}]]
-    [control
-     ["<>" parser
-      ["<[0]>" xml {"+" Parser}]
-      ["<[0]>" text]]]
-    [data
-     [text
-      ["%" format]]
-     [format
-      ["[0]" xml {"+" XML}]]]
-    [math
-     [number
-      ["[0]" nat]]]]])
+ [library
+  [lux "*"
+   [abstract
+    [equivalence (.only Equivalence)]
+    [monad (.only do)]]
+   [control
+    ["<>" parser
+     ["<[0]>" xml (.only Parser)]
+     ["<[0]>" text]]]
+   [data
+    [text
+     ["%" format]]
+    [format
+     ["[0]" xml (.only XML)]]]
+   [math
+    [number
+     ["[0]" nat]]]]])
 
 (type: .public Build
   Nat)
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
index 55a3957a9..21867d58f 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
@@ -2,19 +2,19 @@
  [library
   [lux "*"
    [abstract
-    [equivalence {"+" Equivalence}]
-    [monad {"+" do}]]
+    [equivalence (.only Equivalence)]
+    [monad (.only do)]]
    [control
     ["<>" parser
-     ["<[0]>" xml {"+" Parser}]
+     ["<[0]>" xml (.only Parser)]
      ["<[0]>" text]]]
    [data
     ["[0]" product]
     [format
-     ["[0]" xml {"+" XML}]]]]]
+     ["[0]" xml (.only XML)]]]]]
  ["[0]" // "_"
-  ["[1][0]" time {"+" Time}]
-  ["[1][0]" build {"+" Build}]])
+  ["[1][0]" time (.only Time)]
+  ["[1][0]" build (.only Build)]])
 
 (type: .public Stamp
   (Record
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/time.lux b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
index 8088c5707..0a3337a56 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
@@ -1,25 +1,25 @@
 (.using
-  [library
-   [lux "*"
-    [abstract
-     [equivalence {"+" Equivalence}]
-     [monad {"+" do}]]
-    [control
-     ["[0]" exception {"+" exception:}]
-     ["<>" parser
-      ["<[0]>" text]
-      ["<[0]>" xml {"+" Parser}]]]
-    [data
-     [text
-      ["%" format]]
-     [format
-      ["[0]" xml {"+" XML}]]]
-    [time
-     ["[0]" instant {"+" Instant}]]]]
-  ["[0]" /// "_"
-   ["[1][0]" time
-    ["[1]/[0]" date]
-    ["[1]/[0]" time]]])
+ [library
+  [lux "*"
+   [abstract
+    [equivalence (.only Equivalence)]
+    [monad (.only do)]]
+   [control
+    ["[0]" exception (.only exception:)]
+    ["<>" parser
+     ["<[0]>" text]
+     ["<[0]>" xml (.only Parser)]]]
+   [data
+    [text
+     ["%" format]]
+    [format
+     ["[0]" xml (.only XML)]]]
+   [time
+    ["[0]" instant (.only Instant)]]]]
+ ["[0]" /// "_"
+  ["[1][0]" time
+   ["[1]/[0]" date]
+   ["[1]/[0]" time]]])
 
 (type: .public Time
   ///time.Time)
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version.lux b/stdlib/source/program/aedifex/artifact/snapshot/version.lux
index e5053ed73..e2c677c42 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/version.lux
@@ -2,20 +2,20 @@
  [library
   [lux {"-" Type}
    [abstract
-    [equivalence {"+" Equivalence}]
-    [monad {"+" do}]]
+    [equivalence (.only Equivalence)]
+    [monad (.only do)]]
    [control
     ["<>" parser
-     ["<[0]>" xml {"+" Parser}]
+     ["<[0]>" xml (.only Parser)]
      ["<[0]>" text]]]
    [data
     ["[0]" product]
     ["[0]" text]
     [format
-     ["[0]" xml {"+" XML}]]]]]
+     ["[0]" xml (.only XML)]]]]]
  ["[0]" /// "_"
-  ["[1][0]" type {"+" Type}]
-  ["[1][0]" time {"+" Time}]])
+  ["[1][0]" type (.only Type)]
+  ["[1][0]" time (.only Time)]])
 
 (type: .public Version
   (Record
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
index 63bed8532..0e64d52ec 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
@@ -2,12 +2,12 @@
  [library
   [lux "*"
    [abstract
-    [equivalence {"+" Equivalence}]]
+    [equivalence (.only Equivalence)]]
    [data
     ["[0]" product]
     ["[0]" text
      ["%" format]]]]]
- ["[0]" /// {"+" Snapshot}
+ ["[0]" /// (.only Snapshot)
   ["[1][0]" time]
   ["[1][0]" stamp]])
 
-- 
cgit v1.2.3