diff options
author | Eduardo Julian | 2022-06-01 21:52:34 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-01 21:52:34 -0400 |
commit | 5d44577c3849a045052dc1c9f0dd7deddd032120 (patch) | |
tree | b0e00801734720e9f985c7dfa239aaa0bdea7bcd /stdlib/source/program/aedifex/artifact/time.lux | |
parent | 659537b4ec859f1e705cdd1f82da29ab1a662d94 (diff) |
Extensible import syntax: Part 1
Diffstat (limited to 'stdlib/source/program/aedifex/artifact/time.lux')
-rw-r--r-- | stdlib/source/program/aedifex/artifact/time.lux | 38 |
1 files changed, 19 insertions, 19 deletions
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]) |