diff options
| author | Eduardo Julian | 2022-06-03 20:02:46 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-03 20:02:46 -0400 |
| commit | 3e7d188cbe7bc9bce4a14318e2f62583fe2501d1 (patch) | |
| tree | 9dde4f6cb8f16829b2fa43fbccffaa1b3e2659bd /stdlib/source/program/aedifex/artifact/time | |
| parent | 0e34448e5c0ffd9c39d67c2f859e91942e1ab0a4 (diff) | |
Extensible import syntax [Part 4]
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/program/aedifex/artifact/time.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/program/aedifex/artifact/time/time.lux | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/program/aedifex/artifact/time.lux b/stdlib/source/program/aedifex/artifact/time.lux index 1afab48ba..a35084d6e 100644 --- a/stdlib/source/program/aedifex/artifact/time.lux +++ b/stdlib/source/program/aedifex/artifact/time.lux @@ -7,7 +7,7 @@ [monad (.only do)]] [control ["[0]" try (.only Try)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" text (.only Parser)]]] [data ["[0]" product] @@ -15,7 +15,7 @@ ["%" format (.only Format)]]] [time ["[0]" instant (.only Instant)]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" date] ["[1][0]" time]]) diff --git a/stdlib/source/program/aedifex/artifact/time/time.lux b/stdlib/source/program/aedifex/artifact/time/time.lux index cf4bb0761..a957c6a15 100644 --- a/stdlib/source/program/aedifex/artifact/time/time.lux +++ b/stdlib/source/program/aedifex/artifact/time/time.lux @@ -5,7 +5,7 @@ [abstract [monad (.only do)]] [control - ["<>" parser + ["<>" parser (.only) ["<[0]>" text (.only Parser)]]] [data [text @@ -13,7 +13,7 @@ [math [number ["n" nat]]]]] - ["[0]" // "_" + ["[0]" // ["[1]" date]]) (type: .public Time |