aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/repository
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/repository
parent659537b4ec859f1e705cdd1f82da29ab1a662d94 (diff)
Extensible import syntax: Part 1
Diffstat (limited to 'stdlib/source/program/aedifex/repository')
-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
4 files changed, 22 insertions, 22 deletions
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)