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/snapshot/time.lux | |
parent | 659537b4ec859f1e705cdd1f82da29ab1a662d94 (diff) |
Extensible import syntax: Part 1
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/artifact/snapshot/time.lux | 42 |
1 files changed, 21 insertions, 21 deletions
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/time.lux b/stdlib/source/program/aedifex/artifact/snapshot/time.lux index 8088c5707..0a3337a56 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/time.lux @@ -1,25 +1,25 @@ (.using - [library - [lux "*" - [abstract - [equivalence {"+" Equivalence}] - [monad {"+" do}]] - [control - ["[0]" exception {"+" exception:}] - ["<>" parser - ["<[0]>" text] - ["<[0]>" xml {"+" Parser}]]] - [data - [text - ["%" format]] - [format - ["[0]" xml {"+" XML}]]] - [time - ["[0]" instant {"+" Instant}]]]] - ["[0]" /// "_" - ["[1][0]" time - ["[1]/[0]" date] - ["[1]/[0]" time]]]) + [library + [lux "*" + [abstract + [equivalence (.only Equivalence)] + [monad (.only do)]] + [control + ["[0]" exception (.only exception:)] + ["<>" parser + ["<[0]>" text] + ["<[0]>" xml (.only Parser)]]] + [data + [text + ["%" format]] + [format + ["[0]" xml (.only XML)]]] + [time + ["[0]" instant (.only Instant)]]]] + ["[0]" /// "_" + ["[1][0]" time + ["[1]/[0]" date] + ["[1]/[0]" time]]]) (type: .public Time ///time.Time) |