From 5d44577c3849a045052dc1c9f0dd7deddd032120 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 1 Jun 2022 21:52:34 -0400 Subject: Extensible import syntax: Part 1 --- .../source/program/aedifex/repository/identity.lux | 6 +++--- stdlib/source/program/aedifex/repository/local.lux | 12 ++++++------ stdlib/source/program/aedifex/repository/origin.lux | 6 +++--- stdlib/source/program/aedifex/repository/remote.lux | 20 ++++++++++---------- 4 files changed, 22 insertions(+), 22 deletions(-) (limited to 'stdlib/source/program/aedifex/repository') 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) -- cgit v1.2.3