aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/artifact/time_stamp/time.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/aedifex/artifact/time_stamp/time.lux')
-rw-r--r--stdlib/source/test/aedifex/artifact/time_stamp/time.lux31
1 files changed, 0 insertions, 31 deletions
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))))
- )))