aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/artifact
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/time.lux5
-rw-r--r--stdlib/source/program/aedifex/artifact/time.lux5
-rw-r--r--stdlib/source/program/aedifex/artifact/time/date.lux14
-rw-r--r--stdlib/source/program/aedifex/artifact/versioning.lux9
4 files changed, 19 insertions, 14 deletions
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/time.lux b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
index 9acb04c63..b4fb82186 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
@@ -13,8 +13,9 @@
[format
["[0]" xml (.only XML)
["<[1]>" \\parser (.only Parser)]]]]
- [time
- ["[0]" instant (.only Instant)]]]]
+ [world
+ [time
+ ["[0]" instant (.only Instant)]]]]]
["[0]" ///
["[1][0]" time
["[1]/[0]" date]
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)
diff --git a/stdlib/source/program/aedifex/artifact/versioning.lux b/stdlib/source/program/aedifex/artifact/versioning.lux
index 53e6824f0..9ccfd46ba 100644
--- a/stdlib/source/program/aedifex/artifact/versioning.lux
+++ b/stdlib/source/program/aedifex/artifact/versioning.lux
@@ -19,10 +19,11 @@
[math
[number
["n" nat]]]
- ["[0]" time (.only Time)
- ["[0]" date (.only Date)]
- ["[0]" year]
- ["[0]" month]]]]
+ [world
+ ["[0]" time (.only Time)
+ ["[0]" date (.only Date)]
+ ["[0]" year]
+ ["[0]" month]]]]]
["[0]" //
["[1][0]" time]
["[1][0]" snapshot (.only Snapshot)