diff options
Diffstat (limited to 'stdlib/source/program/aedifex/artifact')
11 files changed, 101 insertions, 101 deletions
diff --git a/stdlib/source/program/aedifex/artifact/extension.lux b/stdlib/source/program/aedifex/artifact/extension.lux index 65d336585..837c536ca 100644 --- a/stdlib/source/program/aedifex/artifact/extension.lux +++ b/stdlib/source/program/aedifex/artifact/extension.lux @@ -1,13 +1,13 @@ (.using - [library - [lux {"-" type} - [data - ["[0]" text - ["%" format {"+" format}]]] - [macro - ["[0]" template]]]] - ["[0]" // "_" - ["[1]" type]]) + [library + [lux {"-" type} + [data + ["[0]" text + ["%" format (.only format)]]] + [macro + ["[0]" template]]]] + ["[0]" // "_" + ["[1]" type]]) (type: .public Extension Text) diff --git a/stdlib/source/program/aedifex/artifact/snapshot.lux b/stdlib/source/program/aedifex/artifact/snapshot.lux index db9fa0891..734d48ab8 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot.lux @@ -2,18 +2,18 @@ [library [lux {"-" Type} [abstract - [equivalence {"+" Equivalence}] - [monad {"+" do}]] + [equivalence (.only Equivalence)] + [monad (.only do)]] [control ["<>" parser - ["<[0]>" xml {"+" Parser}] + ["<[0]>" xml (.only Parser)] ["<[0]>" text]]] [data ["[0]" sum] [format - ["[0]" xml {"+" XML}]]]]] + ["[0]" xml (.only XML)]]]]] ["[0]" / "_" - ["[1][0]" stamp {"+" Stamp}]]) + ["[1][0]" stamp (.only 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 fbf89fc55..f4b863522 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/build.lux @@ -1,21 +1,21 @@ (.using - [library - [lux "*" - [abstract - [equivalence {"+" Equivalence}] - [monad {"+" do}]] - [control - ["<>" parser - ["<[0]>" xml {"+" Parser}] - ["<[0]>" text]]] - [data - [text - ["%" format]] - [format - ["[0]" xml {"+" XML}]]] - [math - [number - ["[0]" nat]]]]]) + [library + [lux "*" + [abstract + [equivalence (.only Equivalence)] + [monad (.only do)]] + [control + ["<>" parser + ["<[0]>" xml (.only Parser)] + ["<[0]>" text]]] + [data + [text + ["%" format]] + [format + ["[0]" xml (.only XML)]]] + [math + [number + ["[0]" nat]]]]]) (type: .public Build Nat) diff --git a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux index 55a3957a9..21867d58f 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 (.only Equivalence)] + [monad (.only do)]] [control ["<>" parser - ["<[0]>" xml {"+" Parser}] + ["<[0]>" xml (.only Parser)] ["<[0]>" text]]] [data ["[0]" product] [format - ["[0]" xml {"+" XML}]]]]] + ["[0]" xml (.only XML)]]]]] ["[0]" // "_" - ["[1][0]" time {"+" Time}] - ["[1][0]" build {"+" Build}]]) + ["[1][0]" time (.only Time)] + ["[1][0]" build (.only 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 8088c5707..0a3337a56 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/time.lux @@ -1,25 +1,25 @@ (.using - [library - [lux "*" - [abstract - [equivalence {"+" Equivalence}] - [monad {"+" do}]] - [control - ["[0]" exception {"+" exception:}] - ["<>" parser - ["<[0]>" text] - ["<[0]>" xml {"+" Parser}]]] - [data - [text - ["%" format]] - [format - ["[0]" xml {"+" XML}]]] - [time - ["[0]" instant {"+" Instant}]]]] - ["[0]" /// "_" - ["[1][0]" time - ["[1]/[0]" date] - ["[1]/[0]" time]]]) + [library + [lux "*" + [abstract + [equivalence (.only Equivalence)] + [monad (.only do)]] + [control + ["[0]" exception (.only exception:)] + ["<>" parser + ["<[0]>" text] + ["<[0]>" xml (.only Parser)]]] + [data + [text + ["%" format]] + [format + ["[0]" xml (.only XML)]]] + [time + ["[0]" instant (.only Instant)]]]] + ["[0]" /// "_" + ["[1][0]" time + ["[1]/[0]" date] + ["[1]/[0]" time]]]) (type: .public Time ///time.Time) diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version.lux b/stdlib/source/program/aedifex/artifact/snapshot/version.lux index e5053ed73..e2c677c42 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/version.lux @@ -2,20 +2,20 @@ [library [lux {"-" Type} [abstract - [equivalence {"+" Equivalence}] - [monad {"+" do}]] + [equivalence (.only Equivalence)] + [monad (.only do)]] [control ["<>" parser - ["<[0]>" xml {"+" Parser}] + ["<[0]>" xml (.only Parser)] ["<[0]>" text]]] [data ["[0]" product] ["[0]" text] [format - ["[0]" xml {"+" XML}]]]]] + ["[0]" xml (.only XML)]]]]] ["[0]" /// "_" - ["[1][0]" type {"+" Type}] - ["[1][0]" time {"+" Time}]]) + ["[1][0]" type (.only Type)] + ["[1][0]" time (.only 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 63bed8532..0e64d52ec 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 (.only Equivalence)]] [data ["[0]" product] ["[0]" text ["%" format]]]]] - ["[0]" /// {"+" Snapshot} + ["[0]" /// (.only 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 efd33ca0a..9f6a123f0 100644 --- a/stdlib/source/program/aedifex/artifact/time.lux +++ b/stdlib/source/program/aedifex/artifact/time.lux @@ -1,23 +1,23 @@ (.using - [library - [lux "*" - ["[0]" time] - [abstract - [equivalence {"+" Equivalence}] - [monad {"+" do}]] - [control - ["[0]" try {"+" Try}] - ["<>" parser - ["<[0]>" text {"+" Parser}]]] - [data - ["[0]" product] - [text - ["%" format {"+" Format}]]] - [time - ["[0]" instant {"+" Instant}]]]] - ["[0]" / "_" - ["[1][0]" date] - ["[1][0]" time]]) + [library + [lux "*" + ["[0]" time] + [abstract + [equivalence (.only Equivalence)] + [monad (.only do)]] + [control + ["[0]" try (.only Try)] + ["<>" parser + ["<[0]>" text (.only Parser)]]] + [data + ["[0]" product] + [text + ["%" format (.only Format)]]] + [time + ["[0]" instant (.only Instant)]]]] + ["[0]" / "_" + ["[1][0]" date] + ["[1][0]" time]]) (type: .public Time [/date.Date /time.Time]) diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux index d3af4c01b..9962b9ade 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 (.only do)] + [equivalence (.only Equivalence)]] [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)] ["<>" parser - ["<[0]>" text {"+" Parser}]]] + ["<[0]>" text (.only 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 15ce0e183..00f0bebe8 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 (.only do)]] [control ["<>" parser - ["<[0]>" text {"+" Parser}]]] + ["<[0]>" text (.only Parser)]]] [data [text ["%" format]]] diff --git a/stdlib/source/program/aedifex/artifact/versioning.lux b/stdlib/source/program/aedifex/artifact/versioning.lux index 16789996f..d58f9b2e2 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 (.only Equivalence)] + [monad (.only do)]] [control - ["[0]" exception {"+" exception:}] + ["[0]" exception (.only exception:)] ["<>" parser - ["<[0]>" xml {"+" Parser}] + ["<[0]>" xml (.only Parser)] ["<[0]>" text]]] [data ["[0]" product] ["[0]" text ["%" format]] [format - ["[0]" xml {"+" XML}]] + ["[0]" xml (.only XML)]] [collection ["[0]" list ("[1]#[0]" functor)]]] [math [number ["n" nat]]] - ["[0]" time {"+" Time} - ["[0]" date {"+" Date}] + ["[0]" time (.only Time) + ["[0]" date (.only Date)] ["[0]" year] ["[0]" month]]]] ["[0]" // "_" ["[1][0]" time] - ["[1][0]" snapshot {"+" Snapshot} - ["[1]/[0]" version {"+" Version}]]]) + ["[1][0]" snapshot (.only Snapshot) + ["[1]/[0]" version (.only Version)]]]) (type: .public Versioning (Record |