aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/artifact
diff options
context:
space:
mode:
authorEduardo Julian2022-06-01 21:52:34 -0400
committerEduardo Julian2022-06-01 21:52:34 -0400
commit5d44577c3849a045052dc1c9f0dd7deddd032120 (patch)
treeb0e00801734720e9f985c7dfa239aaa0bdea7bcd /stdlib/source/program/aedifex/artifact
parent659537b4ec859f1e705cdd1f82da29ab1a662d94 (diff)
Extensible import syntax: Part 1
Diffstat (limited to 'stdlib/source/program/aedifex/artifact')
-rw-r--r--stdlib/source/program/aedifex/artifact/extension.lux18
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot.lux10
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/build.lux34
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/stamp.lux12
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/time.lux42
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/version.lux12
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/version/value.lux4
-rw-r--r--stdlib/source/program/aedifex/artifact/time.lux38
-rw-r--r--stdlib/source/program/aedifex/artifact/time/date.lux10
-rw-r--r--stdlib/source/program/aedifex/artifact/time/time.lux4
-rw-r--r--stdlib/source/program/aedifex/artifact/versioning.lux18
11 files changed, 101 insertions, 101 deletions
diff --git a/stdlib/source/program/aedifex/artifact/extension.lux b/stdlib/source/program/aedifex/artifact/extension.lux
index 65d336585..837c536ca 100644
--- a/stdlib/source/program/aedifex/artifact/extension.lux
+++ b/stdlib/source/program/aedifex/artifact/extension.lux
@@ -1,13 +1,13 @@
(.using
- [library
- [lux {"-" type}
- [data
- ["[0]" text
- ["%" format {"+" format}]]]
- [macro
- ["[0]" template]]]]
- ["[0]" // "_"
- ["[1]" type]])
+ [library
+ [lux {"-" type}
+ [data
+ ["[0]" text
+ ["%" format (.only format)]]]
+ [macro
+ ["[0]" template]]]]
+ ["[0]" // "_"
+ ["[1]" type]])
(type: .public Extension
Text)
diff --git a/stdlib/source/program/aedifex/artifact/snapshot.lux b/stdlib/source/program/aedifex/artifact/snapshot.lux
index db9fa0891..734d48ab8 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot.lux
@@ -2,18 +2,18 @@
[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]" sum]
[format
- ["[0]" xml {"+" XML}]]]]]
+ ["[0]" xml (.only XML)]]]]]
["[0]" / "_"
- ["[1][0]" stamp {"+" Stamp}]])
+ ["[1][0]" stamp (.only Stamp)]])
(type: .public Snapshot
(Variant
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]])
diff --git a/stdlib/source/program/aedifex/artifact/time.lux b/stdlib/source/program/aedifex/artifact/time.lux
index efd33ca0a..9f6a123f0 100644
--- a/stdlib/source/program/aedifex/artifact/time.lux
+++ b/stdlib/source/program/aedifex/artifact/time.lux
@@ -1,23 +1,23 @@
(.using
- [library
- [lux "*"
- ["[0]" time]
- [abstract
- [equivalence {"+" Equivalence}]
- [monad {"+" do}]]
- [control
- ["[0]" try {"+" Try}]
- ["<>" parser
- ["<[0]>" text {"+" Parser}]]]
- [data
- ["[0]" product]
- [text
- ["%" format {"+" Format}]]]
- [time
- ["[0]" instant {"+" Instant}]]]]
- ["[0]" / "_"
- ["[1][0]" date]
- ["[1][0]" time]])
+ [library
+ [lux "*"
+ ["[0]" time]
+ [abstract
+ [equivalence (.only Equivalence)]
+ [monad (.only do)]]
+ [control
+ ["[0]" try (.only Try)]
+ ["<>" parser
+ ["<[0]>" text (.only Parser)]]]
+ [data
+ ["[0]" product]
+ [text
+ ["%" format (.only Format)]]]
+ [time
+ ["[0]" instant (.only Instant)]]]]
+ ["[0]" / "_"
+ ["[1][0]" date]
+ ["[1][0]" time]])
(type: .public Time
[/date.Date /time.Time])
diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux
index d3af4c01b..9962b9ade 100644
--- a/stdlib/source/program/aedifex/artifact/time/date.lux
+++ b/stdlib/source/program/aedifex/artifact/time/date.lux
@@ -2,13 +2,13 @@
[library
[lux "*"
[abstract
- [monad {"+" do}]
- [equivalence {"+" Equivalence}]]
+ [monad (.only do)]
+ [equivalence (.only Equivalence)]]
[control
- ["[0]" try {"+" Try}]
- ["[0]" exception {"+" exception:}]
+ ["[0]" try (.only Try)]
+ ["[0]" exception (.only exception:)]
["<>" parser
- ["<[0]>" text {"+" Parser}]]]
+ ["<[0]>" text (.only Parser)]]]
[data
[text
["%" format]]]
diff --git a/stdlib/source/program/aedifex/artifact/time/time.lux b/stdlib/source/program/aedifex/artifact/time/time.lux
index 15ce0e183..00f0bebe8 100644
--- a/stdlib/source/program/aedifex/artifact/time/time.lux
+++ b/stdlib/source/program/aedifex/artifact/time/time.lux
@@ -3,10 +3,10 @@
[lux "*"
["[0]" time]
[abstract
- [monad {"+" do}]]
+ [monad (.only do)]]
[control
["<>" parser
- ["<[0]>" text {"+" Parser}]]]
+ ["<[0]>" text (.only Parser)]]]
[data
[text
["%" format]]]
diff --git a/stdlib/source/program/aedifex/artifact/versioning.lux b/stdlib/source/program/aedifex/artifact/versioning.lux
index 16789996f..d58f9b2e2 100644
--- a/stdlib/source/program/aedifex/artifact/versioning.lux
+++ b/stdlib/source/program/aedifex/artifact/versioning.lux
@@ -2,32 +2,32 @@
[library
[lux "*"
[abstract
- [equivalence {"+" Equivalence}]
- [monad {"+" do}]]
+ [equivalence (.only Equivalence)]
+ [monad (.only do)]]
[control
- ["[0]" exception {"+" exception:}]
+ ["[0]" exception (.only exception:)]
["<>" parser
- ["<[0]>" xml {"+" Parser}]
+ ["<[0]>" xml (.only Parser)]
["<[0]>" text]]]
[data
["[0]" product]
["[0]" text
["%" format]]
[format
- ["[0]" xml {"+" XML}]]
+ ["[0]" xml (.only XML)]]
[collection
["[0]" list ("[1]#[0]" functor)]]]
[math
[number
["n" nat]]]
- ["[0]" time {"+" Time}
- ["[0]" date {"+" Date}]
+ ["[0]" time (.only Time)
+ ["[0]" date (.only Date)]
["[0]" year]
["[0]" month]]]]
["[0]" // "_"
["[1][0]" time]
- ["[1][0]" snapshot {"+" Snapshot}
- ["[1]/[0]" version {"+" Version}]]])
+ ["[1][0]" snapshot (.only Snapshot)
+ ["[1]/[0]" version (.only Version)]]])
(type: .public Versioning
(Record