diff options
Diffstat (limited to 'stdlib/source/program/aedifex/artifact')
12 files changed, 56 insertions, 56 deletions
diff --git a/stdlib/source/program/aedifex/artifact/extension.lux b/stdlib/source/program/aedifex/artifact/extension.lux index 3150b9df4..df5fe17fe 100644 --- a/stdlib/source/program/aedifex/artifact/extension.lux +++ b/stdlib/source/program/aedifex/artifact/extension.lux @@ -1,9 +1,9 @@ (.module: [library - [lux {"-" [type]} + [lux {"-" type} [data ["[0]" text - ["%" format {"+" [format]}]]] + ["%" format {"+" format}]]] [macro ["[0]" template]]]] ["[0]" // "_" diff --git a/stdlib/source/program/aedifex/artifact/snapshot.lux b/stdlib/source/program/aedifex/artifact/snapshot.lux index 16e10286e..aea20c0b4 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot.lux @@ -1,19 +1,19 @@ (.module: [library - [lux {"-" [Name Type]} + [lux {"-" Name Type} [abstract - [equivalence {"+" [Equivalence]}] - [monad {"+" [do]}]] + [equivalence {"+" Equivalence}] + [monad {"+" do}]] [control ["<>" parser - ["<[0]>" xml {"+" [Parser]}] + ["<[0]>" xml {"+" Parser}] ["<[0]>" text]]] [data ["[0]" sum] [format - ["[0]" xml {"+" [XML]}]]]]] + ["[0]" xml {"+" XML}]]]]] ["[0]" / "_" - ["[1][0]" stamp {"+" [Stamp]}]]) + ["[1][0]" stamp {"+" Stamp}]]) (type: .public Snapshot (Variant 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]]) diff --git a/stdlib/source/program/aedifex/artifact/time.lux b/stdlib/source/program/aedifex/artifact/time.lux index 7096d7420..0cc0a1267 100644 --- a/stdlib/source/program/aedifex/artifact/time.lux +++ b/stdlib/source/program/aedifex/artifact/time.lux @@ -3,18 +3,18 @@ [lux "*" ["[0]" time] [abstract - [equivalence {"+" [Equivalence]}] - [monad {"+" [do]}]] + [equivalence {"+" Equivalence}] + [monad {"+" do}]] [control - ["[0]" try {"+" [Try]}] + ["[0]" try {"+" Try}] ["<>" parser - ["<[0]>" text {"+" [Parser]}]]] + ["<[0]>" text {"+" Parser}]]] [data ["[0]" product] [text - ["%" format {"+" [Format]}]]] + ["%" format {"+" Format}]]] [time - ["[0]" instant {"+" [Instant]}]]]] + ["[0]" instant {"+" Instant}]]]] ["[0]" / "_" ["[1][0]" date] ["[1][0]" time]]) diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux index 464c597c2..bc14e32e0 100644 --- a/stdlib/source/program/aedifex/artifact/time/date.lux +++ b/stdlib/source/program/aedifex/artifact/time/date.lux @@ -2,13 +2,13 @@ [library [lux "*" [abstract - [monad {"+" [do]}] - [equivalence {"+" [Equivalence]}]] + [monad {"+" do}] + [equivalence {"+" Equivalence}]] [control - ["[0]" try {"+" [Try]}] - ["[0]" exception {"+" [exception:]}] + ["[0]" try {"+" Try}] + ["[0]" exception {"+" exception:}] ["<>" parser - ["<[0]>" text {"+" [Parser]}]]] + ["<[0]>" text {"+" Parser}]]] [data [text ["%" format]]] diff --git a/stdlib/source/program/aedifex/artifact/time/time.lux b/stdlib/source/program/aedifex/artifact/time/time.lux index 8b3258c3a..4b77f6d1f 100644 --- a/stdlib/source/program/aedifex/artifact/time/time.lux +++ b/stdlib/source/program/aedifex/artifact/time/time.lux @@ -3,10 +3,10 @@ [lux "*" ["[0]" time] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["<>" parser - ["<[0]>" text {"+" [Parser]}]]] + ["<[0]>" text {"+" Parser}]]] [data [text ["%" format]]] diff --git a/stdlib/source/program/aedifex/artifact/type.lux b/stdlib/source/program/aedifex/artifact/type.lux index 659155f49..5115080c4 100644 --- a/stdlib/source/program/aedifex/artifact/type.lux +++ b/stdlib/source/program/aedifex/artifact/type.lux @@ -1,6 +1,6 @@ (.module: [library - [lux {"-" [Type]}]]) + [lux {"-" Type}]]) ... https://maven.apache.org/ref/3.6.3/maven-core/artifact-handlers.html (type: .public Type diff --git a/stdlib/source/program/aedifex/artifact/versioning.lux b/stdlib/source/program/aedifex/artifact/versioning.lux index 1e8d2cf04..09d8e4758 100644 --- a/stdlib/source/program/aedifex/artifact/versioning.lux +++ b/stdlib/source/program/aedifex/artifact/versioning.lux @@ -2,32 +2,32 @@ [library [lux "*" [abstract - [equivalence {"+" [Equivalence]}] - [monad {"+" [do]}]] + [equivalence {"+" Equivalence}] + [monad {"+" do}]] [control - ["[0]" exception {"+" [exception:]}] + ["[0]" exception {"+" exception:}] ["<>" parser - ["<[0]>" xml {"+" [Parser]}] + ["<[0]>" xml {"+" Parser}] ["<[0]>" text]]] [data ["[0]" product] ["[0]" text ["%" format]] [format - ["[0]" xml {"+" [XML]}]] + ["[0]" xml {"+" XML}]] [collection ["[0]" list ("[1]#[0]" functor)]]] [math [number ["n" nat]]] - ["[0]" time {"+" [Time]} - ["[0]" date {"+" [Date]}] + ["[0]" time {"+" Time} + ["[0]" date {"+" Date}] ["[0]" year] ["[0]" month]]]] ["[0]" // "_" ["[1][0]" time] - ["[1][0]" snapshot {"+" [Snapshot]} - ["[1]/[0]" version {"+" [Version]}]]]) + ["[1][0]" snapshot {"+" Snapshot} + ["[1]/[0]" version {"+" Version}]]]) (type: .public Versioning (Record |