diff options
Diffstat (limited to 'stdlib/source/test/aedifex/cli.lux')
| -rw-r--r-- | stdlib/source/test/aedifex/cli.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux index f0b011180..a4af47e46 100644 --- a/stdlib/source/test/aedifex/cli.lux +++ b/stdlib/source/test/aedifex/cli.lux @@ -22,12 +22,12 @@ ["/[1]" // ["[1]" profile]]]]) -(def: compilation +(def compilation (Random /.Compilation) (random.or (random#in []) (random#in []))) -(def: command +(def command (Random /.Command) (all random.or ... #Version @@ -50,13 +50,13 @@ ... #Auto ..compilation)) -(def: (compilation_format value) +(def (compilation_format value) (-> /.Compilation (List Text)) (case value {/.#Build} (list "build") {/.#Test} (list "test"))) -(def: (format value) +(def (format value) (-> /.Command (List Text)) (case value {/.#Version} (list "version") @@ -68,7 +68,7 @@ {/.#Compilation compilation} (..compilation_format compilation) {/.#Auto compilation} (list.partial "auto" (..compilation_format compilation)))) -(def: without_profile +(def without_profile Test (do random.monad [expected ..command] @@ -84,7 +84,7 @@ {try.#Failure error} false))))) -(def: with_profile +(def with_profile Test (do random.monad [expected_profile (random.alphabetic 1) @@ -102,7 +102,7 @@ {try.#Failure error} false))))) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Compilation /.Command] |