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/time.lux | 38 ++++++++++++------------- 1 file changed, 19 insertions(+), 19 deletions(-) (limited to 'stdlib/source/program/aedifex/artifact/time.lux') diff --git a/stdlib/source/program/aedifex/artifact/time.lux b/stdlib/source/program/aedifex/artifact/time.lux index efd33ca0a..9f6a123f0 100644 --- a/stdlib/source/program/aedifex/artifact/time.lux +++ b/stdlib/source/program/aedifex/artifact/time.lux @@ -1,23 +1,23 @@ (.using - [library - [lux "*" - ["[0]" time] - [abstract - [equivalence {"+" Equivalence}] - [monad {"+" do}]] - [control - ["[0]" try {"+" Try}] - ["<>" parser - ["<[0]>" text {"+" Parser}]]] - [data - ["[0]" product] - [text - ["%" format {"+" Format}]]] - [time - ["[0]" instant {"+" Instant}]]]] - ["[0]" / "_" - ["[1][0]" date] - ["[1][0]" time]]) + [library + [lux "*" + ["[0]" time] + [abstract + [equivalence (.only Equivalence)] + [monad (.only do)]] + [control + ["[0]" try (.only Try)] + ["<>" parser + ["<[0]>" text (.only Parser)]]] + [data + ["[0]" product] + [text + ["%" format (.only Format)]]] + [time + ["[0]" instant (.only Instant)]]]] + ["[0]" / "_" + ["[1][0]" date] + ["[1][0]" time]]) (type: .public Time [/date.Date /time.Time]) -- cgit v1.2.3