diff options
Diffstat (limited to 'stdlib/source/program/aedifex/artifact')
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 |