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 --- stdlib/source/program/aedifex/artifact/versioning.lux | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'stdlib/source/program/aedifex/artifact/versioning.lux') diff --git a/stdlib/source/program/aedifex/artifact/versioning.lux b/stdlib/source/program/aedifex/artifact/versioning.lux index 16789996f..d58f9b2e2 100644 --- a/stdlib/source/program/aedifex/artifact/versioning.lux +++ b/stdlib/source/program/aedifex/artifact/versioning.lux @@ -2,32 +2,32 @@ [library [lux "*" [abstract - [equivalence {"+" Equivalence}] - [monad {"+" do}]] + [equivalence (.only Equivalence)] + [monad (.only do)]] [control - ["[0]" exception {"+" exception:}] + ["[0]" exception (.only exception:)] ["<>" parser - ["<[0]>" xml {"+" Parser}] + ["<[0]>" xml (.only Parser)] ["<[0]>" text]]] [data ["[0]" product] ["[0]" text ["%" format]] [format - ["[0]" xml {"+" XML}]] + ["[0]" xml (.only XML)]] [collection ["[0]" list ("[1]#[0]" functor)]]] [math [number ["n" nat]]] - ["[0]" time {"+" Time} - ["[0]" date {"+" Date}] + ["[0]" time (.only Time) + ["[0]" date (.only Date)] ["[0]" year] ["[0]" month]]]] ["[0]" // "_" ["[1][0]" time] - ["[1][0]" snapshot {"+" Snapshot} - ["[1]/[0]" version {"+" Version}]]]) + ["[1][0]" snapshot (.only Snapshot) + ["[1]/[0]" version (.only Version)]]]) (type: .public Versioning (Record -- cgit v1.2.3