aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEduardo Julian2022-07-06 17:11:35 -0400
committerEduardo Julian2022-07-06 17:11:35 -0400
commitf7880ce83ba82ada2d04a0c587448446e677d458 (patch)
tree0cdd43e40933906bae8c87681095284e4274d3c6
parent5270f301eba5237feebc8eca14aee6b7a992a819 (diff)
Moved "lux/time" to "lux/world/time".
-rw-r--r--lux-scheme/source/program.lux6
-rw-r--r--stdlib/source/documentation/lux.lux2
-rw-r--r--stdlib/source/documentation/lux/world.lux6
-rw-r--r--stdlib/source/documentation/lux/world/time.lux (renamed from stdlib/source/documentation/lux/time.lux)0
-rw-r--r--stdlib/source/documentation/lux/world/time/date.lux (renamed from stdlib/source/documentation/lux/time/date.lux)0
-rw-r--r--stdlib/source/documentation/lux/world/time/day.lux (renamed from stdlib/source/documentation/lux/time/day.lux)0
-rw-r--r--stdlib/source/documentation/lux/world/time/duration.lux (renamed from stdlib/source/documentation/lux/time/duration.lux)0
-rw-r--r--stdlib/source/documentation/lux/world/time/instant.lux (renamed from stdlib/source/documentation/lux/time/instant.lux)0
-rw-r--r--stdlib/source/documentation/lux/world/time/month.lux (renamed from stdlib/source/documentation/lux/time/month.lux)0
-rw-r--r--stdlib/source/documentation/lux/world/time/year.lux (renamed from stdlib/source/documentation/lux/time/year.lux)0
-rw-r--r--stdlib/source/format/lux/data/text.lux15
-rw-r--r--stdlib/source/library/lux/control/concurrency/thread.lux5
-rw-r--r--stdlib/source/library/lux/control/remember.lux7
-rw-r--r--stdlib/source/library/lux/data/format/tar.lux8
-rw-r--r--stdlib/source/library/lux/debug.lux13
-rw-r--r--stdlib/source/library/lux/math/random.lux13
-rw-r--r--stdlib/source/library/lux/meta/compiler/meta/export.lux6
-rw-r--r--stdlib/source/library/lux/meta/compiler/meta/packager/scheme.lux6
-rw-r--r--stdlib/source/library/lux/meta/compiler/phase.lux7
-rw-r--r--stdlib/source/library/lux/test.lux8
-rw-r--r--stdlib/source/library/lux/world/db/jdbc/input.lux6
-rw-r--r--stdlib/source/library/lux/world/db/jdbc/output.lux6
-rw-r--r--stdlib/source/library/lux/world/file.lux9
-rw-r--r--stdlib/source/library/lux/world/file/watch.lux7
-rw-r--r--stdlib/source/library/lux/world/net/http/cookie.lux5
-rw-r--r--stdlib/source/library/lux/world/time.lux (renamed from stdlib/source/library/lux/time.lux)0
-rw-r--r--stdlib/source/library/lux/world/time/date.lux (renamed from stdlib/source/library/lux/time/date.lux)0
-rw-r--r--stdlib/source/library/lux/world/time/day.lux (renamed from stdlib/source/library/lux/time/day.lux)0
-rw-r--r--stdlib/source/library/lux/world/time/duration.lux (renamed from stdlib/source/library/lux/time/duration.lux)0
-rw-r--r--stdlib/source/library/lux/world/time/instant.lux (renamed from stdlib/source/library/lux/time/instant.lux)0
-rw-r--r--stdlib/source/library/lux/world/time/month.lux (renamed from stdlib/source/library/lux/time/month.lux)0
-rw-r--r--stdlib/source/library/lux/world/time/year.lux (renamed from stdlib/source/library/lux/time/year.lux)0
-rw-r--r--stdlib/source/polytypic/lux/abstract/equivalence.lux13
-rw-r--r--stdlib/source/polytypic/lux/data/format/json.lux13
-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
-rw-r--r--stdlib/source/program/aedifex/dependency/deployment.lux5
-rw-r--r--stdlib/source/program/aedifex/metadata/artifact.lux12
-rw-r--r--stdlib/source/program/aedifex/metadata/snapshot.lux12
-rw-r--r--stdlib/source/program/compositor.lux6
-rw-r--r--stdlib/source/specification/lux/world/file.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/stamp.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/time.lux5
-rw-r--r--stdlib/source/test/aedifex/command/auto.lux6
-rw-r--r--stdlib/source/test/aedifex/metadata/artifact.lux14
-rw-r--r--stdlib/source/test/aedifex/metadata/snapshot.lux14
-rw-r--r--stdlib/source/test/lux.lux2
-rw-r--r--stdlib/source/test/lux/control/concurrency/async.lux7
-rw-r--r--stdlib/source/test/lux/control/concurrency/thread.lux9
-rw-r--r--stdlib/source/test/lux/control/function/memo.lux7
-rw-r--r--stdlib/source/test/lux/control/remember.lux9
-rw-r--r--stdlib/source/test/lux/data/format/json.lux13
-rw-r--r--stdlib/source/test/lux/data/format/tar.lux7
-rw-r--r--stdlib/source/test/lux/data/text.lux13
-rw-r--r--stdlib/source/test/lux/debug.lux13
-rw-r--r--stdlib/source/test/lux/world.lux4
-rw-r--r--stdlib/source/test/lux/world/file.lux5
-rw-r--r--stdlib/source/test/lux/world/time.lux (renamed from stdlib/source/test/lux/time.lux)0
-rw-r--r--stdlib/source/test/lux/world/time/date.lux (renamed from stdlib/source/test/lux/time/date.lux)0
-rw-r--r--stdlib/source/test/lux/world/time/day.lux (renamed from stdlib/source/test/lux/time/day.lux)0
-rw-r--r--stdlib/source/test/lux/world/time/duration.lux (renamed from stdlib/source/test/lux/time/duration.lux)0
-rw-r--r--stdlib/source/test/lux/world/time/instant.lux (renamed from stdlib/source/test/lux/time/instant.lux)10
-rw-r--r--stdlib/source/test/lux/world/time/month.lux (renamed from stdlib/source/test/lux/time/month.lux)0
-rw-r--r--stdlib/source/test/lux/world/time/year.lux (renamed from stdlib/source/test/lux/time/year.lux)0
66 files changed, 203 insertions, 174 deletions
diff --git a/lux-scheme/source/program.lux b/lux-scheme/source/program.lux
index f979336ae..d4744ba40 100644
--- a/lux-scheme/source/program.lux
+++ b/lux-scheme/source/program.lux
@@ -25,11 +25,11 @@
[number (.only hex)
["n" nat]
["[0]" i64]]]
- [time
- ["[0]" instant]]
["[0]" world
["[0]" file]
- ["[1]/[0]" program]]
+ ["[1]/[0]" program]
+ [time
+ ["[0]" instant]]]
["@" target
["_" scheme]]
[meta
diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux
index 578bee850..321aebffd 100644
--- a/stdlib/source/documentation/lux.lux
+++ b/stdlib/source/documentation/lux.lux
@@ -28,7 +28,6 @@
["[1][0]" program]
["[1][0]" static]
["[1][0]" test]
- ["[1][0]" time]
["[1][0]" world]])
(.`` (.def .public documentation
@@ -898,7 +897,6 @@
/program.documentation
/static.documentation
/test.documentation
- /time.documentation
/world.documentation])))
(program: inputs
diff --git a/stdlib/source/documentation/lux/world.lux b/stdlib/source/documentation/lux/world.lux
index 7376eb311..777b02678 100644
--- a/stdlib/source/documentation/lux/world.lux
+++ b/stdlib/source/documentation/lux/world.lux
@@ -19,7 +19,8 @@
["[1]/[0]" video
["[1]/[0]" resolution]]]
["[1][0]" environment]
- ["[1][0]" shell]])
+ ["[1][0]" shell]
+ ["[1][0]" time]])
(.def .public documentation
(.List $.Module)
@@ -30,4 +31,5 @@
/net.documentation
/output/video/resolution.documentation
/environment.documentation
- /shell.documentation))
+ /shell.documentation
+ /time.documentation))
diff --git a/stdlib/source/documentation/lux/time.lux b/stdlib/source/documentation/lux/world/time.lux
index f327e942a..f327e942a 100644
--- a/stdlib/source/documentation/lux/time.lux
+++ b/stdlib/source/documentation/lux/world/time.lux
diff --git a/stdlib/source/documentation/lux/time/date.lux b/stdlib/source/documentation/lux/world/time/date.lux
index 17fd0143b..17fd0143b 100644
--- a/stdlib/source/documentation/lux/time/date.lux
+++ b/stdlib/source/documentation/lux/world/time/date.lux
diff --git a/stdlib/source/documentation/lux/time/day.lux b/stdlib/source/documentation/lux/world/time/day.lux
index e7923dfe0..e7923dfe0 100644
--- a/stdlib/source/documentation/lux/time/day.lux
+++ b/stdlib/source/documentation/lux/world/time/day.lux
diff --git a/stdlib/source/documentation/lux/time/duration.lux b/stdlib/source/documentation/lux/world/time/duration.lux
index 0b9ddaa0b..0b9ddaa0b 100644
--- a/stdlib/source/documentation/lux/time/duration.lux
+++ b/stdlib/source/documentation/lux/world/time/duration.lux
diff --git a/stdlib/source/documentation/lux/time/instant.lux b/stdlib/source/documentation/lux/world/time/instant.lux
index c5fbe2b01..c5fbe2b01 100644
--- a/stdlib/source/documentation/lux/time/instant.lux
+++ b/stdlib/source/documentation/lux/world/time/instant.lux
diff --git a/stdlib/source/documentation/lux/time/month.lux b/stdlib/source/documentation/lux/world/time/month.lux
index 9e9d4dc28..9e9d4dc28 100644
--- a/stdlib/source/documentation/lux/time/month.lux
+++ b/stdlib/source/documentation/lux/world/time/month.lux
diff --git a/stdlib/source/documentation/lux/time/year.lux b/stdlib/source/documentation/lux/world/time/year.lux
index 1ac6a11ca..1ac6a11ca 100644
--- a/stdlib/source/documentation/lux/time/year.lux
+++ b/stdlib/source/documentation/lux/world/time/year.lux
diff --git a/stdlib/source/format/lux/data/text.lux b/stdlib/source/format/lux/data/text.lux
index 2cbf6d99c..f9d79c466 100644
--- a/stdlib/source/format/lux/data/text.lux
+++ b/stdlib/source/format/lux/data/text.lux
@@ -15,12 +15,6 @@
["[0]" json]]
[collection
["[0]" list (.use "[1]#[0]" monad)]]]
- ["[0]" time (.only)
- ["[0]" instant]
- ["[0]" duration]
- ["[0]" date]
- ["[0]" day]
- ["[0]" month]]
[math
["[0]" modular]
[number
@@ -37,7 +31,14 @@
["<[1]>" \\parser (.only Parser)]]
[macro
[syntax (.only syntax)]
- ["[0]" template]]]]])
+ ["[0]" template]]]
+ [world
+ ["[0]" time (.only)
+ ["[0]" instant]
+ ["[0]" duration]
+ ["[0]" date]
+ ["[0]" day]
+ ["[0]" month]]]]])
(.type .public (Format a)
(-> a Text))
diff --git a/stdlib/source/library/lux/control/concurrency/thread.lux b/stdlib/source/library/lux/control/concurrency/thread.lux
index 5fb0f883b..408b854f8 100644
--- a/stdlib/source/library/lux/control/concurrency/thread.lux
+++ b/stdlib/source/library/lux/control/concurrency/thread.lux
@@ -19,8 +19,9 @@
[meta
["@" target]
["[0]" configuration]]
- [time
- ["[0]" instant]]]]
+ [world
+ [time
+ ["[0]" instant]]]]]
[//
["[0]" atom (.only Atom)]])
diff --git a/stdlib/source/library/lux/control/remember.lux b/stdlib/source/library/lux/control/remember.lux
index 800dc3627..b7a91758f 100644
--- a/stdlib/source/library/lux/control/remember.lux
+++ b/stdlib/source/library/lux/control/remember.lux
@@ -17,9 +17,10 @@
[macro
[syntax (.only syntax)]
["[0]" template]]]
- [time
- ["[0]" instant]
- ["[0]" date (.only Date) (.use "[1]#[0]" order)]]]])
+ [world
+ [time
+ ["[0]" instant]
+ ["[0]" date (.only Date) (.use "[1]#[0]" order)]]]]])
(exception .public (must_remember [deadline Date
today Date
diff --git a/stdlib/source/library/lux/data/format/tar.lux b/stdlib/source/library/lux/data/format/tar.lux
index 41a582b07..aad8579af 100644
--- a/stdlib/source/library/lux/data/format/tar.lux
+++ b/stdlib/source/library/lux/data/format/tar.lux
@@ -33,11 +33,11 @@
["^" pattern]]
[type
[primitive (.except)]]]
- [time
- ["[0]" instant (.only Instant)]
- ["[0]" duration]]
[world
- ["[0]" file]]]])
+ ["[0]" file]
+ [time
+ ["[0]" instant (.only Instant)]
+ ["[0]" duration]]]]])
(type Size
Nat)
diff --git a/stdlib/source/library/lux/debug.lux b/stdlib/source/library/lux/debug.lux
index 5bf180093..47046fadc 100644
--- a/stdlib/source/library/lux/debug.lux
+++ b/stdlib/source/library/lux/debug.lux
@@ -35,12 +35,13 @@
["[0]" syntax (.only syntax)]]
["[0]" type (.only)
["<[1]>" \\parser (.only Parser)]]]
- [time (.only Time)
- [instant (.only Instant)]
- [duration (.only Duration)]
- [date (.only Date)]
- [month (.only Month)]
- [day (.only Day)]]]])
+ [world
+ [time (.only Time)
+ [instant (.only Instant)]
+ [duration (.only Duration)]
+ [date (.only Date)]
+ [month (.only Month)]
+ [day (.only Day)]]]]])
(with_expansions [<jvm> (these (import java/lang/String
"[1]::[0]")
diff --git a/stdlib/source/library/lux/math/random.lux b/stdlib/source/library/lux/math/random.lux
index ece9576f8..d482c72b3 100644
--- a/stdlib/source/library/lux/math/random.lux
+++ b/stdlib/source/library/lux/math/random.lux
@@ -31,12 +31,13 @@
[meta
[type
[refinement (.only Refiner Refined)]]]
- ["[0]" time (.only Time)
- ["[0]" instant (.only Instant)]
- ["[0]" date (.only Date)]
- ["[0]" duration (.only Duration)]
- ["[0]" month (.only Month)]
- ["[0]" day (.only Day)]]]])
+ [world
+ ["[0]" time (.only Time)
+ ["[0]" instant (.only Instant)]
+ ["[0]" date (.only Date)]
+ ["[0]" duration (.only Duration)]
+ ["[0]" month (.only Month)]
+ ["[0]" day (.only Day)]]]]])
(type .public PRNG
(Rec PRNG
diff --git a/stdlib/source/library/lux/meta/compiler/meta/export.lux b/stdlib/source/library/lux/meta/compiler/meta/export.lux
index 20a0bd0cd..a32656ffa 100644
--- a/stdlib/source/library/lux/meta/compiler/meta/export.lux
+++ b/stdlib/source/library/lux/meta/compiler/meta/export.lux
@@ -23,10 +23,10 @@
[cli (.only Source Export)]
["[0]" io
["[1]" context]]]]]
- [time
- ["[0]" instant]]
[world
- ["[0]" file]]]])
+ ["[0]" file]
+ [time
+ ["[0]" instant]]]]])
(def .public file
"library.tar")
diff --git a/stdlib/source/library/lux/meta/compiler/meta/packager/scheme.lux b/stdlib/source/library/lux/meta/compiler/meta/packager/scheme.lux
index b98361ff0..0b14e378f 100644
--- a/stdlib/source/library/lux/meta/compiler/meta/packager/scheme.lux
+++ b/stdlib/source/library/lux/meta/compiler/meta/packager/scheme.lux
@@ -23,10 +23,10 @@
[meta
[target
["_" scheme]]]
- [time
- ["[0]" instant (.only Instant)]]
[world
- ["[0]" file]]]]
+ ["[0]" file]
+ [time
+ ["[0]" instant (.only Instant)]]]]]
[program
[compositor
["[0]" static (.only Static)]]]
diff --git a/stdlib/source/library/lux/meta/compiler/phase.lux b/stdlib/source/library/lux/meta/compiler/phase.lux
index a0b4df481..2b67baec4 100644
--- a/stdlib/source/library/lux/meta/compiler/phase.lux
+++ b/stdlib/source/library/lux/meta/compiler/phase.lux
@@ -13,9 +13,10 @@
["[0]" product]
[text
["%" \\format (.only format)]]]
- [time
- ["[0]" instant]
- ["[0]" duration]]]]
+ [world
+ [time
+ ["[0]" instant]
+ ["[0]" duration]]]]]
[//
[meta
[archive (.only Archive)]]])
diff --git a/stdlib/source/library/lux/test.lux b/stdlib/source/library/lux/test.lux
index b3de0884d..e6690c522 100644
--- a/stdlib/source/library/lux/test.lux
+++ b/stdlib/source/library/lux/test.lux
@@ -35,12 +35,12 @@
["<[1]>" \\parser]]
[macro
[syntax (.only syntax)]]]
- [time
- ["[0]" instant]
- ["[0]" duration (.only Duration)]]
[world
["[0]" environment]
- ["[0]" console]]]])
+ ["[0]" console]
+ [time
+ ["[0]" instant]
+ ["[0]" duration (.only Duration)]]]]])
(type .public Tally
(Record
diff --git a/stdlib/source/library/lux/world/db/jdbc/input.lux b/stdlib/source/library/lux/world/db/jdbc/input.lux
index fb8f9b3e3..713a108de 100644
--- a/stdlib/source/library/lux/world/db/jdbc/input.lux
+++ b/stdlib/source/library/lux/world/db/jdbc/input.lux
@@ -7,10 +7,10 @@
[monad (.only Monad do)]
["[0]" try (.only Try)]
["[0]" io (.only IO)]]
- [time
- ["[0]" instant (.only Instant)]]
[world
- [binary (.only Binary)]]]])
+ [binary (.only Binary)]
+ [time
+ ["[0]" instant (.only Instant)]]]]])
(import java/lang/String)
diff --git a/stdlib/source/library/lux/world/db/jdbc/output.lux b/stdlib/source/library/lux/world/db/jdbc/output.lux
index 6a9181636..383f565dc 100644
--- a/stdlib/source/library/lux/world/db/jdbc/output.lux
+++ b/stdlib/source/library/lux/world/db/jdbc/output.lux
@@ -9,10 +9,10 @@
["ex" exception]
["[0]" try (.only Try)]
["[0]" io (.only IO)]]
- [time
- ["[0]" instant (.only Instant)]]
[world
- [binary (.only Binary)]]]])
+ [binary (.only Binary)]
+ [time
+ ["[0]" instant (.only Instant)]]]]])
(import java/lang/String)
diff --git a/stdlib/source/library/lux/world/file.lux b/stdlib/source/library/lux/world/file.lux
index 560ae9e4e..cb8c48307 100644
--- a/stdlib/source/library/lux/world/file.lux
+++ b/stdlib/source/library/lux/world/file.lux
@@ -34,10 +34,11 @@
[meta
["@" target]
[macro
- ["[0]" template]]]
- [time
- ["[0]" instant (.only Instant)]
- ["[0]" duration]]]])))
+ ["[0]" template]]]]]
+ [//
+ [time
+ ["[0]" instant (.only Instant)]
+ ["[0]" duration]]])))
(type .public Path
Text)
diff --git a/stdlib/source/library/lux/world/file/watch.lux b/stdlib/source/library/lux/world/file/watch.lux
index fac39061f..91cd25c53 100644
--- a/stdlib/source/library/lux/world/file/watch.lux
+++ b/stdlib/source/library/lux/world/file/watch.lux
@@ -26,12 +26,13 @@
[math
[number
["n" nat]]]
- [time
- ["[0]" instant (.only Instant) (.use "[1]#[0]" equivalence)]]
[meta
["@" target]
[type
- [primitive (.only primitive representation abstraction)]]]]]
+ [primitive (.only primitive representation abstraction)]]]
+ [world
+ [time
+ ["[0]" instant (.only Instant) (.use "[1]#[0]" equivalence)]]]]]
["[0]" //])
(primitive .public Concern
diff --git a/stdlib/source/library/lux/world/net/http/cookie.lux b/stdlib/source/library/lux/world/net/http/cookie.lux
index ffad57e2c..a87addd69 100644
--- a/stdlib/source/library/lux/world/net/http/cookie.lux
+++ b/stdlib/source/library/lux/world/net/http/cookie.lux
@@ -15,8 +15,9 @@
["[0]" context (.only Context)]]
[collection
["[0]" dictionary]]]
- [time
- ["[0]" duration (.only Duration)]]]]
+ [world
+ [time
+ ["[0]" duration (.only Duration)]]]]]
["[0]" // (.only Header)
["[0]" header]])
diff --git a/stdlib/source/library/lux/time.lux b/stdlib/source/library/lux/world/time.lux
index d24e87497..d24e87497 100644
--- a/stdlib/source/library/lux/time.lux
+++ b/stdlib/source/library/lux/world/time.lux
diff --git a/stdlib/source/library/lux/time/date.lux b/stdlib/source/library/lux/world/time/date.lux
index 09fd828ae..09fd828ae 100644
--- a/stdlib/source/library/lux/time/date.lux
+++ b/stdlib/source/library/lux/world/time/date.lux
diff --git a/stdlib/source/library/lux/time/day.lux b/stdlib/source/library/lux/world/time/day.lux
index 4f1570d43..4f1570d43 100644
--- a/stdlib/source/library/lux/time/day.lux
+++ b/stdlib/source/library/lux/world/time/day.lux
diff --git a/stdlib/source/library/lux/time/duration.lux b/stdlib/source/library/lux/world/time/duration.lux
index 00a7c1d1e..00a7c1d1e 100644
--- a/stdlib/source/library/lux/time/duration.lux
+++ b/stdlib/source/library/lux/world/time/duration.lux
diff --git a/stdlib/source/library/lux/time/instant.lux b/stdlib/source/library/lux/world/time/instant.lux
index 2f08a6833..2f08a6833 100644
--- a/stdlib/source/library/lux/time/instant.lux
+++ b/stdlib/source/library/lux/world/time/instant.lux
diff --git a/stdlib/source/library/lux/time/month.lux b/stdlib/source/library/lux/world/time/month.lux
index c2e88c976..c2e88c976 100644
--- a/stdlib/source/library/lux/time/month.lux
+++ b/stdlib/source/library/lux/world/time/month.lux
diff --git a/stdlib/source/library/lux/time/year.lux b/stdlib/source/library/lux/world/time/year.lux
index a7bdb0dcf..a7bdb0dcf 100644
--- a/stdlib/source/library/lux/time/year.lux
+++ b/stdlib/source/library/lux/world/time/year.lux
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)]])
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)
diff --git a/stdlib/source/program/aedifex/dependency/deployment.lux b/stdlib/source/program/aedifex/dependency/deployment.lux
index 6a2c64817..40d7e2532 100644
--- a/stdlib/source/program/aedifex/dependency/deployment.lux
+++ b/stdlib/source/program/aedifex/dependency/deployment.lux
@@ -19,8 +19,9 @@
["[0]" dictionary]
["[0]" set (.only Set)]
["[0]" list (.use "[1]#[0]" monoid)]]]
- [time
- ["[0]" instant (.only Instant)]]]]
+ [world
+ [time
+ ["[0]" instant (.only Instant)]]]]]
["[0]" ///
[repository (.only Repository)]
["[1][0]" hash (.only Hash)]
diff --git a/stdlib/source/program/aedifex/metadata/artifact.lux b/stdlib/source/program/aedifex/metadata/artifact.lux
index 3ddc320b2..5df1ae3a7 100644
--- a/stdlib/source/program/aedifex/metadata/artifact.lux
+++ b/stdlib/source/program/aedifex/metadata/artifact.lux
@@ -25,14 +25,14 @@
[math
[number
["n" nat]]]
- ["[0]" time (.only Time)
- ["[0]" instant (.only Instant)]
- ["[0]" date (.only Date)]
- ["[0]" year]
- ["[0]" month]]
[world
[net
- ["[0]" uri (.only URI)]]]]]
+ ["[0]" uri (.only URI)]]
+ ["[0]" time (.only Time)
+ ["[0]" instant (.only Instant)]
+ ["[0]" date (.only Date)]
+ ["[0]" year]
+ ["[0]" month]]]]]
["[0]" // (.only)
["/[1]" //
[repository (.only Repository)]
diff --git a/stdlib/source/program/aedifex/metadata/snapshot.lux b/stdlib/source/program/aedifex/metadata/snapshot.lux
index 78b0e8c55..7b3e4d5d0 100644
--- a/stdlib/source/program/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/program/aedifex/metadata/snapshot.lux
@@ -25,14 +25,14 @@
[math
[number
["n" nat]]]
- ["[0]" time (.only Time)
- ["[0]" instant (.only Instant)]
- ["[0]" date (.only Date)]
- ["[0]" year]
- ["[0]" month]]
[world
[net
- ["[0]" uri (.only URI)]]]]]
+ ["[0]" uri (.only URI)]]
+ ["[0]" time (.only Time)
+ ["[0]" instant (.only Instant)]
+ ["[0]" date (.only Date)]
+ ["[0]" year]
+ ["[0]" month]]]]]
["[0]" // (.only)
["/[1]" //
[repository (.only Repository)]
diff --git a/stdlib/source/program/compositor.lux b/stdlib/source/program/compositor.lux
index ac17513ed..3b5150c7e 100644
--- a/stdlib/source/program/compositor.lux
+++ b/stdlib/source/program/compositor.lux
@@ -50,12 +50,12 @@
["ioW" archive]]]]
... ["[0]" interpreter]
]
- [time
- ["[0]" instant]]
["[0]" world
["[0]" file]
["[0]" console]
- ["[1]/[0]" environment]]]])
+ ["[1]/[0]" environment]
+ [time
+ ["[0]" instant]]]]])
(def (or_crash! failure_description action)
(All (_ a)
diff --git a/stdlib/source/specification/lux/world/file.lux b/stdlib/source/specification/lux/world/file.lux
index 607e7e2f6..dc6cb6528 100644
--- a/stdlib/source/specification/lux/world/file.lux
+++ b/stdlib/source/specification/lux/world/file.lux
@@ -26,8 +26,9 @@
["[0]" random]
[number
["n" nat]]]
- [time
- ["[0]" instant (.only Instant) (.use "[1]#[0]" equivalence)]]]]
+ [world
+ [time
+ ["[0]" instant (.only Instant) (.use "[1]#[0]" equivalence)]]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
index da8755d6f..2b4265932 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
@@ -14,8 +14,9 @@
["<[1]>" \\parser]]]]
[math
["[0]" random (.only Random)]]
- [time
- ["[0]" instant]]]]
+ [world
+ [time
+ ["[0]" instant]]]]]
[\\program
["[0]" /]]
["$[0]" //
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index c81dffa89..2c7d29269 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -15,8 +15,9 @@
["[0]" random (.only Random)]
[number
["i" int]]]
- [time
- ["[0]" instant (.use "[1]#[0]" equivalence)]]]]
+ [world
+ [time
+ ["[0]" instant (.use "[1]#[0]" equivalence)]]]]]
[\\program
["[0]" /]]
["[0]" /
diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux
index 564cf6ab0..8cc8177a1 100644
--- a/stdlib/source/test/aedifex/command/auto.lux
+++ b/stdlib/source/test/aedifex/command/auto.lux
@@ -24,14 +24,14 @@
["[0]" random]
[number
["n" nat]]]
- [time
- ["[0]" instant]]
[world
[console (.only Console)]
["[0]" shell (.only Exit Shell)]
["[0]" program (.only Program)]
["[0]" file
- ["[0]" watch]]]]]
+ ["[0]" watch]]
+ [time
+ ["[0]" instant]]]]]
["[0]" //
["$[0]" version]
["$[0]" build]]
diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux
index 17770c575..ed5b95b3b 100644
--- a/stdlib/source/test/aedifex/metadata/artifact.lux
+++ b/stdlib/source/test/aedifex/metadata/artifact.lux
@@ -26,15 +26,15 @@
["n" nat]]]
[meta
["[0]" code]]
- ["[0]" time (.only)
- ["[0]" date]
- ["[0]" year]
- ["[0]" month]
- ["[0]" instant]
- ["[0]" duration]]
[world
["[0]" file]
- ["[0]" program]]]]
+ ["[0]" program]
+ ["[0]" time (.only)
+ ["[0]" date]
+ ["[0]" year]
+ ["[0]" month]
+ ["[0]" instant]
+ ["[0]" duration]]]]]
[\\program
["[0]" / (.only)
["/[1]" // (.only)
diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux
index 46e368dbf..773dd262b 100644
--- a/stdlib/source/test/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/test/aedifex/metadata/snapshot.lux
@@ -26,15 +26,15 @@
["n" nat]]]
[meta
["[0]" code]]
- ["[0]" time (.only)
- ["[0]" date]
- ["[0]" year]
- ["[0]" month]
- ["[0]" instant (.only Instant)]
- ["[0]" duration]]
[world
["[0]" file]
- ["[0]" program]]]]
+ ["[0]" program]
+ ["[0]" time (.only)
+ ["[0]" date]
+ ["[0]" year]
+ ["[0]" month]
+ ["[0]" instant (.only Instant)]
+ ["[0]" duration]]]]]
["$[0]" ///
["[1][0]" artifact
["[1]/[0]" type]
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index d9e4bbc29..7212f5fb4 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -55,7 +55,6 @@
["[1][0]" static]
["[1][0]" test]
- ["[1][0]" time]
["[1][0]" world]
["[1][0]" ffi]
@@ -1213,7 +1212,6 @@
/static.test
/test.test
- /time.test
/world.test
/ffi.test
diff --git a/stdlib/source/test/lux/control/concurrency/async.lux b/stdlib/source/test/lux/control/concurrency/async.lux
index e5d175486..42d938ddd 100644
--- a/stdlib/source/test/lux/control/concurrency/async.lux
+++ b/stdlib/source/test/lux/control/concurrency/async.lux
@@ -18,9 +18,10 @@
["[0]" i64]]]
[meta
["@" target]]
- [time
- ["[0]" instant]
- ["[0]" duration]]]]
+ [world
+ [time
+ ["[0]" instant]
+ ["[0]" duration]]]]]
[\\library
["[0]" / (.only)
[//
diff --git a/stdlib/source/test/lux/control/concurrency/thread.lux b/stdlib/source/test/lux/control/concurrency/thread.lux
index 87ba8859a..da2a9ea37 100644
--- a/stdlib/source/test/lux/control/concurrency/thread.lux
+++ b/stdlib/source/test/lux/control/concurrency/thread.lux
@@ -6,14 +6,15 @@
[monad (.only do)]]
[control
["[0]" io]]
- [time
- ["[0]" instant (.only Instant)]
- ["[0]" duration]]
[math
["[0]" random]
[number
["n" nat]
- ["i" int]]]]]
+ ["i" int]]]
+ [world
+ [time
+ ["[0]" instant (.only Instant)]
+ ["[0]" duration]]]]]
[\\library
["[0]" / (.only)
[//
diff --git a/stdlib/source/test/lux/control/function/memo.lux b/stdlib/source/test/lux/control/function/memo.lux
index 1a310744f..1abe7f7f9 100644
--- a/stdlib/source/test/lux/control/function/memo.lux
+++ b/stdlib/source/test/lux/control/function/memo.lux
@@ -20,9 +20,10 @@
[meta
[macro
["^" pattern]]]
- [time
- ["[0]" instant]
- ["[0]" duration (.only Duration)]]]]
+ [world
+ [time
+ ["[0]" instant]
+ ["[0]" duration (.only Duration)]]]]]
[\\library
["[0]" / (.only)
["/[1]" //
diff --git a/stdlib/source/test/lux/control/remember.lux b/stdlib/source/test/lux/control/remember.lux
index 83dc740e8..5f4fae4ac 100644
--- a/stdlib/source/test/lux/control/remember.lux
+++ b/stdlib/source/test/lux/control/remember.lux
@@ -20,10 +20,11 @@
["<[1]>" \\parser]]
["[0]" macro (.only)
["[0]" syntax (.only syntax)]]]
- [time
- ["[0]" date (.only Date)]
- ["[0]" instant]
- ["[0]" duration]]]]
+ [world
+ [time
+ ["[0]" date (.only Date)]
+ ["[0]" instant]
+ ["[0]" duration]]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux
index bda5d1aba..e057efcfe 100644
--- a/stdlib/source/test/lux/data/format/json.lux
+++ b/stdlib/source/test/lux/data/format/json.lux
@@ -39,12 +39,13 @@
["[0]" syntax (.only syntax)]]
[type
["[0]" unit]]]
- [time
- ["[0]" date]
- ["[0]" instant
- ["[0]/[1]" \\test]]
- ["[0]" duration
- ["[0]/[1]" \\test]]]]]
+ [world
+ [time
+ ["[0]" date]
+ ["[0]" instant
+ ["[0]/[1]" \\test]]
+ ["[0]" duration
+ ["[0]/[1]" \\test]]]]]]
["[0]" \\polytypic]
["[0]" \\parser]
[\\library
diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux
index 7f695042d..5665efaec 100644
--- a/stdlib/source/test/lux/data/format/tar.lux
+++ b/stdlib/source/test/lux/data/format/tar.lux
@@ -29,9 +29,10 @@
[number
["n" nat]
["i" int]]]
- [time
- ["[0]" instant (.only Instant)]
- ["[0]" duration]]]]
+ [world
+ [time
+ ["[0]" instant (.only Instant)]
+ ["[0]" duration]]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux
index 82d998311..8aead4f9b 100644
--- a/stdlib/source/test/lux/data/text.lux
+++ b/stdlib/source/test/lux/data/text.lux
@@ -51,12 +51,13 @@
["<[1]>" \\parser]]
[macro
["^" pattern]]]
- ["[0]" time (.only)
- ["[0]" day]
- ["[0]" month]
- ["[0]" instant]
- ["[0]" duration]
- ["[0]" date]]]]
+ [world
+ ["[0]" time (.only)
+ ["[0]" day]
+ ["[0]" month]
+ ["[0]" instant]
+ ["[0]" duration]
+ ["[0]" date]]]]]
["$[0]" //
[format
["[1][0]" xml]
diff --git a/stdlib/source/test/lux/debug.lux b/stdlib/source/test/lux/debug.lux
index ccf72208a..8dae4a18e 100644
--- a/stdlib/source/test/lux/debug.lux
+++ b/stdlib/source/test/lux/debug.lux
@@ -25,12 +25,13 @@
["<[1]>" \\parser]]
["[0]" macro (.only)
[syntax (.only syntax)]]]
- [time (.only Time)
- [instant (.only Instant)]
- [date (.only Date)]
- [duration (.only Duration)]
- [month (.only Month)]
- [day (.only Day)]]]]
+ [world
+ [time (.only Time)
+ [instant (.only Instant)]
+ [date (.only Date)]
+ [duration (.only Duration)]
+ [month (.only Month)]
+ [day (.only Day)]]]]]
[\\library
["[0]" /]]
["$[0]" //
diff --git a/stdlib/source/test/lux/world.lux b/stdlib/source/test/lux/world.lux
index 37b9d2892..e0018ab8b 100644
--- a/stdlib/source/test/lux/world.lux
+++ b/stdlib/source/test/lux/world.lux
@@ -15,7 +15,8 @@
["[1][0]" net
["[1]/[0]" http
["[1]/[0]" client]
- ["[1]/[0]" status]]]])
+ ["[1]/[0]" status]]]
+ ["[1][0]" time]])
(def .public test
Test
@@ -28,4 +29,5 @@
/output/video/resolution.test
/net/http/client.test
/net/http/status.test
+ /time.test
))
diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux
index 5133e9c39..faebedb1f 100644
--- a/stdlib/source/test/lux/world/file.lux
+++ b/stdlib/source/test/lux/world/file.lux
@@ -22,8 +22,9 @@
[meta
[macro
["^" pattern]]]
- [time
- ["[0]" instant (.only Instant)]]]]
+ [world
+ [time
+ ["[0]" instant (.only Instant)]]]]]
["[0]" /
["[1][0]" watch]]
[\\library
diff --git a/stdlib/source/test/lux/time.lux b/stdlib/source/test/lux/world/time.lux
index 62c3ec43c..62c3ec43c 100644
--- a/stdlib/source/test/lux/time.lux
+++ b/stdlib/source/test/lux/world/time.lux
diff --git a/stdlib/source/test/lux/time/date.lux b/stdlib/source/test/lux/world/time/date.lux
index c97fd626e..c97fd626e 100644
--- a/stdlib/source/test/lux/time/date.lux
+++ b/stdlib/source/test/lux/world/time/date.lux
diff --git a/stdlib/source/test/lux/time/day.lux b/stdlib/source/test/lux/world/time/day.lux
index eecc8a0fb..eecc8a0fb 100644
--- a/stdlib/source/test/lux/time/day.lux
+++ b/stdlib/source/test/lux/world/time/day.lux
diff --git a/stdlib/source/test/lux/time/duration.lux b/stdlib/source/test/lux/world/time/duration.lux
index e73108548..e73108548 100644
--- a/stdlib/source/test/lux/time/duration.lux
+++ b/stdlib/source/test/lux/world/time/duration.lux
diff --git a/stdlib/source/test/lux/time/instant.lux b/stdlib/source/test/lux/world/time/instant.lux
index 3899c04b9..56a4749ec 100644
--- a/stdlib/source/test/lux/time/instant.lux
+++ b/stdlib/source/test/lux/world/time/instant.lux
@@ -17,12 +17,12 @@
[collection
["[0]" list (.use "[1]#[0]" mix)]]]
[math
- ["[0]" random]]
- [time
- ["[0]" duration (.only Duration)]
- ["[0]" day (.only Day) (.use "[1]#[0]" enum)]]]]
+ ["[0]" random]]]]
[\\library
- ["[0]" /]])
+ ["[0]" / (.only)
+ [//
+ ["[0]" duration (.only Duration)]
+ ["[0]" day (.only Day) (.use "[1]#[0]" enum)]]]])
(def .public test
Test
diff --git a/stdlib/source/test/lux/time/month.lux b/stdlib/source/test/lux/world/time/month.lux
index c87a956cd..c87a956cd 100644
--- a/stdlib/source/test/lux/time/month.lux
+++ b/stdlib/source/test/lux/world/time/month.lux
diff --git a/stdlib/source/test/lux/time/year.lux b/stdlib/source/test/lux/world/time/year.lux
index 0e0dee518..0e0dee518 100644
--- a/stdlib/source/test/lux/time/year.lux
+++ b/stdlib/source/test/lux/world/time/year.lux