From ae56acf791c2ed9bd5865f85fffa00b025d310fe Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 13 Jan 2021 17:42:20 -0400
Subject: Removed the (ultimately redundant) on_stop function for actors.

---
 .../program/aedifex/artifact/snapshot/time.lux     | 45 ++++++++++++++++++++++
 1 file changed, 45 insertions(+)
 create mode 100644 stdlib/source/program/aedifex/artifact/snapshot/time.lux

(limited to 'stdlib/source/program/aedifex/artifact/snapshot/time.lux')

diff --git a/stdlib/source/program/aedifex/artifact/snapshot/time.lux b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
new file mode 100644
index 000000000..ea9bf3047
--- /dev/null
+++ b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
@@ -0,0 +1,45 @@
+(.module:
+  [lux #*
+   [abstract
+    [equivalence (#+ Equivalence)]
+    [monad (#+ do)]]
+   [control
+    ["." exception (#+ exception:)]
+    ["<>" parser
+     ["<.>" text]
+     ["<.>" xml (#+ Parser)]]]
+   [data
+    [text
+     ["%" format]]
+    [format
+     ["." xml (#+ XML)]]]
+   [time
+    ["." instant (#+ Instant)]]]
+  ["." /// #_
+   [time
+    ["#." date]
+    ["#." time]]])
+
+(type: #export Time
+  Instant)
+
+(def: #export equivalence
+  (Equivalence Time)
+  instant.equivalence)
+
+(def: separator
+  ".")
+
+(def: #export (format value)
+  (%.Format Time)
+  (%.format (///date.format (instant.date value))
+            ..separator
+            (///time.format (instant.time value))))
+
+(def: #export parser
+  (<text>.Parser Time)
+  (do <>.monad
+    [date ///date.parser
+     _ (<text>.this ..separator)
+     time ///time.parser]
+    (wrap (instant.from_date_time date time))))
-- 
cgit v1.2.3