From a5a15c191c43a660bb0c8e78e93d097e27966177 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 28 Aug 2020 00:06:26 -0400
Subject: Build programs.

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

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

diff --git a/stdlib/source/program/aedifex/action.lux b/stdlib/source/program/aedifex/action.lux
new file mode 100644
index 000000000..e8a88facd
--- /dev/null
+++ b/stdlib/source/program/aedifex/action.lux
@@ -0,0 +1,15 @@
+(.module:
+  [lux #*
+   [abstract
+    [monad (#+ Monad)]]
+   [control
+    ["." try (#+ Try)]
+    [concurrency
+     ["." promise (#+ Promise)]]]])
+
+(type: #export (Action a)
+  (Promise (Try a)))
+
+(def: #export monad
+  (Monad Action)
+  (:assume (try.with promise.monad)))
-- 
cgit v1.2.3