diff options
author | Eduardo Julian | 2020-12-02 20:37:13 -0400 |
---|---|---|
committer | Eduardo Julian | 2020-12-02 20:37:13 -0400 |
commit | 28c724857d76afdc40b5b036f415cc151eb66263 (patch) | |
tree | 3e970ca2a10dd7bb5c7ddd405349762945464d39 /stdlib/source/test/aedifex/command/version.lux | |
parent | 34e310622bdeb1d0588c0664c0e78cbaa84f837c (diff) |
Replaced "contains?" function with "key?" function.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/aedifex/command/version.lux | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux new file mode 100644 index 000000000..f6196556d --- /dev/null +++ b/stdlib/source/test/aedifex/command/version.lux @@ -0,0 +1,27 @@ +(.module: + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." try] + [concurrency + ["." promise]]] + [math + ["." random]]] + [/// + ["@." profile]] + {#program + ["." /]}) + +(def: #export test + Test + (<| (_.covering /._) + (do random.monad + [profile @profile.random] + (wrap (do promise.monad + [verdict (do (try.with promise.monad) + [_ (/.do! profile)] + (wrap true))] + (_.cover' [/.do!] + (try.default false verdict))))))) |