diff options
Diffstat (limited to 'stdlib/source/program/aedifex/repository')
4 files changed, 21 insertions, 21 deletions
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) |