diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/metadata.lux | 8 | ||||
-rw-r--r-- | stdlib/source/program/aedifex/metadata/artifact.lux | 24 | ||||
-rw-r--r-- | stdlib/source/program/aedifex/metadata/snapshot.lux | 30 |
3 files changed, 31 insertions, 31 deletions
diff --git a/stdlib/source/program/aedifex/metadata.lux b/stdlib/source/program/aedifex/metadata.lux index be3e17b55..67a8e58ed 100644 --- a/stdlib/source/program/aedifex/metadata.lux +++ b/stdlib/source/program/aedifex/metadata.lux @@ -3,13 +3,13 @@ [lux "*" [data ["[0]" text - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [world - [file {"+" Path}] + [file (.only Path)] [net - ["[0]" uri {"+" URI}]]]]] + ["[0]" uri (.only URI)]]]]] ["[0]" // "_" - ["[1][0]" artifact {"+" Artifact}]]) + ["[1][0]" artifact (.only Artifact)]]) (def: remote_file Path diff --git a/stdlib/source/program/aedifex/metadata/artifact.lux b/stdlib/source/program/aedifex/metadata/artifact.lux index 285e1c980..78290aa3c 100644 --- a/stdlib/source/program/aedifex/metadata/artifact.lux +++ b/stdlib/source/program/aedifex/metadata/artifact.lux @@ -2,16 +2,16 @@ [library [lux "*" [abstract - [monad {"+" do}] - [equivalence {"+" Equivalence}]] + [monad (.only do)] + [equivalence (.only Equivalence)]] [control ["[0]" pipe] - ["[0]" try {"+" Try}] + ["[0]" try (.only Try)] ["<>" parser - ["<[0]>" xml {"+" Parser}] + ["<[0]>" xml (.only Parser)] ["<[0]>" text]] [concurrency - ["[0]" async {"+" Async}]]] + ["[0]" async (.only Async)]]] [data ["[0]" product] ["[0]" text @@ -19,24 +19,24 @@ [encoding ["[0]" utf8]]] [format - ["[0]" xml {"+" XML}]] + ["[0]" xml (.only XML)]] [collection ["[0]" list ("[1]#[0]" functor)]]] [math [number ["n" nat]]] - ["[0]" time {"+" Time} - ["[0]" instant {"+" Instant}] - ["[0]" date {"+" Date}] + ["[0]" time (.only Time) + ["[0]" instant (.only Instant)] + ["[0]" date (.only Date)] ["[0]" year] ["[0]" month]] [world [net - ["[0]" uri {"+" URI}]]]]] + ["[0]" uri (.only URI)]]]]] ["[0]" // ["/[1]" // "_" - [repository {"+" Repository}] - ["[1][0]" artifact {"+" Group Name Version Artifact}]]]) + [repository (.only Repository)] + ["[1][0]" artifact (.only Group Name Version Artifact)]]]) (type: .public Metadata (Record diff --git a/stdlib/source/program/aedifex/metadata/snapshot.lux b/stdlib/source/program/aedifex/metadata/snapshot.lux index 1a4c73059..b53d741e6 100644 --- a/stdlib/source/program/aedifex/metadata/snapshot.lux +++ b/stdlib/source/program/aedifex/metadata/snapshot.lux @@ -2,17 +2,17 @@ [library [lux {"-" Type} [abstract - [monad {"+" do}] - [equivalence {"+" Equivalence}]] + [monad (.only do)] + [equivalence (.only Equivalence)]] [control ["[0]" pipe] - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)] ["<>" parser - ["<[0]>" xml {"+" Parser}] + ["<[0]>" xml (.only Parser)] ["<[0]>" text]] [concurrency - ["[0]" async {"+" Async}]]] + ["[0]" async (.only Async)]]] [data ["[0]" product] ["[0]" text @@ -20,27 +20,27 @@ [encoding ["[0]" utf8]]] [format - ["[0]" xml {"+" XML}]] + ["[0]" xml (.only XML)]] [collection ["[0]" list ("[1]#[0]" functor)]]] [math [number ["n" nat]]] - ["[0]" time {"+" Time} - ["[0]" instant {"+" Instant}] - ["[0]" date {"+" Date}] + ["[0]" time (.only Time) + ["[0]" instant (.only Instant)] + ["[0]" date (.only Date)] ["[0]" year] ["[0]" month]] [world [net - ["[0]" uri {"+" URI}]]]]] + ["[0]" uri (.only URI)]]]]] ["[0]" // ["/[1]" // "_" - [repository {"+" Repository}] - ["[1][0]" artifact {"+" Group Name Version Artifact} + [repository (.only Repository)] + ["[1][0]" artifact (.only Group Name Version Artifact) ["[1]/[0]" time] - ["[1]/[0]" type {"+" Type}] - ["[1]/[0]" versioning {"+" Versioning}] + ["[1]/[0]" type (.only Type)] + ["[1]/[0]" versioning (.only Versioning)] ["[1]/[0]" snapshot ["[1]/[0]" version] ["[1]/[0]" stamp]]]]]) |