diff options
| author | Eduardo Julian | 2022-12-02 19:33:00 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-12-02 19:33:00 -0400 |
| commit | 94e5802f594a73245fce0fbd885103b8bf210d57 (patch) | |
| tree | 65e5799c0be40f5f015b39bfa6c87c9c27fd9424 /stdlib/source/library/lux/test | |
| parent | b491dfff00219d5206075ea65468e00ab657075d (diff) | |
Added some simple time-series handling machinery.
Diffstat (limited to 'stdlib/source/library/lux/test')
| -rw-r--r-- | stdlib/source/library/lux/test/coverage.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/library/lux/test/property.lux | 12 |
2 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/library/lux/test/coverage.lux b/stdlib/source/library/lux/test/coverage.lux index e717d27ed..795f957d7 100644 --- a/stdlib/source/library/lux/test/coverage.lux +++ b/stdlib/source/library/lux/test/coverage.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except) + [lux (.except of) [abstract [monad (.only do)]] [data diff --git a/stdlib/source/library/lux/test/property.lux b/stdlib/source/library/lux/test/property.lux index 3223d7c06..592c8fce3 100644 --- a/stdlib/source/library/lux/test/property.lux +++ b/stdlib/source/library/lux/test/property.lux @@ -52,7 +52,7 @@ (-> Test Test Test) (do [! random.monad] [left left] - (at ! each (//.and left) right))) + (of ! each (//.and left) right))) (def .public context (-> Text Test Test) @@ -148,7 +148,7 @@ (the tally.#actual tally)) report (is (-> Coverage Text) (|>> set.list - (list.sorted (at symbol.order <)) + (list.sorted (of symbol.order <)) (exception.listing %.symbol))) expected_coverage (set.size (the tally.#expected tally)) unexpected_coverage (set.size unexpected) @@ -215,7 +215,7 @@ {.#Some console} (console.write_line report console)) <else>))] - (async.future (at environment.default exit + (async.future (of environment.default exit (when (the tally.#failures tally) 0 ..success_exit_code _ ..failure_exit_code))))) @@ -223,12 +223,12 @@ (def .public coverage (syntax (_ [coverage <code>.any condition <code>.any]) - (in (list (` (at random.monad (,' in) (//.coverage (, coverage) (, condition)))))))) + (in (list (` (of random.monad (,' in) (//.coverage (, coverage) (, condition)))))))) (def .public for (syntax (_ [coverage <code>.any test <code>.any]) - (in (list (` (at random.functor + (in (list (` (of random.functor (,' each) (|>> (//.for (, coverage))) (, test))))))) @@ -236,7 +236,7 @@ (def .public covering (syntax (_ [module <code>.any test <code>.any]) - (in (list (` (at random.functor + (in (list (` (of random.functor (,' each) (|>> (//.covering (, module))) (, test))))))) |