From c03bd9f9787fb9f383c57b4ebb0fa9d49abbfaa1 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 3 Jan 2021 07:48:12 -0400
Subject: Place the "program:" macro of "lux/control/parser/cli" in its own
 module.

---
 .../test/aedifex/artifact/time_stamp/date.lux      | 44 ++++++++++++++++++++++
 1 file changed, 44 insertions(+)
 create mode 100644 stdlib/source/test/aedifex/artifact/time_stamp/date.lux

(limited to 'stdlib/source/test/aedifex/artifact/time_stamp')

diff --git a/stdlib/source/test/aedifex/artifact/time_stamp/date.lux b/stdlib/source/test/aedifex/artifact/time_stamp/date.lux
new file mode 100644
index 000000000..0f4b5b7d3
--- /dev/null
+++ b/stdlib/source/test/aedifex/artifact/time_stamp/date.lux
@@ -0,0 +1,44 @@
+(.module:
+  [lux #*
+   ["_" test (#+ Test)]
+   [abstract
+    [monad (#+ do)]]
+   [control
+    ["." try ("#\." functor)]
+    [parser
+     ["<.>" text]]]
+   [math
+    ["." random (#+ Random)]
+    [number
+     ["n" nat]
+     ["i" int]]]
+   [time
+    ["." date (#+ Date)]
+    ["." year]]]
+  {#program
+   ["." /]})
+
+(def: #export random
+  (Random Date)
+  (random.one (function (_ raw)
+                (try.to_maybe
+                 (do try.monad
+                   [year (|> raw date.year year.value i.abs (i.% +10,000) year.year)]
+                   (date.date year
+                              (date.month raw)
+                              (date.day_of_month raw)))))
+              random.date))
+
+(def: #export test
+  Test
+  (<| (_.covering /._)
+      ($_ _.and
+          (do random.monad
+            [expected ..random]
+            (_.cover [/.format /.parser]
+                     (|> expected
+                         /.format
+                         (<text>.run /.parser)
+                         (try\map (\ date.equivalence = expected))
+                         (try.default false))))
+          )))
-- 
cgit v1.2.3