diff options
| author | Eduardo Julian | 2022-07-06 17:11:35 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-07-06 17:11:35 -0400 |
| commit | f7880ce83ba82ada2d04a0c587448446e677d458 (patch) | |
| tree | 0cdd43e40933906bae8c87681095284e4274d3c6 /stdlib/source/polytypic | |
| parent | 5270f301eba5237feebc8eca14aee6b7a992a819 (diff) | |
Moved "lux/time" to "lux/world/time".
Diffstat (limited to 'stdlib/source/polytypic')
| -rw-r--r-- | stdlib/source/polytypic/lux/abstract/equivalence.lux | 13 | ||||
| -rw-r--r-- | stdlib/source/polytypic/lux/data/format/json.lux | 13 |
2 files changed, 14 insertions, 12 deletions
diff --git a/stdlib/source/polytypic/lux/abstract/equivalence.lux b/stdlib/source/polytypic/lux/abstract/equivalence.lux index 50d04c8e0..64c684936 100644 --- a/stdlib/source/polytypic/lux/abstract/equivalence.lux +++ b/stdlib/source/polytypic/lux/abstract/equivalence.lux @@ -31,12 +31,13 @@ ["<[1]>" \\parser] ["[0]" poly (.only polytypic)] ["[0]" unit]]] - [time - ["[0]" duration] - ["[0]" date] - ["[0]" instant] - ["[0]" day] - ["[0]" month]]]] + [world + [time + ["[0]" duration] + ["[0]" date] + ["[0]" instant] + ["[0]" day] + ["[0]" month]]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/polytypic/lux/data/format/json.lux b/stdlib/source/polytypic/lux/data/format/json.lux index cae0194d4..c68d521ce 100644 --- a/stdlib/source/polytypic/lux/data/format/json.lux +++ b/stdlib/source/polytypic/lux/data/format/json.lux @@ -32,12 +32,13 @@ ["<[1]>" \\parser] ["[0]" unit] ["[0]" poly (.only polytypic)]]] - [time - ... ["[0]" instant] - ... ["[0]" duration] - ["[0]" date] - ["[0]" day] - ["[0]" month]]]] + [world + [time + ... ["[0]" instant] + ... ["[0]" duration] + ["[0]" date] + ["[0]" day] + ["[0]" month]]]]] [\\library ["[0]" / (.only JSON)]]) |