diff options
author | Eduardo Julian | 2022-06-16 00:48:19 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-16 00:48:19 -0400 |
commit | 9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 (patch) | |
tree | 115fab5bd8a5f53dc0d13ce5453095324a83496f /stdlib/source/test/aedifex/cli.lux | |
parent | f92c806ee8da63f04bbefbf558f6249bacdb47ea (diff) |
De-sigil-ification: suffix : [Part 13]
Diffstat (limited to '')
-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] |