aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/artifact/time_stamp
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/aedifex/artifact/time_stamp')
-rw-r--r--stdlib/source/test/aedifex/artifact/time_stamp/date.lux44
-rw-r--r--stdlib/source/test/aedifex/artifact/time_stamp/time.lux31
2 files changed, 0 insertions, 75 deletions
diff --git a/stdlib/source/test/aedifex/artifact/time_stamp/date.lux b/stdlib/source/test/aedifex/artifact/time_stamp/date.lux
deleted file mode 100644
index 0f4b5b7d3..000000000
--- a/stdlib/source/test/aedifex/artifact/time_stamp/date.lux
+++ /dev/null
@@ -1,44 +0,0 @@
-(.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))))
- )))
diff --git a/stdlib/source/test/aedifex/artifact/time_stamp/time.lux b/stdlib/source/test/aedifex/artifact/time_stamp/time.lux
deleted file mode 100644
index bd9bbe071..000000000
--- a/stdlib/source/test/aedifex/artifact/time_stamp/time.lux
+++ /dev/null
@@ -1,31 +0,0 @@
-(.module:
- [lux #*
- ["_" test (#+ Test)]
- ["." time (#+ Time)]
- [abstract
- [monad (#+ do)]]
- [control
- ["." try ("#\." functor)]
- [parser
- ["<.>" text]]]
- [math
- ["." random (#+ Random)]
- [number
- ["n" nat]
- ["i" int]]]]
- {#program
- ["." /]})
-
-(def: #export test
- Test
- (<| (_.covering /._)
- ($_ _.and
- (do random.monad
- [expected random.time]
- (_.cover [/.format /.parser]
- (|> expected
- /.format
- (<text>.run /.parser)
- (try\map (\ time.equivalence = expected))
- (try.default false))))
- )))