aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/artifact/snapshot
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/program/aedifex/artifact/snapshot')
-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
5 files changed, 52 insertions, 52 deletions
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]])