Lightweight machinery for agent-oriented programming.

2 files changed, 46 insertions, 1 deletions

diff --git a/stdlib/source/test/lux/world.lux b/stdlib/source/test/lux/world.lux
index c5b0ecc59..a01bdb929 100644
--- a/stdlib/source/test/lux/world.lux
+++ b/stdlib/source/test/lux/world.lux
@@ -3,11 +3,13 @@
    ["_" test (#+ Test)]]
   ["." / #_
    ["#." file]
-   ["#." shell]])
+   ["#." shell]
+   ["#." console]])
 
 (def: #export test
   Test
   ($_ _.and
       /file.test
       /shell.test
+      /console.test
       ))
diff --git a/stdlib/source/test/lux/world/console.lux b/stdlib/source/test/lux/world/console.lux
new file mode 100644
index 000000000..d17559cec
--- /dev/null
+++ b/stdlib/source/test/lux/world/console.lux
@@ -0,0 +1,43 @@
+(.module:
+  [lux #*
+   ["_" test (#+ Test)]
+   [abstract
+    [monad (#+ do)]]
+   [control
+    ["." try (#+ Try)]
+    ["." exception (#+ exception:)]]]
+  {1
+   ["." /]}
+  {[1 #spec]
+   ["$." /]})
+
+(exception: dead)
+
+(def: simulation
+  (/.Simulation Bit)
+  (structure
+   (def: (on-read dead?)
+     (if dead?
+       (exception.throw ..dead [])
+       (#try.Success [dead? (char "a")])))
+
+   (def: (on-read-line dead?)
+     (if dead?
+       (exception.throw ..dead [])
+       (#try.Success [dead? "YOLO"])))
+
+   (def: (on-write message dead?)
+     (if dead?
+       (exception.throw ..dead [])
+       (#try.Success dead?)))
+
+   (def: (on-close dead?)
+     (if dead?
+       (exception.throw ..dead [])
+       (#try.Success true)))))
+
+(def: #export test
+  Test
+  (<| (_.covering /._)
+      (_.with-cover [/.mock /.Simulation]
+        ($/.spec (/.mock ..simulation false)))))