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