Constraining the year of the snapshot time in Aedifex.

1 files changed, 11 insertions, 11 deletions

diff --git a/stdlib/source/program/aedifex/artifact/snapshot/time.lux b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
index ea9bf3047..e0cb8c112 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
@@ -16,30 +16,30 @@
    [time
     ["." instant (#+ Instant)]]]
   ["." /// #_
-   [time
-    ["#." date]
-    ["#." time]]])
+   ["#." time
+    ["#/." date]
+    ["#/." time]]])
 
 (type: #export Time
-  Instant)
+  ///time.Time)
 
 (def: #export equivalence
   (Equivalence Time)
-  instant.equivalence)
+  ///time.equivalence)
 
 (def: separator
   ".")
 
-(def: #export (format value)
+(def: #export (format [date time])
   (%.Format Time)
-  (%.format (///date.format (instant.date value))
+  (%.format (///time/date.format date)
             ..separator
-            (///time.format (instant.time value))))
+            (///time/time.format time)))
 
 (def: #export parser
   (<text>.Parser Time)
   (do <>.monad
-    [date ///date.parser
+    [date ///time/date.parser
      _ (<text>.this ..separator)
-     time ///time.parser]
-    (wrap (instant.from_date_time date time))))
+     time ///time/time.parser]
+    (wrap [date time])))