diff options
| author | Eduardo Julian | 2022-08-30 19:33:36 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-08-30 19:33:36 -0400 |
| commit | d0e4ba8124345ce990de7fdf7497dd903de6c342 (patch) | |
| tree | e8cc8f5e41615ca9ca536f71ddec8aca7f882a6c /stdlib/source/test/lux/world/time/instant.lux | |
| parent | b135e487e8f705a5fea7b9ef785310572642063a (diff) | |
Got rid of the superfluous "lux macro" extension.
Diffstat (limited to 'stdlib/source/test/lux/world/time/instant.lux')
| -rw-r--r-- | stdlib/source/test/lux/world/time/instant.lux | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/stdlib/source/test/lux/world/time/instant.lux b/stdlib/source/test/lux/world/time/instant.lux index 32b4c71f3..d81a5ad27 100644 --- a/stdlib/source/test/lux/world/time/instant.lux +++ b/stdlib/source/test/lux/world/time/instant.lux @@ -5,14 +5,17 @@ [monad (.only do)] [\\specification ["$[0]" equivalence] + ["$[0]" hash] ["$[0]" order] ["$[0]" enum] ["$[0]" codec]]] [control ["[0]" function] - ["[0]" try] + ["[0]" try (.use "[1]#[0]" functor)] ["[0]" io]] [data + ["[0]" text + ["?[1]" \\parser]] [collection ["[0]" list (.use "[1]#[0]" mix)]]] [math @@ -32,6 +35,8 @@ (all _.and (_.for [/.equivalence] ($equivalence.spec /.equivalence random.instant)) + (_.for [/.hash] + ($hash.spec /.hash random.instant)) (_.for [/.order] ($order.spec /.order random.instant)) (_.for [/.enum] @@ -104,4 +109,12 @@ {try.#Failure _} false)) + (do random.monad + [expected random.instant] + (_.coverage [/.format /.parser] + (|> expected + /.format + (?text.result /.parser) + (try#each (at /.equivalence = expected)) + (try.else false)))) ))) |