diff options
Diffstat (limited to '')
49 files changed, 438 insertions, 438 deletions
diff --git a/stdlib/source/program/aedifex.lux b/stdlib/source/program/aedifex.lux index b964e8fef..afebeb2ec 100644 --- a/stdlib/source/program/aedifex.lux +++ b/stdlib/source/program/aedifex.lux @@ -1,30 +1,30 @@ (.using [library [lux {"-" local} - [program {"+" program:}] + [program (.only program:)] ["[0]" debug] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" io {"+" IO}] + ["[0]" io (.only IO)] ["[0]" maybe] - ["[0]" try {"+" Try} ("[1]#[0]" functor)] - ["[0]" exception {"+" exception:}] + ["[0]" try (.only Try) ("[1]#[0]" functor)] + ["[0]" exception (.only exception:)] [parser - [environment {"+" Environment}]] + [environment (.only Environment)]] [concurrency - ["[0]" async {"+" Async} ("[1]#[0]" monad)]]] + ["[0]" async (.only Async) ("[1]#[0]" monad)]]] [data - [binary {"+" Binary}] + [binary (.only Binary)] ["[0]" text - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [format ["[0]" xml]] [collection ["[0]" set] - ["[0]" dictionary {"+" Dictionary}] + ["[0]" dictionary (.only Dictionary)] ["[0]" list ("[1]#[0]" functor)]]] [tool [compiler @@ -32,27 +32,27 @@ [lux ["[0]" syntax]]]]] [world - ["[0]" shell {"+" Exit Shell}] - ["[0]" console {"+" Console}] - ["[0]" program {"+" Program}] - ["[0]" file {"+" Path} + ["[0]" shell (.only Exit Shell)] + ["[0]" console (.only Console)] + ["[0]" program (.only Program)] + ["[0]" file (.only Path) ["[0]" watch]] [net ["[0]" http "_" ["[1]" client]]]]]] ["[0]" / "_" ["[1]" profile] - ["[1][0]" action {"+" Action}] - ["[1][0]" project {"+" Project}] + ["[1][0]" action (.only Action)] + ["[1][0]" project (.only Project)] ["[1][0]" input] ["[1][0]" pom] ["[1][0]" cli] ["[1][0]" dependency "_" - ["[1]" resolution {"+" Resolution}]] - ["[1][0]" repository {"+" Repository} - ["[1]/[0]" remote {"+" Address}] + ["[1]" resolution (.only Resolution)]] + ["[1][0]" repository (.only Repository) + ["[1]/[0]" remote (.only Address)] ["[1]/[0]" local]] - ["[1][0]" command {"+" Command} + ["[1][0]" command (.only Command) ["[1]/[0]" version] ["[1]/[0]" clean] ["[1]/[0]" pom] diff --git a/stdlib/source/program/aedifex/action.lux b/stdlib/source/program/aedifex/action.lux index d9e168e9f..451d72cef 100644 --- a/stdlib/source/program/aedifex/action.lux +++ b/stdlib/source/program/aedifex/action.lux @@ -2,11 +2,11 @@ [library [lux "*" [abstract - [monad {"+" Monad}]] + [monad (.only Monad)]] [control - ["[0]" try {"+" Try}] + ["[0]" try (.only Try)] [concurrency - ["[0]" async {"+" Async}]]]]]) + ["[0]" async (.only Async)]]]]]) (type: .public (Action a) (Async (Try a))) diff --git a/stdlib/source/program/aedifex/artifact.lux b/stdlib/source/program/aedifex/artifact.lux index 4d3d9cc87..32e37e293 100644 --- a/stdlib/source/program/aedifex/artifact.lux +++ b/stdlib/source/program/aedifex/artifact.lux @@ -2,19 +2,19 @@ [library [lux {"-" local} [abstract - [equivalence {"+" Equivalence}] - [order {"+" Order}] - [hash {"+" Hash}]] + [equivalence (.only Equivalence)] + [order (.only Order)] + [hash (.only Hash)]] [data ["[0]" product] ["[0]" text ("[1]#[0]" order) - ["%" format {"+" Format}]] + ["%" format (.only Format)]] [collection ["[0]" list ("[1]#[0]" monoid)]]] [world - ["[0]" file {"+" Path}] + ["[0]" file (.only Path)] [net - ["[0]" uri {"+" URI}]]]]]) + ["[0]" uri (.only URI)]]]]]) (type: .public Group Text) 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 diff --git a/stdlib/source/program/aedifex/cli.lux b/stdlib/source/program/aedifex/cli.lux index 135aa0c15..dca35ac86 100644 --- a/stdlib/source/program/aedifex/cli.lux +++ b/stdlib/source/program/aedifex/cli.lux @@ -2,19 +2,19 @@ [library [lux "*" [abstract - [equivalence {"+" Equivalence}] - [monad {"+" do}]] + [equivalence (.only Equivalence)] + [monad (.only do)]] [control ["<>" parser - ["[0]" cli {"+" Parser}]]] + ["[0]" cli (.only Parser)]]] [data ["[0]" sum] ["[0]" product] ["[0]" text]]]] [// [repository - [identity {"+" Identity}]] - ["/" profile {"+" Name}]]) + [identity (.only Identity)]] + ["/" profile (.only Name)]]) (type: .public Compilation (Variant diff --git a/stdlib/source/program/aedifex/command.lux b/stdlib/source/program/aedifex/command.lux index 89b03c25d..5cca59ce3 100644 --- a/stdlib/source/program/aedifex/command.lux +++ b/stdlib/source/program/aedifex/command.lux @@ -1,9 +1,9 @@ (.using - [library - [lux "*"]] - ["[0]" // "_" - ["[1]" profile] - ["[1][0]" action {"+" Action}]]) + [library + [lux "*"]] + ["[0]" // "_" + ["[1]" profile] + ["[1][0]" action (.only Action)]]) (type: .public (Command a) (-> //.Profile (Action a))) diff --git a/stdlib/source/program/aedifex/command/auto.lux b/stdlib/source/program/aedifex/command/auto.lux index 7ae0c53d3..56cf050a6 100644 --- a/stdlib/source/program/aedifex/command/auto.lux +++ b/stdlib/source/program/aedifex/command/auto.lux @@ -2,28 +2,28 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control - ["[0]" try {"+" Try}] + ["[0]" try (.only Try)] [concurrency - ["[0]" async {"+" Async}]]] + ["[0]" async (.only Async)]]] [data [collection ["[0]" list] ["[0]" set]]] [world - [program {"+" Program}] - [shell {"+" Exit Shell}] - [console {"+" Console}] + [program (.only Program)] + [shell (.only Exit Shell)] + [console (.only Console)] ["[0]" file - ["[0]" watch {"+" Watcher}]]]]] + ["[0]" watch (.only Watcher)]]]]] ["[0]" // "_" ["/[1]" // "_" - [command {"+" Command}] + [command (.only Command)] ["[1]" profile] ["[1][0]" action] [dependency - [resolution {"+" Resolution}]]]]) + [resolution (.only Resolution)]]]]) (def: (targets fs path) (-> (file.System Async) file.Path (Async (List file.Path))) diff --git a/stdlib/source/program/aedifex/command/build.lux b/stdlib/source/program/aedifex/command/build.lux index 71eee1347..ecee82fe1 100644 --- a/stdlib/source/program/aedifex/command/build.lux +++ b/stdlib/source/program/aedifex/command/build.lux @@ -1,28 +1,28 @@ (.using [library [lux {"-" Lux} - ["[0]" ffi {"+" import:}] + ["[0]" ffi (.only import:)] [abstract - [order {"+" Order}] - [monad {"+" do}]] + [order (.only Order)] + [monad (.only do)]] [control - ["[0]" try {"+" Try} ("[1]#[0]" functor)] - ["[0]" exception {"+" exception:}] - ["[0]" io {"+" IO}] + ["[0]" try (.only Try) ("[1]#[0]" functor)] + ["[0]" exception (.only exception:)] + ["[0]" io (.only IO)] [concurrency - ["[0]" async {"+" Async} ("[1]#[0]" monad)]]] + ["[0]" async (.only Async) ("[1]#[0]" monad)]]] [data ["[0]" product] ["[0]" text ("[1]#[0]" order) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)] - ["[0]" dictionary {"+" Dictionary}] + ["[0]" dictionary (.only Dictionary)] ["[0]" set]]] [macro ["^" pattern]] [math - [number {"+" hex} + [number (.only hex) ["n" nat] ["i" int]]] [meta @@ -35,22 +35,22 @@ ["[0]" packager ["[0]_[1]" ruby]]]]] [world - ["[0]" program {"+" Program}] - ["[0]" file {"+" Path}] - ["[0]" shell {"+" Exit Process Shell}] - ["[0]" console {"+" Console}] + ["[0]" program (.only Program)] + ["[0]" file (.only Path)] + ["[0]" shell (.only Exit Process Shell)] + ["[0]" console (.only Console)] [net ["[0]" uri]]]]] ["[0]" /// "_" ["[1]" profile] ["[1][0]" action] - ["[1][0]" command {"+" Command}] + ["[1][0]" command (.only Command)] ["[1][0]" local] ["[1][0]" repository] ["[1][0]" runtime] - ["[1][0]" dependency {"+" Dependency} - ["[1]/[0]" resolution {"+" Resolution}]] - ["[1][0]" artifact {"+" Group Name Version Artifact} + ["[1][0]" dependency (.only Dependency) + ["[1]/[0]" resolution (.only Resolution)]] + ["[1][0]" artifact (.only Group Name Version Artifact) ["[1]/[0]" type]]]) (type: Finder diff --git a/stdlib/source/program/aedifex/command/clean.lux b/stdlib/source/program/aedifex/command/clean.lux index 98f1461a8..e398b7bd2 100644 --- a/stdlib/source/program/aedifex/command/clean.lux +++ b/stdlib/source/program/aedifex/command/clean.lux @@ -2,21 +2,21 @@ [library [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control - [try {"+" Try}] + [try (.only Try)] [concurrency - ["[0]" async {"+" Async}]]] + ["[0]" async (.only Async)]]] [data [text - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [world - ["[0]" file {"+" Path}] - ["[0]" console {"+" Console}]]]] + ["[0]" file (.only Path)] + ["[0]" console (.only Console)]]]] ["[0]" /// "_" - [command {"+" Command}] + [command (.only Command)] ["[1]" profile] - ["[1][0]" action {"+" Action}]]) + ["[1][0]" action (.only Action)]]) (def: (clean_files! fs root) (-> (file.System Async) Path (Async (Try Any))) diff --git a/stdlib/source/program/aedifex/command/deploy.lux b/stdlib/source/program/aedifex/command/deploy.lux index 504a9206f..39e1c9815 100644 --- a/stdlib/source/program/aedifex/command/deploy.lux +++ b/stdlib/source/program/aedifex/command/deploy.lux @@ -2,24 +2,24 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - [try {"+" Try}] + [try (.only Try)] [concurrency - [async {"+" Async}]]] + [async (.only Async)]]] [world - [program {"+" Program}] - [shell {"+" Shell}] + [program (.only Program)] + [shell (.only Shell)] ["[0]" file] - ["[0]" console {"+" Console}]]]] + ["[0]" console (.only Console)]]]] ["[0]" / "_" ["[1][0]" snapshot] ["[1][0]" release] ["/[1]" // "_" ["/[1]" // "_" - [command {"+" Command}] - [repository {"+" Repository}] - [artifact {"+" Artifact}] + [command (.only Command)] + [repository (.only Repository)] + [artifact (.only Artifact)] ["/" profile] ["[1][0]" action]]]]) diff --git a/stdlib/source/program/aedifex/command/deploy/release.lux b/stdlib/source/program/aedifex/command/deploy/release.lux index b8b6e2531..51f07d66a 100644 --- a/stdlib/source/program/aedifex/command/deploy/release.lux +++ b/stdlib/source/program/aedifex/command/deploy/release.lux @@ -1,20 +1,20 @@ (.using [library [lux "*" - ["[0]" ffi {"+" import:}] + ["[0]" ffi (.only import:)] [abstract - [predicate {"+" Predicate}] - ["[0]" monad {"+" do}]] + [predicate (.only Predicate)] + ["[0]" monad (.only do)]] [control ["[0]" pipe] - ["[0]" try {"+" Try}] - ["[0]" io {"+" IO}] + ["[0]" try (.only Try)] + ["[0]" io (.only IO)] [concurrency - ["[0]" async {"+" Async}]] + ["[0]" async (.only Async)]] [parser ["[0]" environment]]] [data - ["[0]" binary {"+" Binary}] + ["[0]" binary (.only Binary)] ["[0]" text ["%" format] [encoding @@ -35,16 +35,16 @@ ["[0]" packager "_" ["[1]" jvm]]]]] [world - [program {"+" Program}] - [console {"+" Console}] - ["[0]" shell {"+" Shell}] + [program (.only Program)] + [console (.only Console)] + ["[0]" shell (.only Shell)] ["[0]" file]]]] ["[0]" // "_" ["[1][0]" snapshot] ["/[1]" // "_" ["[1][0]" install] ["/[1]" // "_" - [command {"+" Command}] + [command (.only Command)] ["/" profile] ["[1][0]" action] ["[1][0]" pom] @@ -53,12 +53,12 @@ ["[1][0]" dependency "_" ["[1]/[0]" deployment] ["[1]/[0]" status]] - ["[1][0]" repository {"+" Repository} + ["[1][0]" repository (.only Repository) ["[1]/[0]" origin] ["[1]/[0]" local]] - ["[1][0]" artifact {"+" Artifact} + ["[1][0]" artifact (.only Artifact) ["[1]/[0]" type] - ["[1]/[0]" extension {"+" Extension}]]]]]) + ["[1]/[0]" extension (.only Extension)]]]]]) (import: java/lang/String "[1]::[0]" diff --git a/stdlib/source/program/aedifex/command/deploy/snapshot.lux b/stdlib/source/program/aedifex/command/deploy/snapshot.lux index fa69e8311..dc165a8ad 100644 --- a/stdlib/source/program/aedifex/command/deploy/snapshot.lux +++ b/stdlib/source/program/aedifex/command/deploy/snapshot.lux @@ -2,11 +2,11 @@ [library [lux "*" [abstract - [monad {"+" do}] - [predicate {"+" Predicate}]] + [monad (.only do)] + [predicate (.only Predicate)]] [control [concurrency - ["[0]" async {"+" Async}]]] + ["[0]" async (.only Async)]]] [data ["[0]" text [encoding @@ -22,10 +22,10 @@ [meta ["[0]" export]]]] [world - [console {"+" Console}] + [console (.only Console)] ["[0]" file]]]] ["[0]" //// "_" - [command {"+" Command}] + [command (.only Command)] ["/" profile] ["[1][0]" action] ["[1][0]" pom] @@ -33,9 +33,9 @@ ["[1][0]" dependency "_" ["[1]/[0]" deployment] ["[1]/[0]" status]] - ["[1][0]" repository {"+" Repository} + ["[1][0]" repository (.only Repository) ["[1]/[0]" origin]] - ["[1][0]" artifact {"+" Artifact} + ["[1][0]" artifact (.only Artifact) ["[1]/[0]" type]]]) (def: .public snapshot? diff --git a/stdlib/source/program/aedifex/command/deps.lux b/stdlib/source/program/aedifex/command/deps.lux index b6d07d986..f4c9591ce 100644 --- a/stdlib/source/program/aedifex/command/deps.lux +++ b/stdlib/source/program/aedifex/command/deps.lux @@ -2,33 +2,33 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" exception] [concurrency - ["[0]" async {"+" Async}]]] + ["[0]" async (.only Async)]]] [data [collection - ["[0]" set {"+" Set}] + ["[0]" set (.only Set)] ["[0]" list ("[1]#[0]" mix)] ["[0]" dictionary]] [text ["%" format]]] [world - [net {"+" URL}] - [program {"+" Program}] + [net (.only URL)] + [program (.only Program)] ["[0]" file] - ["[0]" console {"+" Console}]]]] + ["[0]" console (.only Console)]]]] ["[0]" // "_" ["[1][0]" clean] ["/[1]" // "_" - [command {"+" Command}] - [repository {"+" Repository}] + [command (.only Command)] + [repository (.only Repository)] ["[1]" profile] - ["[1][0]" action {"+" Action}] - ["[1][0]" artifact {"+" Artifact}] - ["[1][0]" dependency {"+" Dependency} - ["[1]/[0]" resolution {"+" Resolution}] + ["[1][0]" action (.only Action)] + ["[1][0]" artifact (.only Artifact)] + ["[1][0]" dependency (.only Dependency) + ["[1]/[0]" resolution (.only Resolution)] ["[1]/[0]" deployment]]]]) (def: format diff --git a/stdlib/source/program/aedifex/command/install.lux b/stdlib/source/program/aedifex/command/install.lux index aced7165c..fee072b18 100644 --- a/stdlib/source/program/aedifex/command/install.lux +++ b/stdlib/source/program/aedifex/command/install.lux @@ -2,14 +2,14 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" try {"+" Try}] + ["[0]" try (.only Try)] ["[0]" exception] [concurrency - ["[0]" async {"+" Async}]]] + ["[0]" async (.only Async)]]] [data - [binary {"+" Binary}] + [binary (.only Binary)] [text [encoding ["[0]" utf8]]] @@ -24,24 +24,24 @@ [meta ["[0]" export]]]] [world - [program {"+" Program}] + [program (.only Program)] ["[0]" file] - ["[0]" console {"+" Console}]]]] + ["[0]" console (.only Console)]]]] ["[0]" // "_" ["[1][0]" clean] ["/[1]" // "_" - ["/" profile {"+" Profile}] - ["[1][0]" action {"+" Action}] - ["[1][0]" command {"+" Command}] + ["/" profile (.only Profile)] + ["[1][0]" action (.only Action)] + ["[1][0]" command (.only Command)] ["[1][0]" local] ["[1][0]" pom] ["[1][0]" package] - [repository {"+" Repository} + [repository (.only Repository) ["[1][0]" origin]] ["[1][0]" dependency "_" ["[1]/[0]" deployment] ["[1]/[0]" status]] - ["[1][0]" artifact {"+" Artifact} + ["[1][0]" artifact (.only Artifact) ["[1]/[0]" type]]]]) (def: .public success diff --git a/stdlib/source/program/aedifex/command/pom.lux b/stdlib/source/program/aedifex/command/pom.lux index 23c25e7e1..3b443a178 100644 --- a/stdlib/source/program/aedifex/command/pom.lux +++ b/stdlib/source/program/aedifex/command/pom.lux @@ -2,23 +2,23 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" try {"+" Try} ("[1]#[0]" functor)] + ["[0]" try (.only Try) ("[1]#[0]" functor)] [concurrency - ["[0]" async {"+" Async} ("[1]#[0]" monad)]]] + ["[0]" async (.only Async) ("[1]#[0]" monad)]]] [data [text - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [format ["[0]" xml]]] [world ["[0]" file] - ["[0]" console {"+" Console}]]]] + ["[0]" console (.only Console)]]]] ["[0]" /// "_" - [command {"+" Command}] + [command (.only Command)] ["[1][0]" action] ["[1][0]" pom]]) diff --git a/stdlib/source/program/aedifex/command/test.lux b/stdlib/source/program/aedifex/command/test.lux index 1d4da3262..44cdbc1ed 100644 --- a/stdlib/source/program/aedifex/command/test.lux +++ b/stdlib/source/program/aedifex/command/test.lux @@ -2,11 +2,11 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - [try {"+" Try}] + [try (.only Try)] [concurrency - ["[0]" async {"+" Async} ("[1]#[0]" monad)]]] + ["[0]" async (.only Async) ("[1]#[0]" monad)]]] [data [collection ["[0]" dictionary]]] @@ -16,19 +16,19 @@ [number ["i" int]]] [world - ["[0]" program {"+" Program}] + ["[0]" program (.only Program)] ["[0]" file] - ["[0]" shell {"+" Exit Shell}] - ["[0]" console {"+" Console}]]]] + ["[0]" shell (.only Exit Shell)] + ["[0]" console (.only Console)]]]] ["[0]" // "_" ["[1][0]" build] ["/[1]" // "_" ["[1]" profile] ["[1][0]" action] - ["[1][0]" command {"+" Command}] + ["[1][0]" command (.only Command)] ["[1][0]" runtime] [dependency - [resolution {"+" Resolution}]]]]) + [resolution (.only Resolution)]]]]) (def: .public start "[TEST STARTED]") (def: .public success "[TEST ENDED]") diff --git a/stdlib/source/program/aedifex/command/version.lux b/stdlib/source/program/aedifex/command/version.lux index 9c40edd97..7725dcbc2 100644 --- a/stdlib/source/program/aedifex/command/version.lux +++ b/stdlib/source/program/aedifex/command/version.lux @@ -2,18 +2,18 @@ [library [lux "*" [control - [try {"+" Try}] + [try (.only Try)] [concurrency - ["[0]" async {"+" Async}]]] + ["[0]" async (.only Async)]]] ["[0]" meta "_" ["[1]/[0]" version]] [tool [compiler ["[0]" version]]] [world - ["[0]" console {"+" Console}]]]] + ["[0]" console (.only Console)]]]] [/// - [command {"+" Command}]]) + [command (.only Command)]]) (def: .public (do! console profile) (-> (Console Async) (Command Any)) diff --git a/stdlib/source/program/aedifex/dependency.lux b/stdlib/source/program/aedifex/dependency.lux index edeccc15f..fd5e08bee 100644 --- a/stdlib/source/program/aedifex/dependency.lux +++ b/stdlib/source/program/aedifex/dependency.lux @@ -2,16 +2,16 @@ [library [lux {"-" Type} [abstract - [equivalence {"+" Equivalence}] - [order {"+" Order}] - [hash {"+" Hash}]] + [equivalence (.only Equivalence)] + [order (.only Order)] + [hash (.only Hash)]] [data ["[0]" product] ["[0]" text ("[1]#[0]" order) - ["%" format {"+" format}]]]]] + ["%" format (.only format)]]]]] ["[0]" // "_" - ["[1]" artifact {"+" Artifact} ("[1]#[0]" order) - [type {"+" Type}]]]) + ["[1]" artifact (.only Artifact) ("[1]#[0]" order) + [type (.only Type)]]]) (type: .public Dependency (Record diff --git a/stdlib/source/program/aedifex/dependency/deployment.lux b/stdlib/source/program/aedifex/dependency/deployment.lux index c4adf703b..dd4242192 100644 --- a/stdlib/source/program/aedifex/dependency/deployment.lux +++ b/stdlib/source/program/aedifex/dependency/deployment.lux @@ -2,43 +2,43 @@ [library [lux {"-" all} [abstract - [codec {"+" Codec}] - ["[0]" monad {"+" do}]] + [codec (.only Codec)] + ["[0]" monad (.only do)]] [control - ["[0]" try {"+" Try}] + ["[0]" try (.only Try)] [concurrency - ["[0]" async {"+" Async}]]] + ["[0]" async (.only Async)]]] [data - [binary {"+" Binary}] + [binary (.only Binary)] ["[0]" product] [text - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection ["[0]" dictionary] - ["[0]" set {"+" Set}] + ["[0]" set (.only Set)] ["[0]" list ("[1]#[0]" monoid)]]] [time - ["[0]" instant {"+" Instant}]]]] + ["[0]" instant (.only Instant)]]]] ["[0]" /// "_" - [repository {"+" Repository}] - ["[1][0]" hash {"+" Hash}] - ["[1][0]" package {"+" Package}] - ["[1][0]" artifact {"+" Artifact} + [repository (.only Repository)] + ["[1][0]" hash (.only Hash)] + ["[1][0]" package (.only Package)] + ["[1][0]" artifact (.only Artifact) ["[1]/[0]" time] ["[1]/[0]" type] - ["[1]/[0]" extension {"+" Extension}] + ["[1]/[0]" extension (.only Extension)] ["[1]/[0]" versioning] ["[1]/[0]" snapshot ["[1]/[0]" version ["[1]/[0]" value]]]] ["[1][0]" metadata "_" ["[1]/[0]" artifact] - ["[1]/[0]" snapshot {"+" Metadata}]] - ["[1][0]" dependency {"+" Dependency} - [resolution {"+" Resolution}] - ["[1]/[0]" status {"+" Status}]]]) + ["[1]/[0]" snapshot (.only Metadata)]] + ["[1][0]" dependency (.only Dependency) + [resolution (.only Resolution)] + ["[1]/[0]" status (.only Status)]]]) (def: (with_status repository version_template [artifact type] [data status]) (-> (Repository Async) ///artifact.Version Dependency [Binary Status] (Async (Try Any))) diff --git a/stdlib/source/program/aedifex/dependency/resolution.lux b/stdlib/source/program/aedifex/dependency/resolution.lux index 753c7d4a4..0e1e9d291 100644 --- a/stdlib/source/program/aedifex/dependency/resolution.lux +++ b/stdlib/source/program/aedifex/dependency/resolution.lux @@ -3,30 +3,30 @@ [lux {"-" all} ["@" target] ["[0]" debug] - ["[0]" ffi {"+" import:}] + ["[0]" ffi (.only import:)] [abstract - [codec {"+" Codec}] - [equivalence {"+" Equivalence}] - [monad {"+" do}] - ["[0]" predicate {"+" Predicate}]] + [codec (.only Codec)] + [equivalence (.only Equivalence)] + [monad (.only do)] + ["[0]" predicate (.only Predicate)]] [control ["[0]" maybe] - ["[0]" try {"+" Try} ("[1]#[0]" functor)] - ["[0]" exception {"+" Exception exception:}] + ["[0]" try (.only Try) ("[1]#[0]" functor)] + ["[0]" exception (.only Exception exception:)] ["<>" parser - ["<[0]>" xml {"+" Parser}]] + ["<[0]>" xml (.only Parser)]] [concurrency - ["[0]" async {"+" Async}]]] + ["[0]" async (.only Async)]]] [data - ["[0]" binary {"+" Binary}] + ["[0]" binary (.only Binary)] ["[0]" text - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [format - ["[0]" xml {"+" Tag XML}]] + ["[0]" xml (.only Tag XML)]] [collection - ["[0]" dictionary {"+" Dictionary}] + ["[0]" dictionary (.only Dictionary)] ["[0]" set] ["[0]" list ("[1]#[0]" functor monoid)]]] [math @@ -34,27 +34,27 @@ ["n" nat] ["[0]" i64]]] [world - [console {"+" Console}] - [net {"+" URL} + [console (.only Console)] + [net (.only URL) ["[0]" uri] ["[0]" http "_" ["[1]" client]]]]]] - ["[0]" // {"+" Dependency} - ["[1][0]" status {"+" Status}] + ["[0]" // (.only Dependency) + ["[1][0]" status (.only Status)] ["/[1]" // "_" ["/" profile] - ["[1][0]" hash {"+" Hash SHA-1 MD5}] + ["[1][0]" hash (.only Hash SHA-1 MD5)] ["[1][0]" pom] - ["[1][0]" package {"+" Package}] - ["[1][0]" artifact {"+" Version Artifact} - ["[1]/[0]" extension {"+" Extension}] + ["[1][0]" package (.only Package)] + ["[1][0]" artifact (.only Version Artifact) + ["[1]/[0]" extension (.only Extension)] ["[1]/[0]" versioning] ["[0]" snapshot [version ["[0]" value]]]] - ["[1][0]" repository {"+" Repository} - ["[1]/[0]" remote {"+" Address}] - ["[1]/[0]" origin {"+" Origin}]] + ["[1][0]" repository (.only Repository) + ["[1]/[0]" remote (.only Address)] + ["[1]/[0]" origin (.only Origin)]] ["[1][0]" metadata ["[1]/[0]" snapshot]]]]) diff --git a/stdlib/source/program/aedifex/dependency/status.lux b/stdlib/source/program/aedifex/dependency/status.lux index 7c66d0688..2d2bb0f3c 100644 --- a/stdlib/source/program/aedifex/dependency/status.lux +++ b/stdlib/source/program/aedifex/dependency/status.lux @@ -2,13 +2,13 @@ [library [lux "*" [abstract - [equivalence {"+" Equivalence}]] + [equivalence (.only Equivalence)]] [data - [binary {"+" Binary}] + [binary (.only Binary)] ["[0]" sum] ["[0]" product]]]] ["[0]" /// "_" - ["[1][0]" hash {"+" Hash SHA-1 MD5}]]) + ["[1][0]" hash (.only Hash SHA-1 MD5)]]) (type: .public Status (Variant diff --git a/stdlib/source/program/aedifex/format.lux b/stdlib/source/program/aedifex/format.lux index 12f676cc7..c48380af2 100644 --- a/stdlib/source/program/aedifex/format.lux +++ b/stdlib/source/program/aedifex/format.lux @@ -4,9 +4,9 @@ [data ["[0]" text ("[1]#[0]" equivalence)] [collection - ["[0]" dictionary {"+" Dictionary}] + ["[0]" dictionary (.only Dictionary)] ["[0]" list ("[1]#[0]" monad)] - ["[0]" set {"+" Set}]]] + ["[0]" set (.only Set)]]] [macro ["[0]" code] ["[0]" template]] @@ -14,13 +14,13 @@ [compiler [meta [cli - [compiler {"+" Compiler}]]]]]]] + [compiler (.only Compiler)]]]]]]] ["[0]" // "_" ["/" profile] - ["[1][0]" runtime {"+" Runtime}] - ["[1][0]" project {"+" Project}] - ["[1][0]" dependency {"+" Dependency}] - ["[1][0]" artifact {"+" Artifact} + ["[1][0]" runtime (.only Runtime)] + ["[1][0]" project (.only Project)] + ["[1][0]" dependency (.only Dependency)] + ["[1][0]" artifact (.only Artifact) ["[1]/[0]" type]]]) (type: .public (Format a) diff --git a/stdlib/source/program/aedifex/hash.lux b/stdlib/source/program/aedifex/hash.lux index bd78f8fe3..3a7b82ef8 100644 --- a/stdlib/source/program/aedifex/hash.lux +++ b/stdlib/source/program/aedifex/hash.lux @@ -1,18 +1,18 @@ (.using [library [lux "*" - ["[0]" ffi {"+" import:}] + ["[0]" ffi (.only import:)] [abstract - [codec {"+" Codec}] - [equivalence {"+" Equivalence}] - [monad {"+" do}]] + [codec (.only Codec)] + [equivalence (.only Equivalence)] + [monad (.only do)]] [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)]] [data - ["[0]" binary {"+" Binary}] + ["[0]" binary (.only Binary)] ["[0]" text - ["%" format {"+" Format format}] + ["%" format (.only Format format)] ["[0]" encoding]]] [macro ["^" pattern]] diff --git a/stdlib/source/program/aedifex/input.lux b/stdlib/source/program/aedifex/input.lux index e15fc6552..c964c6cf0 100644 --- a/stdlib/source/program/aedifex/input.lux +++ b/stdlib/source/program/aedifex/input.lux @@ -2,15 +2,15 @@ [library [lux "*" [abstract - ["[0]" monad {"+" Monad do}] + ["[0]" monad (.only Monad do)] ["[0]" mix]] [control ["[0]" pipe] - ["[0]" try {"+" Try}] + ["[0]" try (.only Try)] [parser ["<[0]>" code]]] [data - [binary {"+" Binary}] + [binary (.only Binary)] ["[0]" text [encoding ["[0]" utf8]]] @@ -26,8 +26,8 @@ [world ["[0]" file]]]] ["[0]" // "_" - ["[1][0]" profile {"+" Name Profile}] - ["[1][0]" project {"+" Project}] + ["[1][0]" profile (.only Name Profile)] + ["[1][0]" project (.only Project)] ["[1][0]" parser]]) (def: (lux_parser source_code) diff --git a/stdlib/source/program/aedifex/local.lux b/stdlib/source/program/aedifex/local.lux index 9eb567570..13bfcfe7a 100644 --- a/stdlib/source/program/aedifex/local.lux +++ b/stdlib/source/program/aedifex/local.lux @@ -1,14 +1,14 @@ (.using - [library - [lux "*" - [data - [text - ["%" format {"+" format}]]] - [world - [net - ["[0]" uri {"+" URI}]]]]] - ["[0]" // "_" - ["[1][0]" artifact {"+" Version Artifact}]]) + [library + [lux "*" + [data + [text + ["%" format (.only format)]]] + [world + [net + ["[0]" uri (.only URI)]]]]] + ["[0]" // "_" + ["[1][0]" artifact (.only Version Artifact)]]) (def: / uri.separator) 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]]]]]) diff --git a/stdlib/source/program/aedifex/package.lux b/stdlib/source/program/aedifex/package.lux index 2f2a4a157..845173d9b 100644 --- a/stdlib/source/program/aedifex/package.lux +++ b/stdlib/source/program/aedifex/package.lux @@ -2,31 +2,31 @@ [library [lux {"-" local} [abstract - [equivalence {"+" Equivalence}]] + [equivalence (.only Equivalence)]] [control - ["[0]" try {"+" Try} ("[1]#[0]" functor)] + ["[0]" try (.only Try) ("[1]#[0]" functor)] [parser ["<[0]>" xml]]] [data ["[0]" sum] ["[0]" product] - ["[0]" binary {"+" Binary}] + ["[0]" binary (.only Binary)] [text [encoding ["[0]" utf8]]] [format - ["[0]" xml {"+" XML}]] + ["[0]" xml (.only XML)]] [collection - [set {"+" Set}]]]]] + [set (.only Set)]]]]] ["[0]" // "_" ["/" profile] ["[1][0]" hash] ["[1][0]" pom] - [dependency {"+" Dependency} - ["[1][0]" status {"+" Status}]] + [dependency (.only Dependency) + ["[1][0]" status (.only Status)]] [repository - [remote {"+" Address}] - ["[1][0]" origin {"+" Origin}]]]) + [remote (.only Address)] + ["[1][0]" origin (.only Origin)]]]) (type: .public Package (Record diff --git a/stdlib/source/program/aedifex/parser.lux b/stdlib/source/program/aedifex/parser.lux index 5cc914193..573b12ded 100644 --- a/stdlib/source/program/aedifex/parser.lux +++ b/stdlib/source/program/aedifex/parser.lux @@ -2,36 +2,36 @@ [library [lux {"-" Module type} [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" maybe] ["<>" parser ("[1]#[0]" functor) - ["<[0]>" code {"+" Parser}]]] + ["<[0]>" code (.only Parser)]]] [data ["[0]" text] [collection - ["[0]" set {"+" Set}] - ["[0]" dictionary {"+" Dictionary} - ["[0]" plist {"+" PList}]]]] + ["[0]" set (.only Set)] + ["[0]" dictionary (.only Dictionary) + ["[0]" plist (.only PList)]]]] [tool [compiler [meta [cli - [compiler {"+" Compiler}]] + [compiler (.only Compiler)]] [archive [module - [descriptor {"+" Module}]]]]]] + [descriptor (.only Module)]]]]]] [world - [net {"+" URL}]]]] + [net (.only URL)]]]] ["[0]" // "_" ["/" profile] - ["[1][0]" runtime {"+" Runtime}] - ["[1][0]" project {"+" Project}] + ["[1][0]" runtime (.only Runtime)] + ["[1][0]" project (.only Project)] ["[1][0]" dependency] ["[1][0]" format] ["[1][0]" repository "_" ["[1]" remote]] - ["[1][0]" artifact {"+" Artifact} + ["[1][0]" artifact (.only Artifact) ["[1]/[0]" type]]]) (def: (singular input tag parser) diff --git a/stdlib/source/program/aedifex/pom.lux b/stdlib/source/program/aedifex/pom.lux index 2fe4c6de1..7ca781741 100644 --- a/stdlib/source/program/aedifex/pom.lux +++ b/stdlib/source/program/aedifex/pom.lux @@ -2,18 +2,18 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try {"+" Try}] + ["[0]" try (.only Try)] ["[0]" exception] ["<>" parser - ["<[0]>" xml {"+" Parser}]]] + ["<[0]>" xml (.only Parser)]]] [data ["[0]" text] [format - ["_" xml {"+" Tag XML}]] + ["_" xml (.only Tag XML)]] [collection ["[0]" list ("[1]#[0]" monoid functor mix)] ["[0]" set] @@ -24,10 +24,10 @@ ["[0]" file]]]] ["[0]" // "_" ["/" profile] - ["[1][0]" dependency {"+" Dependency}] + ["[1][0]" dependency (.only Dependency)] [repository - [remote {"+" Address}]] - ["[1][0]" artifact {"+" Artifact} + [remote (.only Address)]] + ["[1][0]" artifact (.only Artifact) ["[1]/[0]" type]]]) ... https://maven.apache.org/pom.html diff --git a/stdlib/source/program/aedifex/profile.lux b/stdlib/source/program/aedifex/profile.lux index 0c772a641..e093e0bfc 100644 --- a/stdlib/source/program/aedifex/profile.lux +++ b/stdlib/source/program/aedifex/profile.lux @@ -2,42 +2,42 @@ [library [lux {"-" Info Source Module} [abstract - [monoid {"+" Monoid}] - [equivalence {"+" Equivalence}]] + [monoid (.only Monoid)] + [equivalence (.only Equivalence)]] [control ["[0]" maybe ("[1]#[0]" monoid)] - ["[0]" exception {"+" exception:}]] + ["[0]" exception (.only exception:)]] [data ["[0]" product] ["[0]" text ("[1]#[0]" equivalence)] [collection ["[0]" list ("[1]#[0]" monoid)] - ["[0]" set {"+" Set}] - ["[0]" dictionary {"+" Dictionary} - ["[0]" plist {"+" PList} ("[1]#[0]" monoid)]]]] + ["[0]" set (.only Set)] + ["[0]" dictionary (.only Dictionary) + ["[0]" plist (.only PList) ("[1]#[0]" monoid)]]]] [macro ["^" pattern] ["[0]" template]] [meta ["[0]" symbol]] [world - [net {"+" URL}] - [file {"+" Path}]] + [net (.only URL)] + [file (.only Path)]] [tool [compiler [meta ["[0]" cli - ["[0]" compiler {"+" Compiler}]] + ["[0]" compiler (.only Compiler)]] [archive [module - [descriptor {"+" Module}]]]]]]]] + [descriptor (.only Module)]]]]]]]] [// - ["[0]" runtime {"+" Runtime} ("[1]#[0]" equivalence)] - ["[0]" dependency {"+" Dependency} ("[1]#[0]" equivalence)] - ["[0]" artifact {"+" Artifact} + ["[0]" runtime (.only Runtime) ("[1]#[0]" equivalence)] + ["[0]" dependency (.only Dependency) ("[1]#[0]" equivalence)] + ["[0]" artifact (.only Artifact) ["[0]" type]] [repository - [remote {"+" Address}]]]) + [remote (.only Address)]]]) (def: .public default_lux Dependency diff --git a/stdlib/source/program/aedifex/project.lux b/stdlib/source/program/aedifex/project.lux index 71a9a0381..a1f43c7b8 100644 --- a/stdlib/source/program/aedifex/project.lux +++ b/stdlib/source/program/aedifex/project.lux @@ -2,21 +2,21 @@ [library [lux "*" [abstract - [equivalence {"+" Equivalence}] - [monoid {"+" Monoid}] - ["[0]" monad {"+" do}]] + [equivalence (.only Equivalence)] + [monoid (.only Monoid)] + ["[0]" monad (.only do)]] [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)]] [data ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection - ["[0]" dictionary {"+" Dictionary}] - ["[0]" set {"+" Set}] + ["[0]" dictionary (.only Dictionary)] + ["[0]" set (.only Set)] ["[0]" list ("[1]#[0]" mix)]]]]] ["[0]" // "_" - ["[1]" profile {"+" Name Profile}]]) + ["[1]" profile (.only Name Profile)]]) (def: .public file "project.lux") diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux index b44be720f..900855124 100644 --- a/stdlib/source/program/aedifex/repository.lux +++ b/stdlib/source/program/aedifex/repository.lux @@ -2,18 +2,18 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - [io {"+" IO}] - ["[0]" try {"+" Try}] + [io (.only IO)] + ["[0]" try (.only Try)] [concurrency - ["[0]" async {"+" Async}] + ["[0]" async (.only Async)] ["[0]" stm]]] [data - [binary {"+" Binary}]] + [binary (.only Binary)]] [world [net - [uri {"+" URI}]]]]]) + [uri (.only URI)]]]]]) (type: .public (Repository !) (Interface diff --git a/stdlib/source/program/aedifex/repository/identity.lux b/stdlib/source/program/aedifex/repository/identity.lux index 88664a868..5bea5c2c8 100644 --- a/stdlib/source/program/aedifex/repository/identity.lux +++ b/stdlib/source/program/aedifex/repository/identity.lux @@ -1,13 +1,13 @@ (.using [library [lux "*" - ["[0]" ffi {"+" import:}] + ["[0]" ffi (.only import:)] [abstract - [equivalence {"+" Equivalence}]] + [equivalence (.only Equivalence)]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]]]]]) diff --git a/stdlib/source/program/aedifex/repository/local.lux b/stdlib/source/program/aedifex/repository/local.lux index 2c6ff8b9b..0721e8526 100644 --- a/stdlib/source/program/aedifex/repository/local.lux +++ b/stdlib/source/program/aedifex/repository/local.lux @@ -2,19 +2,19 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" try {"+" Try}] + ["[0]" try (.only Try)] [concurrency - ["[0]" async {"+" Async}]]] + ["[0]" async (.only Async)]]] [data ["[0]" text - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [world - [program {"+" Program}] + [program (.only Program)] ["[0]" file] [net - ["[0]" uri {"+" URI}]]]]] + ["[0]" uri (.only URI)]]]]] ["[0]" // ["/[1]" // "_" ["[1][0]" local] diff --git a/stdlib/source/program/aedifex/repository/origin.lux b/stdlib/source/program/aedifex/repository/origin.lux index 624ef1e10..6af12153b 100644 --- a/stdlib/source/program/aedifex/repository/origin.lux +++ b/stdlib/source/program/aedifex/repository/origin.lux @@ -2,13 +2,13 @@ [library [lux "*" [abstract - [equivalence {"+" Equivalence}]] + [equivalence (.only Equivalence)]] [data ["[0]" sum] ["[0]" text]] [world - [file {"+" Path}] - [net {"+" URL}]]]]) + [file (.only Path)] + [net (.only URL)]]]]) (type: .public Origin (Variant diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux index 313be177b..c3c77f65b 100644 --- a/stdlib/source/program/aedifex/repository/remote.lux +++ b/stdlib/source/program/aedifex/repository/remote.lux @@ -2,32 +2,32 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" io {"+" IO}] - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]] + ["[0]" io (.only IO)] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)]] [data ["[0]" product] [text - ["%" format {"+" format}]]] + ["%" format (.only format)]]] ["[0]" meta "_" ["[1]/[0]" version]] [tool [compiler ["[0]" version]]] [world - [net {"+" URL} - [uri {"+" URI}] + [net (.only URL) + [uri (.only URI)] ["[0]" http "_" ["[1]" client] ["[1]/[0]" status] ["@[1]" /]]]]]] ["[0]" // - ["[1][0]" identity {"+" Identity}] + ["[1][0]" identity (.only Identity)] ["/[1]" // "_" - ["[1][0]" artifact {"+" Version Artifact} - [extension {"+" Extension}]]]]) + ["[1][0]" artifact (.only Version Artifact) + [extension (.only Extension)]]]]) (type: .public Address URL) diff --git a/stdlib/source/program/aedifex/runtime.lux b/stdlib/source/program/aedifex/runtime.lux index 7ba5e8f9b..d67ec0f36 100644 --- a/stdlib/source/program/aedifex/runtime.lux +++ b/stdlib/source/program/aedifex/runtime.lux @@ -2,14 +2,14 @@ [library [lux {"-" for} [abstract - [equivalence {"+" Equivalence}]] + [equivalence (.only Equivalence)]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" monoid)] - ["[0]" dictionary {"+" Dictionary}]]] + ["[0]" dictionary (.only Dictionary)]]] [macro ["[0]" template]] [world |