diff options
author | Eduardo Julian | 2021-09-04 12:49:52 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-04 12:49:52 -0400 |
commit | fc8bebd3b3c5f050ea92e72eecbd9f6df09f28db (patch) | |
tree | 24858adac0e67228620b7e9166e3b7335be9fd5a /stdlib/source/program/aedifex/artifact/snapshot/version | |
parent | 891b1cfc82322f8017f0a4f6b707d6fe52024545 (diff) |
De-taggification | part 2
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/artifact/snapshot/version.lux | 16 | ||||
-rw-r--r-- | stdlib/source/program/aedifex/artifact/snapshot/version/value.lux | 6 |
2 files changed, 11 insertions, 11 deletions
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]]) |