diff options
Diffstat (limited to 'stdlib/source/test/aedifex/command/version.lux')
-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))))))) |