diff options
Diffstat (limited to 'stdlib/source/program/aedifex/artifact/snapshot')
5 files changed, 32 insertions, 32 deletions
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/build.lux b/stdlib/source/program/aedifex/artifact/snapshot/build.lux index 15d0c91dd..3afdf31b1 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/build.lux @@ -1,18 +1,18 @@ (.module: [library - [lux #* + [lux "*" [abstract - [equivalence (#+ Equivalence)] - [monad (#+ do)]] + [equivalence {"+" [Equivalence]}] + [monad {"+" [do]}]] [control ["<>" parser - ["<.>" xml (#+ Parser)] + ["<.>" xml {"+" [Parser]}] ["<.>" text]]] [data [text ["%" format]] [format - ["." xml (#+ XML)]]] + ["." xml {"+" [XML]}]]] [math [number ["." nat]]]]]) diff --git a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux index 91fcc3de5..8d57034ef 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux @@ -1,20 +1,20 @@ (.module: [library - [lux #* + [lux "*" [abstract - [equivalence (#+ Equivalence)] - [monad (#+ do)]] + [equivalence {"+" [Equivalence]}] + [monad {"+" [do]}]] [control ["<>" parser - ["<.>" xml (#+ Parser)] + ["<.>" xml {"+" [Parser]}] ["<.>" text]]] [data ["." product] [format - ["." xml (#+ XML)]]]]] - ["." // #_ - ["#." time (#+ Time)] - ["#." build (#+ Build)]]) + ["." xml {"+" [XML]}]]]]] + ["." // "_" + ["#." time {"+" [Time]}] + ["#." 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 703354eb8..ab62308b2 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/time.lux @@ -1,22 +1,22 @@ (.module: [library - [lux #* + [lux "*" [abstract - [equivalence (#+ Equivalence)] - [monad (#+ do)]] + [equivalence {"+" [Equivalence]}] + [monad {"+" [do]}]] [control - ["." exception (#+ exception:)] + ["." exception {"+" [exception:]}] ["<>" parser ["<.>" text] - ["<.>" xml (#+ Parser)]]] + ["<.>" xml {"+" [Parser]}]]] [data [text ["%" format]] [format - ["." xml (#+ XML)]]] + ["." xml {"+" [XML]}]]] [time - ["." instant (#+ Instant)]]]] - ["." /// #_ + ["." instant {"+" [Instant]}]]]] + ["." /// "_" ["#." time ["#/." date] ["#/." time]]]) diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version.lux b/stdlib/source/program/aedifex/artifact/snapshot/version.lux index 821d3d2c5..ff3017838 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 - ["<.>" xml (#+ Parser)] + ["<.>" xml {"+" [Parser]}] ["<.>" text]]] [data ["." product] ["." text] [format - ["." xml (#+ XML)]]]]] - ["." /// #_ - ["#." type (#+ Type)] - ["#." time (#+ Time)]]) + ["." xml {"+" [XML]}]]]]] + ["." /// "_" + ["#." type {"+" [Type]}] + ["#." 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 9aacdf6de..eff775ab3 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux @@ -1,13 +1,13 @@ (.module: [library - [lux #* + [lux "*" [abstract - [equivalence (#+ Equivalence)]] + [equivalence {"+" [Equivalence]}]] [data ["." product] ["." text ["%" format]]]]] - ["." /// (#+ Snapshot) + ["." /// {"+" [Snapshot]} ["#." time] ["#." stamp]]) |