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/metadata/artifact.lux | 24 +++++++++++----------- 1 file changed, 12 insertions(+), 12 deletions(-) (limited to 'stdlib/source/program/aedifex/metadata/artifact.lux') 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 -- cgit v1.2.3