diff options
Diffstat (limited to 'stdlib/source/test/aedifex/artifact/time_stamp/time.lux')
-rw-r--r-- | stdlib/source/test/aedifex/artifact/time_stamp/time.lux | 31 |
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)))) - ))) |