diff options
Diffstat (limited to 'stdlib/source/program/aedifex/artifact/snapshot')
5 files changed, 25 insertions, 25 deletions
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/build.lux b/stdlib/source/program/aedifex/artifact/snapshot/build.lux index 44adcc18b..e5a742264 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/build.lux @@ -2,17 +2,17 @@ [library [lux "*" [abstract - [equivalence {"+" [Equivalence]}] - [monad {"+" [do]}]] + [equivalence {"+" Equivalence}] + [monad {"+" do}]] [control ["<>" parser - ["<[0]>" xml {"+" [Parser]}] + ["<[0]>" xml {"+" Parser}] ["<[0]>" text]]] [data [text ["%" format]] [format - ["[0]" xml {"+" [XML]}]]] + ["[0]" xml {"+" XML}]]] [math [number ["[0]" nat]]]]]) diff --git a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux index f5a08e942..f40cf76e5 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 {"+" Equivalence}] + [monad {"+" do}]] [control ["<>" parser - ["<[0]>" xml {"+" [Parser]}] + ["<[0]>" xml {"+" Parser}] ["<[0]>" text]]] [data ["[0]" product] [format - ["[0]" xml {"+" [XML]}]]]]] + ["[0]" xml {"+" XML}]]]]] ["[0]" // "_" - ["[1][0]" time {"+" [Time]}] - ["[1][0]" build {"+" [Build]}]]) + ["[1][0]" time {"+" Time}] + ["[1][0]" build {"+" 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 0b0bb8227..e3871ff1c 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/time.lux @@ -2,20 +2,20 @@ [library [lux "*" [abstract - [equivalence {"+" [Equivalence]}] - [monad {"+" [do]}]] + [equivalence {"+" Equivalence}] + [monad {"+" do}]] [control - ["[0]" exception {"+" [exception:]}] + ["[0]" exception {"+" exception:}] ["<>" parser ["<[0]>" text] - ["<[0]>" xml {"+" [Parser]}]]] + ["<[0]>" xml {"+" Parser}]]] [data [text ["%" format]] [format - ["[0]" xml {"+" [XML]}]]] + ["[0]" xml {"+" XML}]]] [time - ["[0]" instant {"+" [Instant]}]]]] + ["[0]" instant {"+" Instant}]]]] ["[0]" /// "_" ["[1][0]" time ["[1]/[0]" date] diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version.lux b/stdlib/source/program/aedifex/artifact/snapshot/version.lux index 194956419..e2782c12a 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/version.lux @@ -1,21 +1,21 @@ (.module: [library - [lux {"-" [Type]} + [lux {"-" Type} [abstract - [equivalence {"+" [Equivalence]}] - [monad {"+" [do]}]] + [equivalence {"+" Equivalence}] + [monad {"+" do}]] [control ["<>" parser - ["<[0]>" xml {"+" [Parser]}] + ["<[0]>" xml {"+" Parser}] ["<[0]>" text]]] [data ["[0]" product] ["[0]" text] [format - ["[0]" xml {"+" [XML]}]]]]] + ["[0]" xml {"+" XML}]]]]] ["[0]" /// "_" - ["[1][0]" type {"+" [Type]}] - ["[1][0]" time {"+" [Time]}]]) + ["[1][0]" type {"+" Type}] + ["[1][0]" time {"+" 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 12fe26c46..d2092b306 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 {"+" Equivalence}]] [data ["[0]" product] ["[0]" text ["%" format]]]]] - ["[0]" /// {"+" [Snapshot]} + ["[0]" /// {"+" Snapshot} ["[1][0]" time] ["[1][0]" stamp]]) |