aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex
diff options
context:
space:
mode:
authorEduardo Julian2022-06-01 21:52:34 -0400
committerEduardo Julian2022-06-01 21:52:34 -0400
commit5d44577c3849a045052dc1c9f0dd7deddd032120 (patch)
treeb0e00801734720e9f985c7dfa239aaa0bdea7bcd /stdlib/source/program/aedifex
parent659537b4ec859f1e705cdd1f82da29ab1a662d94 (diff)
Extensible import syntax: Part 1
Diffstat (limited to '')
-rw-r--r--stdlib/source/program/aedifex.lux40
-rw-r--r--stdlib/source/program/aedifex/action.lux6
-rw-r--r--stdlib/source/program/aedifex/artifact.lux12
-rw-r--r--stdlib/source/program/aedifex/artifact/extension.lux18
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot.lux10
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/build.lux34
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/stamp.lux12
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/time.lux42
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/version.lux12
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/version/value.lux4
-rw-r--r--stdlib/source/program/aedifex/artifact/time.lux38
-rw-r--r--stdlib/source/program/aedifex/artifact/time/date.lux10
-rw-r--r--stdlib/source/program/aedifex/artifact/time/time.lux4
-rw-r--r--stdlib/source/program/aedifex/artifact/versioning.lux18
-rw-r--r--stdlib/source/program/aedifex/cli.lux10
-rw-r--r--stdlib/source/program/aedifex/command.lux10
-rw-r--r--stdlib/source/program/aedifex/command/auto.lux18
-rw-r--r--stdlib/source/program/aedifex/command/build.lux36
-rw-r--r--stdlib/source/program/aedifex/command/clean.lux16
-rw-r--r--stdlib/source/program/aedifex/command/deploy.lux18
-rw-r--r--stdlib/source/program/aedifex/command/deploy/release.lux28
-rw-r--r--stdlib/source/program/aedifex/command/deploy/snapshot.lux14
-rw-r--r--stdlib/source/program/aedifex/command/deps.lux24
-rw-r--r--stdlib/source/program/aedifex/command/install.lux22
-rw-r--r--stdlib/source/program/aedifex/command/pom.lux12
-rw-r--r--stdlib/source/program/aedifex/command/test.lux16
-rw-r--r--stdlib/source/program/aedifex/command/version.lux8
-rw-r--r--stdlib/source/program/aedifex/dependency.lux12
-rw-r--r--stdlib/source/program/aedifex/dependency/deployment.lux34
-rw-r--r--stdlib/source/program/aedifex/dependency/resolution.lux48
-rw-r--r--stdlib/source/program/aedifex/dependency/status.lux6
-rw-r--r--stdlib/source/program/aedifex/format.lux14
-rw-r--r--stdlib/source/program/aedifex/hash.lux16
-rw-r--r--stdlib/source/program/aedifex/input.lux10
-rw-r--r--stdlib/source/program/aedifex/local.lux20
-rw-r--r--stdlib/source/program/aedifex/metadata.lux8
-rw-r--r--stdlib/source/program/aedifex/metadata/artifact.lux24
-rw-r--r--stdlib/source/program/aedifex/metadata/snapshot.lux30
-rw-r--r--stdlib/source/program/aedifex/package.lux18
-rw-r--r--stdlib/source/program/aedifex/parser.lux22
-rw-r--r--stdlib/source/program/aedifex/pom.lux14
-rw-r--r--stdlib/source/program/aedifex/profile.lux28
-rw-r--r--stdlib/source/program/aedifex/project.lux18
-rw-r--r--stdlib/source/program/aedifex/repository.lux12
-rw-r--r--stdlib/source/program/aedifex/repository/identity.lux6
-rw-r--r--stdlib/source/program/aedifex/repository/local.lux12
-rw-r--r--stdlib/source/program/aedifex/repository/origin.lux6
-rw-r--r--stdlib/source/program/aedifex/repository/remote.lux20
-rw-r--r--stdlib/source/program/aedifex/runtime.lux6
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