From 43d28326ad59c74439b96343cc8f619ed7d90231 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 26 Jan 2021 19:11:14 -0400
Subject: Made the Python being generated more compatible with both P2.7 and
 P3.

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

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

diff --git a/stdlib/source/program/aedifex/artifact/snapshot.lux b/stdlib/source/program/aedifex/artifact/snapshot.lux
new file mode 100644
index 000000000..0488d76dd
--- /dev/null
+++ b/stdlib/source/program/aedifex/artifact/snapshot.lux
@@ -0,0 +1,72 @@
+(.module:
+  [lux (#- Name Type)
+   [abstract
+    [equivalence (#+ Equivalence)]
+    [monad (#+ do)]]
+   [control
+    ["<>" parser
+     ["<.>" xml (#+ Parser)]
+     ["<.>" text]]]
+   [data
+    ["." sum]
+    [format
+     ["." xml (#+ XML)]]]]
+  ["." / #_
+   ["#." stamp (#+ Stamp)]])
+
+(type: #export Snapshot
+  #Local
+  (#Remote Stamp))
+
+(structure: any_equivalence
+  (Equivalence Any)
+
+  (def: (= _ _)
+    true))
+
+(def: #export equivalence
+  (Equivalence Snapshot)
+  ($_ sum.equivalence
+      ..any_equivalence
+      /stamp.equivalence
+      ))
+
+(template [<definition> <tag>]
+  [(def: <definition> xml.Tag ["" <tag>])]
+
+  [<local_copy> "localCopy"]
+  [<snapshot> "snapshot"]
+  )
+
+(def: local_copy_value
+  "true")
+
+(def: local_copy_format
+  XML
+  (#xml.Node <local_copy>
+             xml.attributes
+             (list (#xml.Text ..local_copy_value))))
+
+(def: local_copy_parser
+  (Parser Any)
+  (do <>.monad
+    [_ (<xml>.node ..<local_copy>)]
+    (<xml>.children (<text>.embed (<text>.this ..local_copy_value)
+                                  <xml>.text))))
+
+(def: #export (format snapshot)
+  (-> Snapshot XML)
+  (<| (#xml.Node ..<snapshot> xml.attributes)
+      (case snapshot
+        #Local
+        (list ..local_copy_format)
+        
+        (#Remote stamp)
+        (/stamp.format stamp))))
+
+(def: #export parser
+  (Parser Snapshot)
+  (do <>.monad
+    [_ (<xml>.node <snapshot>)]
+    (<xml>.children (<>.or ..local_copy_parser
+                           /stamp.parser))))
-- 
cgit v1.2.3