aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/artifact
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/program/aedifex/artifact')
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot.lux5
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/build.lux8
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/stamp.lux5
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/time.lux6
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/version.lux6
-rw-r--r--stdlib/source/program/aedifex/artifact/time.lux10
-rw-r--r--stdlib/source/program/aedifex/artifact/time/date.lux10
-rw-r--r--stdlib/source/program/aedifex/artifact/time/time.lux8
-rw-r--r--stdlib/source/program/aedifex/artifact/versioning.lux6
9 files changed, 33 insertions, 31 deletions
diff --git a/stdlib/source/program/aedifex/artifact/snapshot.lux b/stdlib/source/program/aedifex/artifact/snapshot.lux
index 59053e368..7784faa1f 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot.lux
@@ -6,10 +6,11 @@
[monad (.only do)]]
[control
["<>" parser (.only)
- ["<[0]>" xml (.only Parser)]
- ["<[0]>" text]]]
+ ["<[0]>" xml (.only Parser)]]]
[data
["[0]" sum]
+ ["[0]" text
+ ["<[1]>" \\parser]]
[format
["[0]" xml (.only XML)]]]]]
["[0]" /
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/build.lux b/stdlib/source/program/aedifex/artifact/snapshot/build.lux
index 79c7ba794..641b37105 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/build.lux
@@ -6,11 +6,11 @@
[monad (.only do)]]
[control
["<>" parser
- ["<[0]>" xml (.only Parser)]
- ["<[0]>" text]]]
+ ["<[0]>" xml (.only Parser)]]]
[data
- [text
- ["%" format]]
+ ["[0]" text
+ ["%" format]
+ ["<[1]>" \\parser]]
[format
["[0]" xml (.only XML)]]]
[math
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
index 0831be2b6..3365d685c 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
@@ -6,9 +6,10 @@
[monad (.only do)]]
[control
["<>" parser (.only)
- ["<[0]>" xml (.only Parser)]
- ["<[0]>" text]]]
+ ["<[0]>" xml (.only Parser)]]]
[data
+ ["[0]" text
+ ["<[1]>" \\parser]]
["[0]" product]
[format
["[0]" xml (.only XML)]]]]]
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/time.lux b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
index 732423ad2..64f0173d3 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
@@ -7,11 +7,11 @@
[control
["[0]" exception (.only exception:)]
["<>" parser (.only)
- ["<[0]>" text]
["<[0]>" xml (.only Parser)]]]
[data
- [text
- ["%" format]]
+ ["[0]" text
+ ["%" format]
+ ["<[1]>" \\parser]]
[format
["[0]" xml (.only XML)]]]
[time
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version.lux b/stdlib/source/program/aedifex/artifact/snapshot/version.lux
index a8ee8cbef..bf26ae259 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/version.lux
@@ -6,11 +6,11 @@
[monad (.only do)]]
[control
["<>" parser (.only)
- ["<[0]>" xml (.only Parser)]
- ["<[0]>" text]]]
+ ["<[0]>" xml (.only Parser)]]]
[data
["[0]" product]
- ["[0]" text]
+ ["[0]" text
+ ["<[1]>" \\parser]]
[format
["[0]" xml (.only XML)]]]]]
["[0]" ///
diff --git a/stdlib/source/program/aedifex/artifact/time.lux b/stdlib/source/program/aedifex/artifact/time.lux
index c702b10b4..73f170d55 100644
--- a/stdlib/source/program/aedifex/artifact/time.lux
+++ b/stdlib/source/program/aedifex/artifact/time.lux
@@ -6,13 +6,13 @@
[equivalence (.only Equivalence)]
[monad (.only do)]]
[control
- ["[0]" try (.only Try)]
- ["<>" parser (.only)
- ["<[0]>" text (.only Parser)]]]
+ ["<>" parser (.only)]
+ ["[0]" try (.only Try)]]
[data
["[0]" product]
- [text
- ["%" format (.only Format)]]]
+ ["[0]" text
+ ["%" format (.only Format)]
+ ["<[1]>" \\parser (.only Parser)]]]
[time
["[0]" instant (.only Instant)]]]]
["[0]" /
diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux
index 31a2f0f2a..85dee4278 100644
--- a/stdlib/source/program/aedifex/artifact/time/date.lux
+++ b/stdlib/source/program/aedifex/artifact/time/date.lux
@@ -5,13 +5,13 @@
[monad (.only do)]
[equivalence (.only Equivalence)]]
[control
+ ["<>" parser]
["[0]" try (.only Try)]
- ["[0]" exception (.only exception:)]
- ["<>" parser
- ["<[0]>" text (.only Parser)]]]
+ ["[0]" exception (.only exception:)]]
[data
- [text
- ["%" format]]]
+ ["[0]" text
+ ["%" format]
+ ["<[1]>" \\parser (.only Parser)]]]
[math
[number
["n" nat]
diff --git a/stdlib/source/program/aedifex/artifact/time/time.lux b/stdlib/source/program/aedifex/artifact/time/time.lux
index e890d0231..4b4936563 100644
--- a/stdlib/source/program/aedifex/artifact/time/time.lux
+++ b/stdlib/source/program/aedifex/artifact/time/time.lux
@@ -5,11 +5,11 @@
[abstract
[monad (.only do)]]
[control
- ["<>" parser (.only)
- ["<[0]>" text (.only Parser)]]]
+ ["<>" parser (.only)]]
[data
- [text
- ["%" format]]]
+ ["[0]" text
+ ["%" format]
+ ["<[1]>" \\parser (.only Parser)]]]
[math
[number
["n" nat]]]]]
diff --git a/stdlib/source/program/aedifex/artifact/versioning.lux b/stdlib/source/program/aedifex/artifact/versioning.lux
index fb641b897..bc03b35bd 100644
--- a/stdlib/source/program/aedifex/artifact/versioning.lux
+++ b/stdlib/source/program/aedifex/artifact/versioning.lux
@@ -7,12 +7,12 @@
[control
["[0]" exception (.only exception:)]
["<>" parser (.only)
- ["<[0]>" xml (.only Parser)]
- ["<[0]>" text]]]
+ ["<[0]>" xml (.only Parser)]]]
[data
["[0]" product]
["[0]" text (.only)
- ["%" format]]
+ ["%" format]
+ ["<[1]>" \\parser]]
[format
["[0]" xml (.only XML)]]
[collection