Added support for time-zoned time.

2 files changed, 64 insertions, 1 deletions

diff --git a/stdlib/source/test/lux/world/time.lux b/stdlib/source/test/lux/world/time.lux
index 4ca58afca..68e6e478c 100644
--- a/stdlib/source/test/lux/world/time.lux
+++ b/stdlib/source/test/lux/world/time.lux
@@ -28,7 +28,8 @@
   ["[1][0]" duration]
   ["[1][0]" instant]
   ["[1][0]" month]
-  ["[1][0]" year]]
+  ["[1][0]" year]
+  ["[1][0]" solar]]
  [\\library
   ["[0]" / (.only)
    ["[0]" duration]]])
@@ -155,4 +156,5 @@
                  /instant.test
                  /month.test
                  /year.test
+                 /solar.test
                  )))))
diff --git a/stdlib/source/test/lux/world/time/solar.lux b/stdlib/source/test/lux/world/time/solar.lux
new file mode 100644
index 000000000..f1da38370
--- /dev/null
+++ b/stdlib/source/test/lux/world/time/solar.lux
@@ -0,0 +1,61 @@
+(.require
+ [library
+  [lux (.except)
+   [abstract
+    [monad (.only do)]
+    [\\specification
+     ["$[0]" equivalence]
+     ["$[0]" order]
+     ["$[0]" codec]]]
+   [control
+    ["[0]" try]
+    ["[0]" exception]
+    ["[0]" io]]
+   [data
+    ["[0]" bit (.use "[1]#[0]" equivalence)]
+    ["[0]" text (.use "[1]#[0]" equivalence)
+     ["%" \\format (.only format)]]]
+   [math
+    ["[0]" random (.only Random)]
+    [number
+     ["n" nat]
+     ["i" int]]]
+   [meta
+    ["@" target]]
+   [test
+    ["_" property (.only Test)]]]]
+ [\\library
+  ["[0]" / (.only)
+   [//
+    ["[0]" duration]
+    ["[0]" instant]]]])
+
+(def .public test
+  Test
+  (<| (_.covering /._)
+      (_.for [/.Instant])
+      (do random.monad
+        [_ (in [])])
+      (all _.and
+           (_.for [/.Zone]
+                  (_.coverage [/.local_zone]
+                    (io.run! (do io.monad
+                               [zone /.local_zone]
+                               (in (for @.lua
+                                        ... Lua doesn't natively support getting the time-zone ID.
+                                        (text.empty? zone)
+                                        
+                                        ... else
+                                        (not (text.empty? zone))))))))
+           (_.coverage [/.now /.zone]
+             (io.run! (do io.monad
+                        [zone /.local_zone
+                         it /.now]
+                        (in (text#= zone (/.zone it))))))
+           (_.coverage [/.format /.universal /.offset]
+             (io.run! (do io.monad
+                        [zone /.local_zone
+                         it /.now]
+                        (in (text.starts_with? (instant.format (instant.after (/.offset it) (/.universal it)))
+                                               (/.format it))))))
+           )))