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/build.lux    | 43 ++++++++++++++++++++++
 1 file changed, 43 insertions(+)
 create mode 100644 stdlib/source/program/aedifex/artifact/snapshot/build.lux

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

diff --git a/stdlib/source/program/aedifex/artifact/snapshot/build.lux b/stdlib/source/program/aedifex/artifact/snapshot/build.lux
new file mode 100644
index 000000000..d9a8b729e
--- /dev/null
+++ b/stdlib/source/program/aedifex/artifact/snapshot/build.lux
@@ -0,0 +1,43 @@
+(.module:
+  [lux #*
+   [abstract
+    [equivalence (#+ Equivalence)]
+    [monad (#+ do)]]
+   [control
+    ["<>" parser
+     ["<.>" xml (#+ Parser)]
+     ["<.>" text]]]
+   [data
+    [text
+     ["%" format]]
+    [format
+     ["." xml (#+ XML)]]]
+   [math
+    [number
+     ["." nat]]]])
+
+(type: #export Build
+  Nat)
+
+(def: #export equivalence
+  (Equivalence Build)
+  nat.equivalence)
+
+(def: tag
+  xml.Tag
+  ["" "buildNumber"])
+
+(def: #export format
+  (-> Build XML)
+  (|>> %.nat
+       #xml.Text
+       list
+       (#xml.Node ..tag xml.attributes)))
+
+(def: #export parser
+  (Parser Build)
+  (do <>.monad
+    [_ (<xml>.node ..tag)]
+    (<text>.embed (<>.codec nat.decimal
+                            (<text>.many <text>.decimal))
+                  (<xml>.children <xml>.text))))
-- 
cgit v1.2.3