aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex
diff options
context:
space:
mode:
authorEduardo Julian2021-09-13 00:29:57 -0400
committerEduardo Julian2021-09-13 00:29:57 -0400
commit376c3e472fbb1e2656f8c61b26e0276570609aa1 (patch)
treebc76d7aeff4f2b889ae262a64dc8d26b0476068d /stdlib/source/program/aedifex
parent2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd (diff)
Updated only/except import syntax to take into account record => variant syntax change.
Diffstat (limited to 'stdlib/source/program/aedifex')
-rw-r--r--stdlib/source/program/aedifex/action.lux6
-rw-r--r--stdlib/source/program/aedifex/artifact.lux14
-rw-r--r--stdlib/source/program/aedifex/artifact/extension.lux4
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot.lux12
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/build.lux8
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/stamp.lux12
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/time.lux12
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/version.lux14
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/version/value.lux4
-rw-r--r--stdlib/source/program/aedifex/artifact/time.lux12
-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/type.lux2
-rw-r--r--stdlib/source/program/aedifex/artifact/versioning.lux18
-rw-r--r--stdlib/source/program/aedifex/cli.lux12
-rw-r--r--stdlib/source/program/aedifex/command.lux2
-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.lux30
-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.lux10
-rw-r--r--stdlib/source/program/aedifex/command/test.lux16
-rw-r--r--stdlib/source/program/aedifex/command/version.lux6
-rw-r--r--stdlib/source/program/aedifex/dependency.lux14
-rw-r--r--stdlib/source/program/aedifex/dependency/deployment.lux34
-rw-r--r--stdlib/source/program/aedifex/dependency/resolution.lux50
-rw-r--r--stdlib/source/program/aedifex/dependency/status.lux6
-rw-r--r--stdlib/source/program/aedifex/format.lux12
-rw-r--r--stdlib/source/program/aedifex/hash.lux16
-rw-r--r--stdlib/source/program/aedifex/input.lux14
-rw-r--r--stdlib/source/program/aedifex/local.lux6
-rw-r--r--stdlib/source/program/aedifex/metadata.lux8
-rw-r--r--stdlib/source/program/aedifex/metadata/artifact.lux28
-rw-r--r--stdlib/source/program/aedifex/metadata/snapshot.lux34
-rw-r--r--stdlib/source/program/aedifex/package.lux20
-rw-r--r--stdlib/source/program/aedifex/parser.lux20
-rw-r--r--stdlib/source/program/aedifex/pom.lux16
-rw-r--r--stdlib/source/program/aedifex/profile.lux26
-rw-r--r--stdlib/source/program/aedifex/project.lux20
-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.lux10
-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
47 files changed, 354 insertions, 354 deletions
diff --git a/stdlib/source/program/aedifex/action.lux b/stdlib/source/program/aedifex/action.lux
index 9923ea207..9f3d72207 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 {"+" Monad}]]
[control
- ["[0]" try {"+" [Try]}]
+ ["[0]" try {"+" Try}]
[concurrency
- ["[0]" async {"+" [Async]}]]]]])
+ ["[0]" async {"+" 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 e6e7bf949..cc97af80a 100644
--- a/stdlib/source/program/aedifex/artifact.lux
+++ b/stdlib/source/program/aedifex/artifact.lux
@@ -1,20 +1,20 @@
(.module:
[library
- [lux {"-" [Name local]}
+ [lux {"-" Name local}
[abstract
- [equivalence {"+" [Equivalence]}]
- [order {"+" [Order]}]
- [hash {"+" [Hash]}]]
+ [equivalence {"+" Equivalence}]
+ [order {"+" Order}]
+ [hash {"+" Hash}]]
[data
["[0]" product]
["[0]" text ("[1]#[0]" order)
- ["%" format {"+" [Format]}]]
+ ["%" format {"+" Format}]]
[collection
["[0]" list ("[1]#[0]" monoid)]]]
[world
- ["[0]" file {"+" [Path]}]
+ ["[0]" file {"+" Path}]
[net
- ["[0]" uri {"+" [URI]}]]]]])
+ ["[0]" uri {"+" URI}]]]]])
(type: .public Group
Text)
diff --git a/stdlib/source/program/aedifex/artifact/extension.lux b/stdlib/source/program/aedifex/artifact/extension.lux
index 3150b9df4..df5fe17fe 100644
--- a/stdlib/source/program/aedifex/artifact/extension.lux
+++ b/stdlib/source/program/aedifex/artifact/extension.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux {"-" [type]}
+ [lux {"-" type}
[data
["[0]" text
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
[macro
["[0]" template]]]]
["[0]" // "_"
diff --git a/stdlib/source/program/aedifex/artifact/snapshot.lux b/stdlib/source/program/aedifex/artifact/snapshot.lux
index 16e10286e..aea20c0b4 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot.lux
@@ -1,19 +1,19 @@
(.module:
[library
- [lux {"-" [Name Type]}
+ [lux {"-" Name Type}
[abstract
- [equivalence {"+" [Equivalence]}]
- [monad {"+" [do]}]]
+ [equivalence {"+" Equivalence}]
+ [monad {"+" do}]]
[control
["<>" parser
- ["<[0]>" xml {"+" [Parser]}]
+ ["<[0]>" xml {"+" Parser}]
["<[0]>" text]]]
[data
["[0]" sum]
[format
- ["[0]" xml {"+" [XML]}]]]]]
+ ["[0]" xml {"+" XML}]]]]]
["[0]" / "_"
- ["[1][0]" stamp {"+" [Stamp]}]])
+ ["[1][0]" stamp {"+" Stamp}]])
(type: .public Snapshot
(Variant
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/build.lux b/stdlib/source/program/aedifex/artifact/snapshot/build.lux
index 44adcc18b..e5a742264 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/build.lux
@@ -2,17 +2,17 @@
[library
[lux "*"
[abstract
- [equivalence {"+" [Equivalence]}]
- [monad {"+" [do]}]]
+ [equivalence {"+" Equivalence}]
+ [monad {"+" do}]]
[control
["<>" parser
- ["<[0]>" xml {"+" [Parser]}]
+ ["<[0]>" xml {"+" Parser}]
["<[0]>" text]]]
[data
[text
["%" format]]
[format
- ["[0]" xml {"+" [XML]}]]]
+ ["[0]" xml {"+" XML}]]]
[math
[number
["[0]" nat]]]]])
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
index f5a08e942..f40cf76e5 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
@@ -2,19 +2,19 @@
[library
[lux "*"
[abstract
- [equivalence {"+" [Equivalence]}]
- [monad {"+" [do]}]]
+ [equivalence {"+" Equivalence}]
+ [monad {"+" do}]]
[control
["<>" parser
- ["<[0]>" xml {"+" [Parser]}]
+ ["<[0]>" xml {"+" Parser}]
["<[0]>" text]]]
[data
["[0]" product]
[format
- ["[0]" xml {"+" [XML]}]]]]]
+ ["[0]" xml {"+" XML}]]]]]
["[0]" // "_"
- ["[1][0]" time {"+" [Time]}]
- ["[1][0]" build {"+" [Build]}]])
+ ["[1][0]" time {"+" Time}]
+ ["[1][0]" build {"+" Build}]])
(type: .public Stamp
(Record
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/time.lux b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
index 0b0bb8227..e3871ff1c 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
@@ -2,20 +2,20 @@
[library
[lux "*"
[abstract
- [equivalence {"+" [Equivalence]}]
- [monad {"+" [do]}]]
+ [equivalence {"+" Equivalence}]
+ [monad {"+" do}]]
[control
- ["[0]" exception {"+" [exception:]}]
+ ["[0]" exception {"+" exception:}]
["<>" parser
["<[0]>" text]
- ["<[0]>" xml {"+" [Parser]}]]]
+ ["<[0]>" xml {"+" Parser}]]]
[data
[text
["%" format]]
[format
- ["[0]" xml {"+" [XML]}]]]
+ ["[0]" xml {"+" XML}]]]
[time
- ["[0]" instant {"+" [Instant]}]]]]
+ ["[0]" instant {"+" Instant}]]]]
["[0]" /// "_"
["[1][0]" time
["[1]/[0]" date]
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version.lux b/stdlib/source/program/aedifex/artifact/snapshot/version.lux
index 194956419..e2782c12a 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/version.lux
@@ -1,21 +1,21 @@
(.module:
[library
- [lux {"-" [Type]}
+ [lux {"-" Type}
[abstract
- [equivalence {"+" [Equivalence]}]
- [monad {"+" [do]}]]
+ [equivalence {"+" Equivalence}]
+ [monad {"+" do}]]
[control
["<>" parser
- ["<[0]>" xml {"+" [Parser]}]
+ ["<[0]>" xml {"+" Parser}]
["<[0]>" text]]]
[data
["[0]" product]
["[0]" text]
[format
- ["[0]" xml {"+" [XML]}]]]]]
+ ["[0]" xml {"+" XML}]]]]]
["[0]" /// "_"
- ["[1][0]" type {"+" [Type]}]
- ["[1][0]" time {"+" [Time]}]])
+ ["[1][0]" type {"+" Type}]
+ ["[1][0]" time {"+" Time}]])
(type: .public Version
(Record
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
index 12fe26c46..d2092b306 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
@@ -2,12 +2,12 @@
[library
[lux "*"
[abstract
- [equivalence {"+" [Equivalence]}]]
+ [equivalence {"+" Equivalence}]]
[data
["[0]" product]
["[0]" text
["%" format]]]]]
- ["[0]" /// {"+" [Snapshot]}
+ ["[0]" /// {"+" Snapshot}
["[1][0]" time]
["[1][0]" stamp]])
diff --git a/stdlib/source/program/aedifex/artifact/time.lux b/stdlib/source/program/aedifex/artifact/time.lux
index 7096d7420..0cc0a1267 100644
--- a/stdlib/source/program/aedifex/artifact/time.lux
+++ b/stdlib/source/program/aedifex/artifact/time.lux
@@ -3,18 +3,18 @@
[lux "*"
["[0]" time]
[abstract
- [equivalence {"+" [Equivalence]}]
- [monad {"+" [do]}]]
+ [equivalence {"+" Equivalence}]
+ [monad {"+" do}]]
[control
- ["[0]" try {"+" [Try]}]
+ ["[0]" try {"+" Try}]
["<>" parser
- ["<[0]>" text {"+" [Parser]}]]]
+ ["<[0]>" text {"+" Parser}]]]
[data
["[0]" product]
[text
- ["%" format {"+" [Format]}]]]
+ ["%" format {"+" Format}]]]
[time
- ["[0]" instant {"+" [Instant]}]]]]
+ ["[0]" instant {"+" Instant}]]]]
["[0]" / "_"
["[1][0]" date]
["[1][0]" time]])
diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux
index 464c597c2..bc14e32e0 100644
--- a/stdlib/source/program/aedifex/artifact/time/date.lux
+++ b/stdlib/source/program/aedifex/artifact/time/date.lux
@@ -2,13 +2,13 @@
[library
[lux "*"
[abstract
- [monad {"+" [do]}]
- [equivalence {"+" [Equivalence]}]]
+ [monad {"+" do}]
+ [equivalence {"+" Equivalence}]]
[control
- ["[0]" try {"+" [Try]}]
- ["[0]" exception {"+" [exception:]}]
+ ["[0]" try {"+" Try}]
+ ["[0]" exception {"+" exception:}]
["<>" parser
- ["<[0]>" text {"+" [Parser]}]]]
+ ["<[0]>" text {"+" Parser}]]]
[data
[text
["%" format]]]
diff --git a/stdlib/source/program/aedifex/artifact/time/time.lux b/stdlib/source/program/aedifex/artifact/time/time.lux
index 8b3258c3a..4b77f6d1f 100644
--- a/stdlib/source/program/aedifex/artifact/time/time.lux
+++ b/stdlib/source/program/aedifex/artifact/time/time.lux
@@ -3,10 +3,10 @@
[lux "*"
["[0]" time]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["<>" parser
- ["<[0]>" text {"+" [Parser]}]]]
+ ["<[0]>" text {"+" Parser}]]]
[data
[text
["%" format]]]
diff --git a/stdlib/source/program/aedifex/artifact/type.lux b/stdlib/source/program/aedifex/artifact/type.lux
index 659155f49..5115080c4 100644
--- a/stdlib/source/program/aedifex/artifact/type.lux
+++ b/stdlib/source/program/aedifex/artifact/type.lux
@@ -1,6 +1,6 @@
(.module:
[library
- [lux {"-" [Type]}]])
+ [lux {"-" Type}]])
... https://maven.apache.org/ref/3.6.3/maven-core/artifact-handlers.html
(type: .public Type
diff --git a/stdlib/source/program/aedifex/artifact/versioning.lux b/stdlib/source/program/aedifex/artifact/versioning.lux
index 1e8d2cf04..09d8e4758 100644
--- a/stdlib/source/program/aedifex/artifact/versioning.lux
+++ b/stdlib/source/program/aedifex/artifact/versioning.lux
@@ -2,32 +2,32 @@
[library
[lux "*"
[abstract
- [equivalence {"+" [Equivalence]}]
- [monad {"+" [do]}]]
+ [equivalence {"+" Equivalence}]
+ [monad {"+" do}]]
[control
- ["[0]" exception {"+" [exception:]}]
+ ["[0]" exception {"+" exception:}]
["<>" parser
- ["<[0]>" xml {"+" [Parser]}]
+ ["<[0]>" xml {"+" Parser}]
["<[0]>" text]]]
[data
["[0]" product]
["[0]" text
["%" format]]
[format
- ["[0]" xml {"+" [XML]}]]
+ ["[0]" xml {"+" XML}]]
[collection
["[0]" list ("[1]#[0]" functor)]]]
[math
[number
["n" nat]]]
- ["[0]" time {"+" [Time]}
- ["[0]" date {"+" [Date]}]
+ ["[0]" time {"+" Time}
+ ["[0]" date {"+" Date}]
["[0]" year]
["[0]" month]]]]
["[0]" // "_"
["[1][0]" time]
- ["[1][0]" snapshot {"+" [Snapshot]}
- ["[1]/[0]" version {"+" [Version]}]]])
+ ["[1][0]" snapshot {"+" Snapshot}
+ ["[1]/[0]" version {"+" Version}]]])
(type: .public Versioning
(Record
diff --git a/stdlib/source/program/aedifex/cli.lux b/stdlib/source/program/aedifex/cli.lux
index 9bc36f4c5..bedf1d993 100644
--- a/stdlib/source/program/aedifex/cli.lux
+++ b/stdlib/source/program/aedifex/cli.lux
@@ -1,20 +1,20 @@
(.module:
[library
- [lux {"-" [Name]}
+ [lux {"-" Name}
[abstract
- [equivalence {"+" [Equivalence]}]
- [monad {"+" [do]}]]
+ [equivalence {"+" Equivalence}]
+ [monad {"+" do}]]
[control
["<>" parser
- ["[0]" cli {"+" [Parser]}]]]
+ ["[0]" cli {"+" Parser}]]]
[data
["[0]" sum]
["[0]" product]
["[0]" text]]]]
[//
[repository
- [identity {"+" [Identity]}]]
- ["/" profile {"+" [Name]}]])
+ [identity {"+" Identity}]]
+ ["/" profile {"+" Name}]])
(type: .public Compilation
(Variant
diff --git a/stdlib/source/program/aedifex/command.lux b/stdlib/source/program/aedifex/command.lux
index 8594f0cfc..f30dbf70c 100644
--- a/stdlib/source/program/aedifex/command.lux
+++ b/stdlib/source/program/aedifex/command.lux
@@ -3,7 +3,7 @@
[lux "*"]]
["[0]" // "_"
["[1]" profile]
- ["[1][0]" action {"+" [Action]}]])
+ ["[1][0]" action {"+" 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 863251305..247160615 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 {"+" do}]]
[control
- ["[0]" try {"+" [Try]}]
+ ["[0]" try {"+" Try}]
[concurrency
- ["[0]" async {"+" [Async]}]]]
+ ["[0]" async {"+" Async}]]]
[data
[collection
["[0]" list]
["[0]" set]]]
[world
- [program {"+" [Program]}]
- [shell {"+" [Exit Shell]}]
- [console {"+" [Console]}]
+ [program {"+" Program}]
+ [shell {"+" Exit Shell}]
+ [console {"+" Console}]
["[0]" file
- ["[0]" watch {"+" [Watcher]}]]]]]
+ ["[0]" watch {"+" Watcher}]]]]]
["[0]" // "_"
["/[1]" // "_"
- [command {"+" [Command]}]
+ [command {"+" Command}]
["[1]" profile]
["[1][0]" action]
[dependency
- [resolution {"+" [Resolution]}]]]])
+ [resolution {"+" 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 d20b00479..19c7d86d9 100644
--- a/stdlib/source/program/aedifex/command/build.lux
+++ b/stdlib/source/program/aedifex/command/build.lux
@@ -1,45 +1,45 @@
(.module:
[library
- [lux {"-" [Name]}
- ["[0]" ffi {"+" [import:]}]
+ [lux {"-" Name}
+ ["[0]" ffi {"+" import:}]
[abstract
- [order {"+" [Order]}]
- [monad {"+" [do]}]]
+ [order {"+" Order}]
+ [monad {"+" do}]]
[control
- ["[0]" try {"+" [Try]}]
- ["[0]" exception {"+" [exception:]}]
- ["[0]" io {"+" [IO]}]
+ ["[0]" try {"+" Try}]
+ ["[0]" exception {"+" exception:}]
+ ["[0]" io {"+" IO}]
[concurrency
- ["[0]" async {"+" [Async]} ("[1]#[0]" monad)]]]
+ ["[0]" async {"+" Async} ("[1]#[0]" monad)]]]
[data
["[0]" product]
["[0]" text ("[1]#[0]" order)
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
["[0]" list ("[1]#[0]" functor mix)]
- ["[0]" dictionary {"+" [Dictionary]}]
+ ["[0]" dictionary {"+" Dictionary}]
["[0]" set]]]
[math
[number
["n" nat]
["i" int]]]
[world
- ["[0]" program {"+" [Program]}]
- ["[0]" file {"+" [Path]}]
- ["[0]" shell {"+" [Exit Process Shell]}]
- ["[0]" console {"+" [Console]}]
+ ["[0]" program {"+" Program}]
+ ["[0]" file {"+" Path}]
+ ["[0]" shell {"+" Exit Process Shell}]
+ ["[0]" console {"+" Console}]
[net
["[0]" uri]]]]]
["[0]" /// "_"
["[1]" profile]
["[1][0]" action]
- ["[1][0]" command {"+" [Command]}]
+ ["[1][0]" command {"+" 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 {"+" Dependency}
+ ["[1]/[0]" resolution {"+" Resolution}]]
+ ["[1][0]" artifact {"+" 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 bbdec8763..0e15592e4 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 {"+" do}]]
[control
- [try {"+" [Try]}]
+ [try {"+" Try}]
[concurrency
- ["[0]" async {"+" [Async]}]]]
+ ["[0]" async {"+" Async}]]]
[data
[text
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
[world
- ["[0]" file {"+" [Path]}]
- ["[0]" console {"+" [Console]}]]]]
+ ["[0]" file {"+" Path}]
+ ["[0]" console {"+" Console}]]]]
["[0]" /// "_"
- [command {"+" [Command]}]
+ [command {"+" Command}]
["[1]" profile]
- ["[1][0]" action {"+" [Action]}]])
+ ["[1][0]" action {"+" 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 d6d783113..775d52529 100644
--- a/stdlib/source/program/aedifex/command/deploy.lux
+++ b/stdlib/source/program/aedifex/command/deploy.lux
@@ -2,18 +2,18 @@
[library
[lux "*"
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- [pipe {"+" [do>]}]
- ["[0]" try {"+" [Try]}]
+ [pipe {"+" do>}]
+ ["[0]" try {"+" Try}]
[concurrency
- ["[0]" async {"+" [Async]} ("[1]#[0]" monad)]]
+ ["[0]" async {"+" Async} ("[1]#[0]" monad)]]
["<>" parser
["<[0]>" xml]]]
[data
- [binary {"+" [Binary]}]
+ [binary {"+" Binary}]
[text
- ["%" format {"+" [format]}]
+ ["%" format {"+" format}]
[encoding
["[0]" utf8]]]
[collection
@@ -23,34 +23,34 @@
["[0]" tar]
["[0]" xml]]]
[time
- ["[0]" instant {"+" [Instant]}]]
+ ["[0]" instant {"+" Instant}]]
[world
["[0]" file]
- ["[0]" console {"+" [Console]}]]]]
+ ["[0]" console {"+" Console}]]]]
[program
[compositor
["[0]" export]]]
["[0]" // "_"
["[1][0]" clean]
["/[1]" // "_"
- [command {"+" [Command]}]
+ [command {"+" Command}]
["/" profile]
- ["[1][0]" action {"+" [Action]}]
+ ["[1][0]" action {"+" Action}]
["[1][0]" pom]
["[1][0]" hash]
["[1][0]" package]
["[1][0]" dependency
["[1]/[0]" deployment]
- ["[1]/[0]" status {"+" [Status]}]]
- ["[1][0]" repository {"+" [Repository]}
- [identity {"+" [Identity]}]
+ ["[1]/[0]" status {"+" Status}]]
+ ["[1][0]" repository {"+" Repository}
+ [identity {"+" Identity}]
["[1]/[0]" remote]
["[1]/[0]" origin]]
["[1][0]" metadata
["[1]/[0]" artifact]
["[1]/[0]" snapshot]]
- ["[1][0]" artifact {"+" [Artifact]}
- ["[1]/[0]" extension {"+" [Extension]}]
+ ["[1][0]" artifact {"+" Artifact}
+ ["[1]/[0]" extension {"+" Extension}]
["[1]/[0]" type]]]])
(def: .public success
diff --git a/stdlib/source/program/aedifex/command/deps.lux b/stdlib/source/program/aedifex/command/deps.lux
index 50df346db..654f00156 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 {"+" do}]]
[control
["[0]" exception]
[concurrency
- ["[0]" async {"+" [Async]}]]]
+ ["[0]" async {"+" Async}]]]
[data
[collection
- ["[0]" set {"+" [Set]}]
+ ["[0]" set {"+" Set}]
["[0]" list ("[1]#[0]" mix)]
["[0]" dictionary]]
[text
["%" format]]]
[world
- [net {"+" [URL]}]
- [program {"+" [Program]}]
+ [net {"+" URL}]
+ [program {"+" Program}]
["[0]" file]
- ["[0]" console {"+" [Console]}]]]]
+ ["[0]" console {"+" Console}]]]]
["[0]" // "_"
["[1][0]" clean]
["/[1]" // "_"
- [command {"+" [Command]}]
- [repository {"+" [Repository]}]
+ [command {"+" Command}]
+ [repository {"+" Repository}]
["[1]" profile]
- ["[1][0]" action {"+" [Action]}]
- ["[1][0]" artifact {"+" [Artifact]}]
- ["[1][0]" dependency {"+" [Dependency]}
- ["[1]/[0]" resolution {"+" [Resolution]}]
+ ["[1][0]" action {"+" Action}]
+ ["[1][0]" artifact {"+" Artifact}]
+ ["[1][0]" dependency {"+" Dependency}
+ ["[1]/[0]" resolution {"+" 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 d89773504..3436adf17 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 {"+" do}]]
[control
- ["[0]" try {"+" [Try]}]
+ ["[0]" try {"+" Try}]
["[0]" exception]
[concurrency
- ["[0]" async {"+" [Async]}]]]
+ ["[0]" async {"+" Async}]]]
[data
- [binary {"+" [Binary]}]
+ [binary {"+" Binary}]
[text
[encoding
["[0]" utf8]]]
@@ -20,27 +20,27 @@
["[0]" tar]
["[0]" xml]]]
[world
- [program {"+" [Program]}]
+ [program {"+" Program}]
["[0]" file]
- ["[0]" console {"+" [Console]}]]]]
+ ["[0]" console {"+" Console}]]]]
[program
[compositor
["[0]" export]]]
["[0]" // "_"
["[1][0]" clean]
["/[1]" // "_"
- ["/" profile {"+" [Profile]}]
- ["[1][0]" action {"+" [Action]}]
- ["[1][0]" command {"+" [Command]}]
+ ["/" profile {"+" Profile}]
+ ["[1][0]" action {"+" Action}]
+ ["[1][0]" command {"+" Command}]
["[1][0]" local]
["[1][0]" pom]
["[1][0]" package]
- [repository {"+" [Repository]}
+ [repository {"+" Repository}
["[1][0]" origin]]
["[1][0]" dependency "_"
["[1]/[0]" deployment]
["[1]/[0]" status]]
- ["[1][0]" artifact {"+" [Artifact]}
+ ["[1][0]" artifact {"+" 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 f4eee1c2b..56e19488a 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 {"+" do}]]
[control
["[0]" try ("[1]#[0]" functor)]
[concurrency
- ["[0]" async {"+" [Async]} ("[1]#[0]" monad)]]]
+ ["[0]" async {"+" Async} ("[1]#[0]" monad)]]]
[data
[text
- ["%" format {"+" [format]}]
+ ["%" format {"+" format}]
[encoding
["[0]" utf8]]]
[format
["[0]" xml]]]
[world
["[0]" file]
- ["[0]" console {"+" [Console]}]]]]
+ ["[0]" console {"+" Console}]]]]
["[0]" /// "_"
- [command {"+" [Command]}]
+ [command {"+" 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 d017dd228..dc4b7a7e4 100644
--- a/stdlib/source/program/aedifex/command/test.lux
+++ b/stdlib/source/program/aedifex/command/test.lux
@@ -1,28 +1,28 @@
(.module:
[library
- [lux {"-" [Name]}
+ [lux {"-" Name}
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
[concurrency
- ["[0]" async {"+" [Async]} ("[1]#[0]" monad)]]]
+ ["[0]" async {"+" Async} ("[1]#[0]" monad)]]]
[math
[number
["i" int]]]
[world
- ["[0]" program {"+" [Program]}]
+ ["[0]" program {"+" Program}]
["[0]" file]
- ["[0]" shell {"+" [Exit Shell]}]
- ["[0]" console {"+" [Console]}]]]]
+ ["[0]" shell {"+" Exit Shell}]
+ ["[0]" console {"+" Console}]]]]
["[0]" // "_"
["[1][0]" build]
["/[1]" // "_"
["[1]" profile]
["[1][0]" action]
- ["[1][0]" command {"+" [Command]}]
+ ["[1][0]" command {"+" Command}]
["[1][0]" runtime]
[dependency
- [resolution {"+" [Resolution]}]]]])
+ [resolution {"+" 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 11883dd86..9e01d2672 100644
--- a/stdlib/source/program/aedifex/command/version.lux
+++ b/stdlib/source/program/aedifex/command/version.lux
@@ -3,7 +3,7 @@
[lux "*"
[control
[concurrency
- ["[0]" async {"+" [Async]}]]]
+ ["[0]" async {"+" Async}]]]
[tool
[compiler
["[0]" version]
@@ -11,9 +11,9 @@
["[1]/[0]" lux "_"
["[1]" version]]]]]
[world
- ["[0]" console {"+" [Console]}]]]]
+ ["[0]" console {"+" Console}]]]]
[///
- [command {"+" [Command]}]])
+ [command {"+" 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 451accd25..318152c5c 100644
--- a/stdlib/source/program/aedifex/dependency.lux
+++ b/stdlib/source/program/aedifex/dependency.lux
@@ -1,17 +1,17 @@
(.module:
[library
- [lux {"-" [Type]}
+ [lux {"-" Type}
[abstract
- [equivalence {"+" [Equivalence]}]
- [order {"+" [Order]}]
- [hash {"+" [Hash]}]]
+ [equivalence {"+" Equivalence}]
+ [order {"+" Order}]
+ [hash {"+" Hash}]]
[data
["[0]" product]
["[0]" text ("[1]#[0]" order)
- ["%" format {"+" [format]}]]]]]
+ ["%" format {"+" format}]]]]]
["[0]" // "_"
- ["[1]" artifact {"+" [Artifact]} ("[1]#[0]" order)
- [type {"+" [Type]}]]])
+ ["[1]" artifact {"+" Artifact} ("[1]#[0]" order)
+ [type {"+" Type}]]])
(type: .public Dependency
(Record
diff --git a/stdlib/source/program/aedifex/dependency/deployment.lux b/stdlib/source/program/aedifex/dependency/deployment.lux
index 843b24917..29f49b61a 100644
--- a/stdlib/source/program/aedifex/dependency/deployment.lux
+++ b/stdlib/source/program/aedifex/dependency/deployment.lux
@@ -2,43 +2,43 @@
[library
[lux "*"
[abstract
- [codec {"+" [Codec]}]
- ["[0]" monad {"+" [do]}]]
+ [codec {"+" Codec}]
+ ["[0]" monad {"+" do}]]
[control
- ["[0]" try {"+" [Try]}]
+ ["[0]" try {"+" Try}]
[concurrency
- ["[0]" async {"+" [Async]}]]]
+ ["[0]" async {"+" Async}]]]
[data
- [binary {"+" [Binary]}]
+ [binary {"+" Binary}]
["[0]" product]
[text
- ["%" format {"+" [format]}]
+ ["%" format {"+" format}]
[encoding
["[0]" utf8]]]
[collection
["[0]" dictionary]
- ["[0]" set {"+" [Set]}]
+ ["[0]" set {"+" Set}]
["[0]" list ("[1]#[0]" monoid)]]]
[time
- ["[0]" instant {"+" [Instant]}]]]]
+ ["[0]" instant {"+" Instant}]]]]
["[0]" /// "_"
- [repository {"+" [Repository]}]
- ["[1][0]" hash {"+" [Hash]}]
- ["[1][0]" package {"+" [Package]}]
- ["[1][0]" artifact {"+" [Artifact]}
+ [repository {"+" Repository}]
+ ["[1][0]" hash {"+" Hash}]
+ ["[1][0]" package {"+" Package}]
+ ["[1][0]" artifact {"+" Artifact}
["[1]/[0]" time]
["[1]/[0]" type]
- ["[1]/[0]" extension {"+" [Extension]}]
+ ["[1]/[0]" extension {"+" 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 {"+" Metadata}]]
+ ["[1][0]" dependency {"+" Dependency}
+ [resolution {"+" Resolution}]
+ ["[1]/[0]" status {"+" 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 c5cdce6b8..7f5c2ecca 100644
--- a/stdlib/source/program/aedifex/dependency/resolution.lux
+++ b/stdlib/source/program/aedifex/dependency/resolution.lux
@@ -1,33 +1,33 @@
(.module:
[library
- [lux {"-" [Name]}
+ [lux {"-" Name}
["@" target]
["[0]" debug]
- ["[0]" ffi {"+" [import:]}]
+ ["[0]" ffi {"+" import:}]
[abstract
- [codec {"+" [Codec]}]
- [equivalence {"+" [Equivalence]}]
- [monad {"+" [do]}]
- ["[0]" predicate {"+" [Predicate]}]]
+ [codec {"+" Codec}]
+ [equivalence {"+" Equivalence}]
+ [monad {"+" do}]
+ ["[0]" predicate {"+" Predicate}]]
[control
["[0]" maybe]
- ["[0]" try {"+" [Try]} ("[1]#[0]" functor)]
- ["[0]" exception {"+" [Exception exception:]}]
+ ["[0]" try {"+" Try} ("[1]#[0]" functor)]
+ ["[0]" exception {"+" Exception exception:}]
["<>" parser
- ["<[0]>" xml {"+" [Parser]}]]
+ ["<[0]>" xml {"+" Parser}]]
[concurrency
- ["[0]" async {"+" [Async]}]]]
+ ["[0]" async {"+" Async}]]]
[data
- ["[0]" binary {"+" [Binary]}]
+ ["[0]" binary {"+" Binary}]
["[0]" name]
["[0]" text
- ["%" format {"+" [format]}]
+ ["%" format {"+" format}]
[encoding
["[0]" utf8]]]
[format
- ["[0]" xml {"+" [Tag XML]}]]
+ ["[0]" xml {"+" Tag XML}]]
[collection
- ["[0]" dictionary {"+" [Dictionary]}]
+ ["[0]" dictionary {"+" Dictionary}]
["[0]" set]
["[0]" list ("[1]#[0]" functor monoid)]]]
[math
@@ -35,27 +35,27 @@
["n" nat]
["[0]" i64]]]
[world
- [console {"+" [Console]}]
- [net {"+" [URL]}
+ [console {"+" Console}]
+ [net {"+" URL}
["[0]" uri]
["[0]" http "_"
["[1]" client]]]]]]
- ["[0]" // {"+" [Dependency]}
- ["[1][0]" status {"+" [Status]}]
+ ["[0]" // {"+" Dependency}
+ ["[1][0]" status {"+" Status}]
["/[1]" // "_"
["/" profile]
- ["[1][0]" hash {"+" [Hash SHA-1 MD5]}]
+ ["[1][0]" hash {"+" Hash SHA-1 MD5}]
["[1][0]" pom]
- ["[1][0]" package {"+" [Package]}]
- ["[1][0]" artifact {"+" [Version Artifact]}
- ["[1]/[0]" extension {"+" [Extension]}]
+ ["[1][0]" package {"+" Package}]
+ ["[1][0]" artifact {"+" Version Artifact}
+ ["[1]/[0]" extension {"+" Extension}]
["[1]/[0]" versioning]
["[0]" snapshot
[version
["[0]" value]]]]
- ["[1][0]" repository {"+" [Repository]}
- ["[1]/[0]" remote {"+" [Address]}]
- ["[1]/[0]" origin {"+" [Origin]}]]
+ ["[1][0]" repository {"+" Repository}
+ ["[1]/[0]" remote {"+" Address}]
+ ["[1]/[0]" origin {"+" 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 0be99a0fe..6942fb75b 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 {"+" Equivalence}]]
[data
- [binary {"+" [Binary]}]
+ [binary {"+" Binary}]
["[0]" sum]
["[0]" product]]]]
["[0]" /// "_"
- ["[1][0]" hash {"+" [Hash SHA-1 MD5]}]])
+ ["[1][0]" hash {"+" 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 31471fa83..1518b50a2 100644
--- a/stdlib/source/program/aedifex/format.lux
+++ b/stdlib/source/program/aedifex/format.lux
@@ -4,18 +4,18 @@
[data
["[0]" text ("[1]#[0]" equivalence)]
[collection
- ["[0]" dictionary {"+" [Dictionary]}]
+ ["[0]" dictionary {"+" Dictionary}]
["[0]" list ("[1]#[0]" monad)]
- ["[0]" set {"+" [Set]}]]]
+ ["[0]" set {"+" Set}]]]
[macro
["[0]" code]
["[0]" template]]]]
["[0]" // "_"
["/" profile]
- ["[1][0]" runtime {"+" [Runtime]}]
- ["[1][0]" project {"+" [Project]}]
- ["[1][0]" dependency {"+" [Dependency]}]
- ["[1][0]" artifact {"+" [Artifact]}
+ ["[1][0]" runtime {"+" Runtime}]
+ ["[1][0]" project {"+" Project}]
+ ["[1][0]" dependency {"+" Dependency}]
+ ["[1][0]" artifact {"+" 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 21b9abeff..6fa565867 100644
--- a/stdlib/source/program/aedifex/hash.lux
+++ b/stdlib/source/program/aedifex/hash.lux
@@ -1,18 +1,18 @@
(.module:
[library
[lux "*"
- ["[0]" ffi {"+" [import:]}]
+ ["[0]" ffi {"+" import:}]
[abstract
- [codec {"+" [Codec]}]
- [equivalence {"+" [Equivalence]}]
- [monad {"+" [do]}]]
+ [codec {"+" Codec}]
+ [equivalence {"+" Equivalence}]
+ [monad {"+" do}]]
[control
- ["[0]" try {"+" [Try]}]
- ["[0]" exception {"+" [exception:]}]]
+ ["[0]" try {"+" Try}]
+ ["[0]" exception {"+" exception:}]]
[data
- ["[0]" binary {"+" [Binary]}]
+ ["[0]" binary {"+" Binary}]
["[0]" text
- ["%" format {"+" [Format format]}]
+ ["%" format {"+" Format format}]
["[0]" encoding]]]
[math
[number
diff --git a/stdlib/source/program/aedifex/input.lux b/stdlib/source/program/aedifex/input.lux
index 9d470f772..ea33629d5 100644
--- a/stdlib/source/program/aedifex/input.lux
+++ b/stdlib/source/program/aedifex/input.lux
@@ -1,16 +1,16 @@
(.module:
[library
- [lux {"-" [Name]}
+ [lux {"-" Name}
[abstract
- ["[0]" monad {"+" [Monad do]}]
+ ["[0]" monad {"+" Monad do}]
["[0]" mix]]
[control
- [pipe {"+" [do>]}]
- ["[0]" try {"+" [Try]}]
+ [pipe {"+" do>}]
+ ["[0]" try {"+" Try}]
[parser
["<[0]>" code]]]
[data
- [binary {"+" [Binary]}]
+ [binary {"+" 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 {"+" Name Profile}]
+ ["[1][0]" project {"+" 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 c901cc8a1..770f68cd6 100644
--- a/stdlib/source/program/aedifex/local.lux
+++ b/stdlib/source/program/aedifex/local.lux
@@ -3,12 +3,12 @@
[lux "*"
[data
[text
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
[world
[net
- ["[0]" uri {"+" [URI]}]]]]]
+ ["[0]" uri {"+" URI}]]]]]
["[0]" // "_"
- ["[1][0]" artifact {"+" [Version Artifact]}]])
+ ["[1][0]" artifact {"+" Version Artifact}]])
(def: / uri.separator)
diff --git a/stdlib/source/program/aedifex/metadata.lux b/stdlib/source/program/aedifex/metadata.lux
index 83320d752..e4f6bf3e1 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 {"+" format}]]]
[world
- [file {"+" [Path]}]
+ [file {"+" Path}]
[net
- ["[0]" uri {"+" [URI]}]]]]]
+ ["[0]" uri {"+" URI}]]]]]
["[0]" // "_"
- ["[1][0]" artifact {"+" [Artifact]}]])
+ ["[1][0]" artifact {"+" Artifact}]])
(def: remote_file
Path
diff --git a/stdlib/source/program/aedifex/metadata/artifact.lux b/stdlib/source/program/aedifex/metadata/artifact.lux
index 2bae67087..603386212 100644
--- a/stdlib/source/program/aedifex/metadata/artifact.lux
+++ b/stdlib/source/program/aedifex/metadata/artifact.lux
@@ -1,17 +1,17 @@
(.module:
[library
- [lux {"-" [Name]}
+ [lux {"-" Name}
[abstract
- [monad {"+" [do]}]
- [equivalence {"+" [Equivalence]}]]
+ [monad {"+" do}]
+ [equivalence {"+" Equivalence}]]
[control
- [pipe {"+" [do>]}]
- ["[0]" try {"+" [Try]}]
+ [pipe {"+" do>}]
+ ["[0]" try {"+" Try}]
["<>" parser
- ["<[0]>" xml {"+" [Parser]}]
+ ["<[0]>" xml {"+" Parser}]
["<[0]>" text]]
[concurrency
- ["[0]" async {"+" [Async]}]]]
+ ["[0]" async {"+" Async}]]]
[data
["[0]" product]
["[0]" text
@@ -19,24 +19,24 @@
[encoding
["[0]" utf8]]]
[format
- ["[0]" xml {"+" [XML]}]]
+ ["[0]" xml {"+" XML}]]
[collection
["[0]" list ("[1]#[0]" functor)]]]
[math
[number
["n" nat]]]
- ["[0]" time {"+" [Time]}
- ["[0]" instant {"+" [Instant]}]
- ["[0]" date {"+" [Date]}]
+ ["[0]" time {"+" Time}
+ ["[0]" instant {"+" Instant}]
+ ["[0]" date {"+" Date}]
["[0]" year]
["[0]" month]]
[world
[net
- ["[0]" uri {"+" [URI]}]]]]]
+ ["[0]" uri {"+" URI}]]]]]
["[0]" //
["/[1]" // "_"
- [repository {"+" [Repository]}]
- ["[1][0]" artifact {"+" [Group Name Version Artifact]}]]])
+ [repository {"+" Repository}]
+ ["[1][0]" artifact {"+" 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 982d15556..5a784a18f 100644
--- a/stdlib/source/program/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/program/aedifex/metadata/snapshot.lux
@@ -1,18 +1,18 @@
(.module:
[library
- [lux {"-" [Name Type]}
+ [lux {"-" Name Type}
[abstract
- [monad {"+" [do]}]
- [equivalence {"+" [Equivalence]}]]
+ [monad {"+" do}]
+ [equivalence {"+" Equivalence}]]
[control
- [pipe {"+" [do> case>]}]
- ["[0]" try {"+" [Try]}]
- ["[0]" exception {"+" [exception:]}]
+ [pipe {"+" do> case>}]
+ ["[0]" try {"+" Try}]
+ ["[0]" exception {"+" exception:}]
["<>" parser
- ["<[0]>" xml {"+" [Parser]}]
+ ["<[0]>" xml {"+" Parser}]
["<[0]>" text]]
[concurrency
- ["[0]" async {"+" [Async]}]]]
+ ["[0]" async {"+" Async}]]]
[data
["[0]" product]
["[0]" text
@@ -20,27 +20,27 @@
[encoding
["[0]" utf8]]]
[format
- ["[0]" xml {"+" [XML]}]]
+ ["[0]" xml {"+" XML}]]
[collection
["[0]" list ("[1]#[0]" functor)]]]
[math
[number
["n" nat]]]
- ["[0]" time {"+" [Time]}
- ["[0]" instant {"+" [Instant]}]
- ["[0]" date {"+" [Date]}]
+ ["[0]" time {"+" Time}
+ ["[0]" instant {"+" Instant}]
+ ["[0]" date {"+" Date}]
["[0]" year]
["[0]" month]]
[world
[net
- ["[0]" uri {"+" [URI]}]]]]]
+ ["[0]" uri {"+" URI}]]]]]
["[0]" //
["/[1]" // "_"
- [repository {"+" [Repository]}]
- ["[1][0]" artifact {"+" [Group Name Version Artifact]}
+ [repository {"+" Repository}]
+ ["[1][0]" artifact {"+" Group Name Version Artifact}
["[1]/[0]" time]
- ["[1]/[0]" type {"+" [Type]}]
- ["[1]/[0]" versioning {"+" [Versioning]}]
+ ["[1]/[0]" type {"+" Type}]
+ ["[1]/[0]" versioning {"+" 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 6a8e89c57..a65f057dd 100644
--- a/stdlib/source/program/aedifex/package.lux
+++ b/stdlib/source/program/aedifex/package.lux
@@ -1,32 +1,32 @@
(.module:
[library
- [lux {"-" [local]}
+ [lux {"-" local}
[abstract
- [equivalence {"+" [Equivalence]}]]
+ [equivalence {"+" Equivalence}]]
[control
- ["[0]" try {"+" [Try]} ("[1]#[0]" functor)]
+ ["[0]" try {"+" Try} ("[1]#[0]" functor)]
[parser
["<[0]>" xml]]]
[data
["[0]" sum]
["[0]" product]
- ["[0]" binary {"+" [Binary]}]
+ ["[0]" binary {"+" Binary}]
[text
[encoding
["[0]" utf8]]]
[format
- ["[0]" xml {"+" [XML]}]]
+ ["[0]" xml {"+" XML}]]
[collection
- [set {"+" [Set]}]]]]]
+ [set {"+" Set}]]]]]
["[0]" // "_"
["/" profile]
["[1][0]" hash]
["[1][0]" pom]
- [dependency {"+" [Dependency]}
- ["[1][0]" status {"+" [Status]}]]
+ [dependency {"+" Dependency}
+ ["[1][0]" status {"+" Status}]]
[repository
- [remote {"+" [Address]}]
- ["[1][0]" origin {"+" [Origin]}]]])
+ [remote {"+" Address}]
+ ["[1][0]" origin {"+" Origin}]]])
(type: .public Package
(Record
diff --git a/stdlib/source/program/aedifex/parser.lux b/stdlib/source/program/aedifex/parser.lux
index 80eb1bfea..ae64cb30c 100644
--- a/stdlib/source/program/aedifex/parser.lux
+++ b/stdlib/source/program/aedifex/parser.lux
@@ -1,31 +1,31 @@
(.module:
[library
- [lux {"-" [Module type]}
+ [lux {"-" Module type}
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["<>" parser
- ["<[0]>" code {"+" [Parser]}]]]
+ ["<[0]>" code {"+" Parser}]]]
[data
["[0]" text]
[collection
- ["[0]" dictionary {"+" [Dictionary]}]
- ["[0]" set {"+" [Set]}]]]
+ ["[0]" dictionary {"+" Dictionary}]
+ ["[0]" set {"+" Set}]]]
[tool
[compiler
[meta
[archive
- [descriptor {"+" [Module]}]]]]]
+ [descriptor {"+" Module}]]]]]
[world
- [net {"+" [URL]}]]]]
+ [net {"+" URL}]]]]
["[0]" // "_"
["/" profile]
- ["[1][0]" runtime {"+" [Runtime]}]
- ["[1][0]" project {"+" [Project]}]
+ ["[1][0]" runtime {"+" Runtime}]
+ ["[1][0]" project {"+" Project}]
["[1][0]" dependency]
["[1][0]" repository "_"
["[1]" remote]]
- ["[1][0]" artifact {"+" [Artifact]}
+ ["[1][0]" artifact {"+" Artifact}
["[1]/[0]" type]]])
(def: (as_input input)
diff --git a/stdlib/source/program/aedifex/pom.lux b/stdlib/source/program/aedifex/pom.lux
index 226de3015..8ac9e1808 100644
--- a/stdlib/source/program/aedifex/pom.lux
+++ b/stdlib/source/program/aedifex/pom.lux
@@ -2,19 +2,19 @@
[library
[lux "*"
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- [pipe {"+" [case>]}]
+ [pipe {"+" case>}]
["[0]" maybe ("[1]#[0]" functor)]
- ["[0]" try {"+" [Try]}]
+ ["[0]" try {"+" Try}]
["[0]" exception]
["<>" parser
- ["<[0]>" xml {"+" [Parser]}]]]
+ ["<[0]>" xml {"+" Parser}]]]
[data
["[0]" name]
["[0]" text]
[format
- ["_" xml {"+" [Tag XML]}]]
+ ["_" xml {"+" Tag XML}]]
[collection
["[0]" list ("[1]#[0]" monoid functor mix)]
["[0]" set]
@@ -23,10 +23,10 @@
["[0]" file]]]]
["[0]" // "_"
["/" profile]
- ["[1][0]" dependency {"+" [Dependency]}]
+ ["[1][0]" dependency {"+" Dependency}]
[repository
- [remote {"+" [Address]}]]
- ["[1][0]" artifact {"+" [Artifact]}
+ [remote {"+" Address}]]
+ ["[1][0]" artifact {"+" 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 3a81f1271..20347b27a 100644
--- a/stdlib/source/program/aedifex/profile.lux
+++ b/stdlib/source/program/aedifex/profile.lux
@@ -1,36 +1,36 @@
(.module:
[library
- [lux {"-" [Info Source Module Name]}
+ [lux {"-" Info Source Module Name}
[abstract
- [monoid {"+" [Monoid]}]
- [equivalence {"+" [Equivalence]}]]
+ [monoid {"+" Monoid}]
+ [equivalence {"+" Equivalence}]]
[control
["[0]" maybe ("[1]#[0]" monoid)]
- ["[0]" exception {"+" [exception:]}]]
+ ["[0]" exception {"+" exception:}]]
[data
["[0]" product]
["[0]" text ("[1]#[0]" equivalence)]
[collection
- ["[0]" dictionary {"+" [Dictionary]}]
+ ["[0]" dictionary {"+" Dictionary}]
["[0]" list ("[1]#[0]" monoid)]
- ["[0]" set {"+" [Set]}]]]
+ ["[0]" set {"+" Set}]]]
[macro
["[0]" template]]
[world
- [net {"+" [URL]}]
- [file {"+" [Path]}]]
+ [net {"+" URL}]
+ [file {"+" Path}]]
[tool
[compiler
[meta
[archive
- [descriptor {"+" [Module]}]]]]]]]
+ [descriptor {"+" Module}]]]]]]]
[//
- ["[0]" runtime {"+" [Runtime]} ("[1]#[0]" equivalence)]
- ["[0]" dependency {"+" [Dependency]} ("[1]#[0]" equivalence)]
- ["[0]" artifact {"+" [Artifact]}
+ ["[0]" runtime {"+" Runtime} ("[1]#[0]" equivalence)]
+ ["[0]" dependency {"+" Dependency} ("[1]#[0]" equivalence)]
+ ["[0]" artifact {"+" Artifact}
["[0]" type]]
[repository
- [remote {"+" [Address]}]]])
+ [remote {"+" Address}]]])
(def: .public default_compiler
Dependency
diff --git a/stdlib/source/program/aedifex/project.lux b/stdlib/source/program/aedifex/project.lux
index 01173dba5..9649a8ad8 100644
--- a/stdlib/source/program/aedifex/project.lux
+++ b/stdlib/source/program/aedifex/project.lux
@@ -1,22 +1,22 @@
(.module:
[library
- [lux {"-" [Name]}
+ [lux {"-" Name}
[abstract
- [equivalence {"+" [Equivalence]}]
- [monoid {"+" [Monoid]}]
- ["[0]" monad {"+" [do]}]]
+ [equivalence {"+" Equivalence}]
+ [monoid {"+" Monoid}]
+ ["[0]" monad {"+" do}]]
[control
- ["[0]" try {"+" [Try]}]
- ["[0]" exception {"+" [exception:]}]]
+ ["[0]" try {"+" Try}]
+ ["[0]" exception {"+" exception:}]]
[data
["[0]" text
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
- ["[0]" dictionary {"+" [Dictionary]}]
- ["[0]" set {"+" [Set]}]
+ ["[0]" dictionary {"+" Dictionary}]
+ ["[0]" set {"+" Set}]
["[0]" list ("[1]#[0]" mix)]]]]]
["[0]" // "_"
- ["[1]" profile {"+" [Name Profile]}]])
+ ["[1]" profile {"+" Name Profile}]])
(def: .public file
"project.lux")
diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux
index 8aefc9dc6..0ea5d685e 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 {"+" do}]]
[control
- [io {"+" [IO]}]
- ["[0]" try {"+" [Try]}]
+ [io {"+" IO}]
+ ["[0]" try {"+" Try}]
[concurrency
- ["[0]" async {"+" [Async]}]
+ ["[0]" async {"+" Async}]
["[0]" stm]]]
[data
- [binary {"+" [Binary]}]]
+ [binary {"+" Binary}]]
[world
[net
- [uri {"+" [URI]}]]]]])
+ [uri {"+" URI}]]]]])
(type: .public (Repository !)
(Interface
diff --git a/stdlib/source/program/aedifex/repository/identity.lux b/stdlib/source/program/aedifex/repository/identity.lux
index 39a614880..ad4be2d54 100644
--- a/stdlib/source/program/aedifex/repository/identity.lux
+++ b/stdlib/source/program/aedifex/repository/identity.lux
@@ -1,13 +1,13 @@
(.module:
[library
[lux "*"
- ["[0]" ffi {"+" [import:]}]
+ ["[0]" ffi {"+" import:}]
[abstract
- [equivalence {"+" [Equivalence]}]]
+ [equivalence {"+" Equivalence}]]
[data
["[0]" product]
["[0]" text
- ["%" format {"+" [format]}]
+ ["%" format {"+" format}]
[encoding
["[0]" utf8]]]]]])
diff --git a/stdlib/source/program/aedifex/repository/local.lux b/stdlib/source/program/aedifex/repository/local.lux
index 5af09ac99..517c7db89 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 {"+" do}]]
[control
["[0]" try]
[concurrency
- ["[0]" async {"+" [Async]}]]]
+ ["[0]" async {"+" Async}]]]
[data
["[0]" text
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
[world
- [program {"+" [Program]}]
+ [program {"+" Program}]
["[0]" file]
[net
- ["[0]" uri {"+" [URI]}]]]]]
+ ["[0]" uri {"+" 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 a5a613a1a..319091936 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 {"+" Equivalence}]]
[data
["[0]" sum]
["[0]" text]]
[world
- [file {"+" [Path]}]
- [net {"+" [URL]}]]]])
+ [file {"+" Path}]
+ [net {"+" URL}]]]])
(type: .public Origin
(Variant
diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux
index d314cfa39..932a87092 100644
--- a/stdlib/source/program/aedifex/repository/remote.lux
+++ b/stdlib/source/program/aedifex/repository/remote.lux
@@ -2,15 +2,15 @@
[library
[lux "*"
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- ["[0]" io {"+" [IO]}]
- ["[0]" try {"+" [Try]}]
- ["[0]" exception {"+" [exception:]}]]
+ ["[0]" io {"+" IO}]
+ ["[0]" try {"+" Try}]
+ ["[0]" exception {"+" exception:}]]
[data
["[0]" product]
[text
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
[tool
[compiler
["[0]" version]
@@ -18,17 +18,17 @@
["[1]/[0]" lux "_"
["[1]" version]]]]]
[world
- [net {"+" [URL]}
- [uri {"+" [URI]}]
+ [net {"+" URL}
+ [uri {"+" URI}]
["[0]" http "_"
["[1]" client]
["[1]/[0]" status]
["@[1]" /]]]]]]
["[0]" //
- ["[1][0]" identity {"+" [Identity]}]
+ ["[1][0]" identity {"+" Identity}]
["/[1]" // "_"
- ["[1][0]" artifact {"+" [Version Artifact]}
- [extension {"+" [Extension]}]]]])
+ ["[1][0]" artifact {"+" Version Artifact}
+ [extension {"+" Extension}]]]])
(type: .public Address
URL)
diff --git a/stdlib/source/program/aedifex/runtime.lux b/stdlib/source/program/aedifex/runtime.lux
index 6c90e4b73..d3cb3acb3 100644
--- a/stdlib/source/program/aedifex/runtime.lux
+++ b/stdlib/source/program/aedifex/runtime.lux
@@ -1,12 +1,12 @@
(.module:
[library
- [lux {"-" [for]}
+ [lux {"-" for}
[abstract
- [equivalence {"+" [Equivalence]}]]
+ [equivalence {"+" Equivalence}]]
[data
["[0]" product]
["[0]" text
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
["[0]" list ("[1]#[0]" monoid)]]]
[macro