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/snapshot.lux | 30 +++++++++++----------- 1 file changed, 15 insertions(+), 15 deletions(-) (limited to 'stdlib/source/program/aedifex/metadata/snapshot.lux') diff --git a/stdlib/source/program/aedifex/metadata/snapshot.lux b/stdlib/source/program/aedifex/metadata/snapshot.lux index 1a4c73059..b53d741e6 100644 --- a/stdlib/source/program/aedifex/metadata/snapshot.lux +++ b/stdlib/source/program/aedifex/metadata/snapshot.lux @@ -2,17 +2,17 @@ [library [lux {"-" Type} [abstract - [monad {"+" do}] - [equivalence {"+" Equivalence}]] + [monad (.only do)] + [equivalence (.only Equivalence)]] [control ["[0]" pipe] - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)] ["<>" parser - ["<[0]>" xml {"+" Parser}] + ["<[0]>" xml (.only Parser)] ["<[0]>" text]] [concurrency - ["[0]" async {"+" Async}]]] + ["[0]" async (.only Async)]]] [data ["[0]" product] ["[0]" text @@ -20,27 +20,27 @@ [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) ["[1]/[0]" time] - ["[1]/[0]" type {"+" Type}] - ["[1]/[0]" versioning {"+" Versioning}] + ["[1]/[0]" type (.only Type)] + ["[1]/[0]" versioning (.only Versioning)] ["[1]/[0]" snapshot ["[1]/[0]" version] ["[1]/[0]" stamp]]]]]) -- cgit v1.2.3