aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/artifact/snapshot/version
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/snapshot/version
parent659537b4ec859f1e705cdd1f82da29ab1a662d94 (diff)
Extensible import syntax: Part 1
Diffstat (limited to '')
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/version.lux12
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/version/value.lux4
2 files changed, 8 insertions, 8 deletions
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]])