diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/program/aedifex/artifact/time.lux | 5 | ||||
| -rw-r--r-- | stdlib/source/program/aedifex/artifact/time/date.lux | 14 |
2 files changed, 11 insertions, 8 deletions
diff --git a/stdlib/source/program/aedifex/artifact/time.lux b/stdlib/source/program/aedifex/artifact/time.lux index 59e0ee3d1..764ae9b86 100644 --- a/stdlib/source/program/aedifex/artifact/time.lux +++ b/stdlib/source/program/aedifex/artifact/time.lux @@ -12,8 +12,9 @@ ["[0]" text ["%" \\format (.only Format)] ["<[1]>" \\parser (.only Parser)]]] - ["[0]" time (.only) - ["[0]" instant (.only Instant)]]]] + [world + ["[0]" time (.only) + ["[0]" instant (.only Instant)]]]]] ["[0]" / ["[1][0]" date] ["[1][0]" time]]) diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux index 5cdbd0d1d..84e33836a 100644 --- a/stdlib/source/program/aedifex/artifact/time/date.lux +++ b/stdlib/source/program/aedifex/artifact/time/date.lux @@ -16,12 +16,14 @@ [number ["n" nat] ["i" int]]] - [time - ["[0]" date (.use "[1]#[0]" equivalence)] - ["[0]" year] - ["[0]" month]] - [type - [primitive (.except)]]]]) + [meta + [type + [primitive (.except)]]] + [world + [time + ["[0]" date (.use "[1]#[0]" equivalence)] + ["[0]" year] + ["[0]" month]]]]]) (def .public (pad value) (-> Nat Text) |