diff options
Diffstat (limited to 'stdlib/source/test/aedifex')
46 files changed, 197 insertions, 197 deletions
diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux index aefe175f4..1b9bad2f0 100644 --- a/stdlib/source/test/aedifex/artifact.lux +++ b/stdlib/source/test/aedifex/artifact.lux @@ -26,7 +26,7 @@ [\\program ["[0]" /]]) -(def: .public random +(def .public random (Random /.Artifact) (let [size 4] (all random.and @@ -34,7 +34,7 @@ (random.lower_case size) (random.lower_case size)))) -(def: .public test +(def .public test Test (<| (_.covering /._) (do random.monad diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux index 7ca90b6a6..80b49fdfb 100644 --- a/stdlib/source/test/aedifex/artifact/extension.lux +++ b/stdlib/source/test/aedifex/artifact/extension.lux @@ -18,7 +18,7 @@ ["/[1]" // ["[1]" type]]]]) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Extension] diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux index 628412bee..8888dc848 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot.lux @@ -20,12 +20,12 @@ [\\program ["[0]" /]]) -(def: .public random +(def .public random (Random /.Snapshot) (random.or (random#in []) $/stamp.random)) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Snapshot] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux index 71024f4d0..f6224dd0b 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux @@ -15,11 +15,11 @@ [\\program ["[0]" /]]) -(def: .public random +(def .public random (Random /.Build) random.nat) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Build] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux index ae1ffb7a5..c24a06f5a 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux @@ -20,14 +20,14 @@ ["[1][0]" time] ["[1][0]" build]]) -(def: .public random +(def .public random (Random /.Stamp) (all random.and $//time.random $//build.random )) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Stamp]) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux index a26532ce1..3b6136ce9 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux @@ -18,11 +18,11 @@ ["$[0]" /// ["[1][0]" time]]) -(def: .public random +(def .public random (Random /.Time) $///time.random) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Time]) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux index c5c8f0e71..d2a3e01e4 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux @@ -20,7 +20,7 @@ ["[1][0]" type] ["[1][0]" time]]) -(def: .public random +(def .public random (Random /.Version) (all random.and $///type.random @@ -28,7 +28,7 @@ $///time.random )) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Version]) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux index 5fcef9a0c..0c63a2215 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux @@ -27,7 +27,7 @@ ["[1][0]" stamp] ["[1][0]" time]]]]) -(def: .public random +(def .public random (Random /.Value) (all random.and (random.alphabetic 5) @@ -35,7 +35,7 @@ $///stamp.random) )) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Value]) diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux index 8ee637360..c6ba0f2c0 100644 --- a/stdlib/source/test/aedifex/artifact/time.lux +++ b/stdlib/source/test/aedifex/artifact/time.lux @@ -23,14 +23,14 @@ ["[1][0]" date] ["[1][0]" time]]) -(def: .public random +(def .public random (Random /.Time) (do random.monad [date /date.random time /time.random] (in [date time]))) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Time]) diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux index b53420e0a..6d2e4296a 100644 --- a/stdlib/source/test/aedifex/artifact/time/date.lux +++ b/stdlib/source/test/aedifex/artifact/time/date.lux @@ -23,7 +23,7 @@ [\\program ["[0]" /]]) -(def: .public random +(def .public random (Random /.Date) (random.one (function (_ raw) (try.maybe @@ -35,7 +35,7 @@ (/.date raw)))) random.date)) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Date]) diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux index 9a7189e33..33bc56c87 100644 --- a/stdlib/source/test/aedifex/artifact/time/time.lux +++ b/stdlib/source/test/aedifex/artifact/time/time.lux @@ -18,14 +18,14 @@ [\\program ["[0]" /]]) -(def: .public random +(def .public random (Random /.Time) (random.one (|>> time.clock (has time.#milli_second 0) time.time) random.time)) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Time]) diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux index a2b5926e5..003123f40 100644 --- a/stdlib/source/test/aedifex/artifact/type.lux +++ b/stdlib/source/test/aedifex/artifact/type.lux @@ -16,7 +16,7 @@ [\\program ["[0]" /]]) -(def: .public random +(def .public random (Random /.Type) (all random.either (all random.either @@ -28,7 +28,7 @@ (random#in /.sha-1)) )) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Type] diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux index d1efdb17f..451d0b824 100644 --- a/stdlib/source/test/aedifex/artifact/versioning.lux +++ b/stdlib/source/test/aedifex/artifact/versioning.lux @@ -19,7 +19,7 @@ ["[1][0]" snapshot (.only) ["[1]/[0]" version]]]) -(def: .public random +(def .public random (Random /.Versioning) (all random.and $//snapshot.random @@ -27,7 +27,7 @@ (random.list 5 $//snapshot/version.random) )) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Versioning]) diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux index 34173ce62..6456cc824 100644 --- a/stdlib/source/test/aedifex/cache.lux +++ b/stdlib/source/test/aedifex/cache.lux @@ -46,13 +46,13 @@ ["[1][0]" repository ["[1]/[0]" origin]]]]]) -(def: type +(def type (Random Type) (all random.either (random#in //artifact/type.lux_library) (random#in //artifact/type.jvm_library))) -(def: profile +(def profile (Random [Artifact Profile XML]) (random.one (function (_ profile) (try.maybe @@ -62,13 +62,13 @@ (in [identity profile pom])))) @profile.random)) -(def: content +(def content (Random Binary) (do [! random.monad] [content_size (at ! each (n.% 100) random.nat)] (_binary.random content_size))) -(def: package +(def package (Random [Dependency Package]) (do [! random.monad] [[identity profile pom] ..profile @@ -78,7 +78,7 @@ //dependency.#type type] (has //package.#origin {//repository/origin.#Remote ""} (//package.local pom content))]))) -(def: resolution +(def resolution (Random Resolution) (do [! random.monad] [[main_dependency main_package] ..package @@ -99,7 +99,7 @@ (has //package.#origin {//repository/origin.#Remote ""} (//package.local pom content))])))))] (in (dictionary.of_list //dependency.hash (list.partial [main_dependency main_package] dependencies))))) -(def: singular +(def singular Test (do [! random.monad] [[dependency expected_package] ..package @@ -120,7 +120,7 @@ (has //package.#origin {//repository/origin.#Local ""} expected_package) actual_package))))))))) -(def: plural +(def plural Test (do [! random.monad] [expected ..resolution @@ -143,7 +143,7 @@ expected) actual))))))))) -(def: .public test +(def .public test Test (<| (_.covering /._) (all _.and 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] diff --git a/stdlib/source/test/aedifex/command.lux b/stdlib/source/test/aedifex/command.lux index 537f93562..cf3068d3c 100644 --- a/stdlib/source/test/aedifex/command.lux +++ b/stdlib/source/test/aedifex/command.lux @@ -18,7 +18,7 @@ [\\program ["[0]" /]]) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Command]) diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux index 6834fe8eb..2d6ed1354 100644 --- a/stdlib/source/test/aedifex/command/auto.lux +++ b/stdlib/source/test/aedifex/command/auto.lux @@ -44,7 +44,7 @@ [dependency [resolution (.only Resolution)]]]]]) -(def: (command expected_runs end_signal fs dummy_file) +(def (command expected_runs end_signal fs dummy_file) (-> Nat Text (file.System Async) file.Path [(Atom Nat) (-> (Console Async) (Program Async) (file.System Async) (Shell Async) Resolution (Command [Exit Any]))]) @@ -61,7 +61,7 @@ _ (at fs modify dummy_file (|> actual_runs .int instant.of_millis))] (in [shell.normal []])))))])) -(def: .public test +(def .public test Test (<| (_.covering /._) (do [! random.monad] diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux index c740ad48f..47c3ac71a 100644 --- a/stdlib/source/test/aedifex/command/build.lux +++ b/stdlib/source/test/aedifex/command/build.lux @@ -37,50 +37,50 @@ ["[1][0]" dependency (.only Dependency) ["[1]/[0]" resolution (.only Resolution)]]]]]) -(def: .public good_shell +(def .public good_shell (-> Any (Shell IO)) (shell.mock (function (_ [actual_environment actual_working_directory actual_command actual_arguments]) {try.#Success (is (shell.Mock []) (implementation - (def: (on_read state) + (def (on_read state) (exception.except shell.no_more_output [])) - (def: (on_fail state) + (def (on_fail state) (exception.except shell.no_more_output [])) - (def: (on_write input state) + (def (on_write input state) {try.#Failure "on_write"}) - (def: (on_destroy state) + (def (on_destroy state) {try.#Failure "on_destroy"}) - (def: (on_await state) + (def (on_await state) {try.#Success [state shell.normal]})))}))) -(def: .public bad_shell +(def .public bad_shell (-> Any (Shell IO)) (shell.mock (function (_ [actual_environment actual_working_directory actual_command actual_arguments]) {try.#Success (is (shell.Mock []) (implementation - (def: (on_read state) + (def (on_read state) (exception.except shell.no_more_output [])) - (def: (on_fail state) + (def (on_fail state) (exception.except shell.no_more_output [])) - (def: (on_write input state) + (def (on_write input state) {try.#Failure "on_write"}) - (def: (on_destroy state) + (def (on_destroy state) {try.#Failure "on_destroy"}) - (def: (on_await state) + (def (on_await state) {try.#Success [state shell.error]})))}))) -(def: .public (reader_shell error?) +(def .public (reader_shell error?) (-> Bit (-> (List Text) (Shell IO))) (shell.mock (function (_ [actual_environment actual_working_directory actual_command actual_arguments]) {try.#Success (is (shell.Mock (List Text)) (implementation - (def: (on_read state) + (def (on_read state) (if error? (exception.except shell.no_more_output []) (case state @@ -89,7 +89,7 @@ {.#End} (exception.except shell.no_more_output [])))) - (def: (on_fail state) + (def (on_fail state) (if error? (case state {.#Item head tail} @@ -98,14 +98,14 @@ {.#End} (exception.except shell.no_more_output [])) (exception.except shell.no_more_output []))) - (def: (on_write input state) + (def (on_write input state) {try.#Failure "on_write"}) - (def: (on_destroy state) + (def (on_destroy state) {try.#Failure "on_destroy"}) - (def: (on_await state) + (def (on_await state) {try.#Success [state shell.error]})))}))) -(def: compiler +(def compiler (Random Dependency) (do random.monad [lux_version (random.alphabetic 5) @@ -127,7 +127,7 @@ [/.ruby_lux_name] )))))) -(def: .public resolution +(def .public resolution (Random [Dependency Resolution]) (do random.monad [dependency ..compiler @@ -136,7 +136,7 @@ (|> ///dependency/resolution.empty (dictionary.has dependency package))]))) -(def: .public test +(def .public test Test (<| (_.covering /._) (do [! random.monad] diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux index 4f37c7bc3..7edf91440 100644 --- a/stdlib/source/test/aedifex/command/clean.lux +++ b/stdlib/source/test/aedifex/command/clean.lux @@ -36,11 +36,11 @@ ["[1]" profile] ["[1][0]" action (.only Action)]]]]) -(def: node_name +(def node_name (Random Text) (random.alphabetic 10)) -(def: (files prefix) +(def (files prefix) (-> Path (Random (List [Path Binary]))) (do [! random.monad] [count (at ! each (n.% 10) random.nat) @@ -49,11 +49,11 @@ (in (list.zipped_2 (list#each (|>> (format prefix)) (set.list names)) contents)))) -(def: (create_file! fs [path content]) +(def (create_file! fs [path content]) (-> (file.System Async) [Path Binary] (Async (Try Any))) (at fs write path content)) -(def: (create_directory! fs path files) +(def (create_directory! fs path files) (-> (file.System Async) Path (List [Path Binary]) (Async (Try Any))) (do [! (try.with async.monad)] [_ (is (Async (Try Any)) @@ -61,15 +61,15 @@ _ (monad.each ! (..create_file! fs) files)] (in []))) -(def: (directory_exists? fs) +(def (directory_exists? fs) (-> (file.System Async) Path (Async (Try Bit))) (|>> (at fs directory?) (try.lifted async.monad))) -(def: (file_exists? fs) +(def (file_exists? fs) (-> (file.System Async) Path (Async (Try Bit))) (|>> (at fs file?) (try.lifted async.monad))) -(def: (assets_exist? fs directory_path files) +(def (assets_exist? fs directory_path files) (-> (file.System Async) Path (List [Path Binary]) (Async (Try Bit))) (do [! (try.with async.monad)] [directory_exists? (..directory_exists? fs directory_path) @@ -80,7 +80,7 @@ (in (and directory_exists? (list.every? (|>>) files_exist?))))) -(def: .public test +(def .public test Test (<| (_.covering /._) (do [! random.monad] diff --git a/stdlib/source/test/aedifex/command/deploy.lux b/stdlib/source/test/aedifex/command/deploy.lux index 871083df6..7b709c82d 100644 --- a/stdlib/source/test/aedifex/command/deploy.lux +++ b/stdlib/source/test/aedifex/command/deploy.lux @@ -53,7 +53,7 @@ ["[1][0]" artifact (.only Artifact) ["[1]/[0]" extension]]]]]) -(def: (execute! program local remote fs artifact profile) +(def (execute! program local remote fs artifact profile) (-> (Program Async) (Repository Async) (Repository Async) (file.System Async) Artifact ///.Profile (Async (Try Text))) @@ -64,7 +64,7 @@ _ (/.do! program shell console local remote fs artifact profile)] (at console read_line []))) -(def: .public test +(def .public test Test (<| (_.covering /._) (do [! random.monad] diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux index 450152fe2..14d0f040b 100644 --- a/stdlib/source/test/aedifex/command/deps.lux +++ b/stdlib/source/test/aedifex/command/deps.lux @@ -52,7 +52,7 @@ ["[1]/[0]" origin] ["[1]/[0]" local]]]]]]) -(def: .public test +(def .public test Test (<| (_.covering /._) (do random.monad diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux index de26f5ecb..a55e96d95 100644 --- a/stdlib/source/test/aedifex/command/install.lux +++ b/stdlib/source/test/aedifex/command/install.lux @@ -38,7 +38,7 @@ ["[1][0]" repository ["[1]/[0]" local]]]]]) -(def: .public (make_sources! fs sources) +(def .public (make_sources! fs sources) (-> (file.System Async) (Set file.Path) (Action (List Any))) (let [/ (at fs separator) ! ///action.monad] @@ -51,7 +51,7 @@ (is (Async (Try Any)) (file.make_file async.monad fs (binary.empty 0) (format head / head ".lux"))))))))) -(def: (execute! program fs sample) +(def (execute! program fs sample) (-> (Program Async) (file.System Async) ///.Profile (Async (Try Text))) (do ///action.monad [.let [console ($version.echo "")] @@ -59,7 +59,7 @@ _ (/.do! console fs (///repository/local.repository program fs) sample)] (at console read_line []))) -(def: .public test +(def .public test Test (<| (_.covering /._) (do [! random.monad] diff --git a/stdlib/source/test/aedifex/command/pom.lux b/stdlib/source/test/aedifex/command/pom.lux index 278d91209..f6ba0e28e 100644 --- a/stdlib/source/test/aedifex/command/pom.lux +++ b/stdlib/source/test/aedifex/command/pom.lux @@ -30,7 +30,7 @@ ["[1][0]" action] ["[1][0]" pom]]]]) -(def: .public test +(def .public test Test (<| (_.covering /._) (do random.monad diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux index 9b01c2feb..7ab540925 100644 --- a/stdlib/source/test/aedifex/command/test.lux +++ b/stdlib/source/test/aedifex/command/test.lux @@ -39,7 +39,7 @@ ["[1][0]" dependency (.only) ["[1]/[0]" resolution]]]]]]) -(def: .public test +(def .public test Test (<| (_.covering /._) (do [! random.monad] @@ -86,15 +86,15 @@ {try.#Success (is (shell.Mock []) (implementation - (def: (on_read state) + (def (on_read state) (exception.except shell.no_more_output [])) - (def: (on_fail state) + (def (on_fail state) (exception.except shell.no_more_output [])) - (def: (on_write input state) + (def (on_write input state) {try.#Failure "on_write"}) - (def: (on_destroy state) + (def (on_destroy state) {try.#Failure "on_destroy"}) - (def: (on_await state) + (def (on_await state) {try.#Success [state (if (list.any? (text#= "build") actual_arguments) shell.normal shell.error)]})))}) diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux index 740065820..c8f427a71 100644 --- a/stdlib/source/test/aedifex/command/version.lux +++ b/stdlib/source/test/aedifex/command/version.lux @@ -29,10 +29,10 @@ (exception: .public console_is_closed!) -(def: mock +(def mock (Mock [Bit Text]) (implementation - (def: (on_read [open? state]) + (def (on_read [open? state]) (if open? (try.of_maybe (do maybe.monad @@ -40,29 +40,29 @@ [_ tail] (text.split_at 1 state)] (in [[open? tail] head]))) (exception.except ..console_is_closed! []))) - (def: (on_read_line [open? state]) + (def (on_read_line [open? state]) (if open? (try.of_maybe (do maybe.monad [[output state] (text.split_by text.new_line state)] (in [[open? state] output]))) (exception.except ..console_is_closed! []))) - (def: (on_write input [open? state]) + (def (on_write input [open? state]) (if open? {try.#Success [open? (format state input)]} (exception.except ..console_is_closed! []))) - (def: (on_close [open? buffer]) + (def (on_close [open? buffer]) (if open? {try.#Success [false buffer]} (exception.except ..console_is_closed! []))))) -(def: .public echo +(def .public echo (-> Text (Console Async)) (|>> [true] (console.mock ..mock) console.async)) -(def: .public test +(def .public test Test (<| (_.covering /._) (do random.monad diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux index 2d4e6b981..93acdb4c6 100644 --- a/stdlib/source/test/aedifex/dependency.lux +++ b/stdlib/source/test/aedifex/dependency.lux @@ -15,13 +15,13 @@ [\\program ["[0]" /]]) -(def: .public random +(def .public random (Random /.Dependency) (all random.and @artifact.random (random.alphabetic 1))) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Dependency] diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux index 0c605141a..456897460 100644 --- a/stdlib/source/test/aedifex/dependency/deployment.lux +++ b/stdlib/source/test/aedifex/dependency/deployment.lux @@ -49,7 +49,7 @@ ["[0]" repository (.only) ["[0]" remote]]]]]]) -(def: good_upload +(def good_upload (@http.Response IO) [http/status.created [@http.#headers (http.headers (list)) @@ -61,10 +61,10 @@ (type: Cache (Atom (Dictionary URL Binary))) -(def: (http cache) +(def (http cache) (-> Cache (http.Client IO)) (implementation - (def: (request method url headers input) + (def (request method url headers input) (do io.monad [_ (is (IO Any) (case [method input] @@ -75,7 +75,7 @@ (in [])))] (in {try.#Success ..good_upload}))))) -(def: (verify_one expected_deployments address package cache expected_artifact actual_artifact) +(def (verify_one expected_deployments address package cache expected_artifact actual_artifact) (-> Nat URL Package (Dictionary URL Binary) Artifact Artifact Bit) (let [url (is (-> URI URL) (|>> (format address))) @@ -131,7 +131,7 @@ artifact_metadata_upload! project_metadata_upload!))) -(def: bundle +(def bundle (Random [Dependency Artifact Package]) (do random.monad [[profile package] $///package.random @@ -143,7 +143,7 @@ artifact/type.lux_library])]] (in [dependency artifact package]))) -(def: .public test +(def .public test Test (<| (_.covering /._) (do [! random.monad] diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux index 598b7fa24..ae4366042 100644 --- a/stdlib/source/test/aedifex/dependency/resolution.lux +++ b/stdlib/source/test/aedifex/dependency/resolution.lux @@ -48,7 +48,7 @@ ["[1][0]" repository (.only Mock) ["[1]/[0]" origin]]]]]) -(def: random +(def random (Random /.Resolution) (do [! random.monad] [artifact $///artifact.random @@ -58,51 +58,51 @@ package /.empty)))) -(def: lux_sha-1 +(def lux_sha-1 Text (format ///artifact/extension.lux_library ///artifact/extension.sha-1)) -(def: lux_md5 +(def lux_md5 Text (format ///artifact/extension.lux_library ///artifact/extension.md5)) -(def: pom_sha-1 +(def pom_sha-1 Text (format ///artifact/extension.pom ///artifact/extension.sha-1)) -(def: pom_md5 +(def pom_md5 Text (format ///artifact/extension.pom ///artifact/extension.md5)) -(def: sha-1 +(def sha-1 (-> Binary Binary) (|>> ///hash.sha-1 (at ///hash.sha-1_codec encoded) (at utf8.codec encoded))) -(def: md5 +(def md5 (-> Binary Binary) (|>> ///hash.md5 (at ///hash.md5_codec encoded) (at utf8.codec encoded))) -(def: .public nope +(def .public nope (Mock Any) (implementation - (def: the_description + (def the_description "[0]") - (def: (on_download uri state) + (def (on_download uri state) {try.#Failure "NOPE"}) - (def: (on_upload uri binary state) + (def (on_upload uri binary state) {try.#Failure "NOPE"}))) -(def: .public (single artifact package) +(def .public (single artifact package) (-> Artifact Package (Mock Any)) (let [expected (///artifact.uri (the ///artifact.#version artifact) artifact)] (implementation - (def: the_description + (def the_description "[1]") - (def: (on_download uri state) + (def (on_download uri state) (if (text.contains? expected uri) (let [library (is Binary (|> package @@ -135,15 +135,15 @@ ... else {try.#Failure "NOPE"})) {try.#Failure "NOPE"})) - (def: (on_upload uri binary state) + (def (on_upload uri binary state) {try.#Failure "NOPE"})))) -(def: (bad_sha-1 expected_artifact expected_package dummy_package) +(def (bad_sha-1 expected_artifact expected_package dummy_package) (-> Artifact Package Package (Mock Any)) (implementation - (def: the_description + (def the_description "[~SHA-1]") - (def: (on_download uri state) + (def (on_download uri state) (if (text.contains? (///artifact.uri (the ///artifact.#version expected_artifact) expected_artifact) uri) (cond (text.ends_with? ///artifact/extension.lux_library uri) {try.#Success [state (|> expected_package @@ -188,15 +188,15 @@ ... else {try.#Failure "NOPE"}) {try.#Failure "NOPE"})) - (def: (on_upload uri binary state) + (def (on_upload uri binary state) {try.#Failure "NOPE"}))) -(def: (bad_md5 expected_artifact expected_package dummy_package) +(def (bad_md5 expected_artifact expected_package dummy_package) (-> Artifact Package Package (Mock Any)) (implementation - (def: the_description + (def the_description "[~MD5]") - (def: (on_download uri state) + (def (on_download uri state) (if (text.contains? (///artifact.uri (the ///artifact.#version expected_artifact) expected_artifact) uri) (cond (text.ends_with? ///artifact/extension.lux_library uri) {try.#Success [state (|> expected_package @@ -241,10 +241,10 @@ ... else {try.#Failure "NOPE"}) {try.#Failure "NOPE"})) - (def: (on_upload uri binary state) + (def (on_upload uri binary state) {try.#Failure "NOPE"}))) -(def: one +(def one Test (do [! random.monad] [expected_artifact $///artifact.random @@ -289,7 +289,7 @@ )) )))) -(def: any +(def any Test (do [! random.monad] [expected_artifact $///artifact.random @@ -336,7 +336,7 @@ false)))) ))) -(def: artifacts +(def artifacts (Random [Artifact Artifact Artifact]) (do random.monad [dependee_artifact $///artifact.random @@ -349,7 +349,7 @@ $///artifact.random)] (in [dependee_artifact depender_artifact ignored_artifact]))) -(def: (packages [dependee_artifact depender_artifact ignored_artifact]) +(def (packages [dependee_artifact depender_artifact ignored_artifact]) (-> [Artifact Artifact Artifact] (Random [[Dependency Dependency Dependency] [Package Package Package]])) @@ -397,7 +397,7 @@ (in [[dependee depender ignored] [dependee_package depender_package ignored_package]]))) -(def: all +(def all Test (do [! random.monad] [[dependee_artifact depender_artifact ignored_artifact] ..artifacts @@ -427,7 +427,7 @@ (not (dictionary.key? resolution ignored)))))) ))) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Resolution]) diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux index 6b59fa394..ef3d704f6 100644 --- a/stdlib/source/test/aedifex/dependency/status.lux +++ b/stdlib/source/test/aedifex/dependency/status.lux @@ -18,7 +18,7 @@ ["//[1]" /// ["[1][0]" hash]]]]) -(def: .public random +(def .public random (Random /.Status) (all random.or (random#in []) @@ -28,7 +28,7 @@ ($///hash.random ///hash.md5)) )) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Status] diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux index b4ef53c73..28d912a48 100644 --- a/stdlib/source/test/aedifex/hash.lux +++ b/stdlib/source/test/aedifex/hash.lux @@ -25,7 +25,7 @@ [data ["_[0]" binary]]]]) -(def: .public (random hash) +(def .public (random hash) (All (_ h) (-> (-> Binary (/.Hash h)) (Random (/.Hash h)))) @@ -33,7 +33,7 @@ [size (at ! each (n.% 100) random.nat)] (at ! each hash (_binary.random size)))) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Hash /.SHA-1 /.MD5]) diff --git a/stdlib/source/test/aedifex/input.lux b/stdlib/source/test/aedifex/input.lux index 6932ccf56..47d8bf0c9 100644 --- a/stdlib/source/test/aedifex/input.lux +++ b/stdlib/source/test/aedifex/input.lux @@ -31,17 +31,17 @@ [repository [remote (.only Address)]]]]]) -(def: (with_default_source sources) +(def (with_default_source sources) (-> (Set //.Source) (Set //.Source)) (if (set.empty? sources) (set.has //.default_source sources) sources)) -(def: with_default_repository +(def with_default_repository (-> (Set Address) (Set Address)) (set.has //.default_repository)) -(def: .public test +(def .public test Test (<| (_.covering /._) (do [! random.monad] diff --git a/stdlib/source/test/aedifex/local.lux b/stdlib/source/test/aedifex/local.lux index d5f058050..9adef30d6 100644 --- a/stdlib/source/test/aedifex/local.lux +++ b/stdlib/source/test/aedifex/local.lux @@ -15,7 +15,7 @@ ["/[1]" // ["[1][0]" artifact]]]]) -(def: .public test +(def .public test Test (<| (_.covering /._) (do [! random.monad] diff --git a/stdlib/source/test/aedifex/metadata.lux b/stdlib/source/test/aedifex/metadata.lux index bdac5dfac..f5179d2a9 100644 --- a/stdlib/source/test/aedifex/metadata.lux +++ b/stdlib/source/test/aedifex/metadata.lux @@ -16,7 +16,7 @@ [\\program ["[0]" /]]) -(def: .public test +(def .public test Test (<| (_.covering /._) (all _.and diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux index 041bad539..a43777707 100644 --- a/stdlib/source/test/aedifex/metadata/artifact.lux +++ b/stdlib/source/test/aedifex/metadata/artifact.lux @@ -41,7 +41,7 @@ ["[1][0]" repository ["[1]/[0]" local]]]]]]) -(def: .public random +(def .public random (Random /.Metadata) (all random.and (random.alphabetic 5) @@ -66,7 +66,7 @@ time.#milli_second 0])] (in (instant.of_date_time date time)))))))) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Metadata]) diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux index 7cff9954a..a40ed0553 100644 --- a/stdlib/source/test/aedifex/metadata/snapshot.lux +++ b/stdlib/source/test/aedifex/metadata/snapshot.lux @@ -49,7 +49,7 @@ ["[1][0]" repository ["[1]/[0]" local]]]]]]) -(def: random_instant +(def random_instant (Random Instant) (do [! random.monad] [year (at ! each (|>> (n.% 9,000) (n.+ 1,000) .int) random.nat) @@ -70,7 +70,7 @@ time.#milli_second 0])] (in (instant.of_date_time date time))))))) -(def: random_versioning +(def random_versioning (Random Versioning) (all random.and (random#in {///snapshot.#Local}) @@ -78,14 +78,14 @@ (random.list 5 $///artifact/snapshot/version.random) )) -(def: .public random +(def .public random (Random /.Metadata) (all random.and $///artifact.random ..random_versioning )) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Metadata]) diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux index 2e669228a..42eded5a5 100644 --- a/stdlib/source/test/aedifex/package.lux +++ b/stdlib/source/test/aedifex/package.lux @@ -40,7 +40,7 @@ [repository ["[1][0]" origin]]]]]) -(def: .public random +(def .public random (Random [//.Profile /.Package]) (do [! random.monad] [content_size (at ! each (n.% 100) random.nat) @@ -53,7 +53,7 @@ $profile.random)] (in [profile (/.local pom content)]))) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Package]) diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux index 945576470..f887958b2 100644 --- a/stdlib/source/test/aedifex/parser.lux +++ b/stdlib/source/test/aedifex/parser.lux @@ -33,27 +33,27 @@ ["[1][0]" dependency (.only Dependency)] ["[1][0]" format]]]]) -(def: name +(def name (Random //.Name) (random.alphabetic 1)) -(def: (list_of random) +(def (list_of random) (All (_ a) (-> (Random a) (Random (List a)))) (do [! random.monad] [size (at ! each (n.% 5) random.nat)] (random.list size random))) -(def: (dictionary_of key_hash key_random value_random) +(def (dictionary_of key_hash key_random value_random) (All (_ k v) (-> (Hash k) (Random k) (Random v) (Random (Dictionary k v)))) (at random.functor each (dictionary.of_list key_hash) (..list_of (random.and key_random value_random)))) -(def: random +(def random (Random Project) (..dictionary_of text.hash ..name @profile.random)) -(def: with_default_sources +(def with_default_sources (-> //.Profile //.Profile) (revised //.#sources (is (-> (Set //.Source) (Set //.Source)) @@ -62,17 +62,17 @@ (set.of_list text.hash (list //.default_source)) sources))))) -(def: with_default_repository +(def with_default_repository (-> //.Profile //.Profile) (revised //.#repositories (set.has //.default_repository))) -(def: (with_empty_profile project) +(def (with_empty_profile project) (-> Project Project) (if (dictionary.empty? project) (//project.project //.default (at //.monoid identity)) project)) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.covering //format._) diff --git a/stdlib/source/test/aedifex/pom.lux b/stdlib/source/test/aedifex/pom.lux index ab19c1c7f..e72eef0ef 100644 --- a/stdlib/source/test/aedifex/pom.lux +++ b/stdlib/source/test/aedifex/pom.lux @@ -22,7 +22,7 @@ ["/[1]" // ["[1]" profile]]]]) -(def: .public test +(def .public test Test (<| (_.covering /._) (all _.and diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux index 5a040973e..a71284333 100644 --- a/stdlib/source/test/aedifex/profile.lux +++ b/stdlib/source/test/aedifex/profile.lux @@ -39,62 +39,62 @@ [repository [remote (.only Address)]]]]]) -(def: distribution +(def distribution (Random /.Distribution) (random.or (random#in []) (random#in []))) -(def: license +(def license (Random /.License) (all random.and (random.alphabetic 1) (random.alphabetic 1) ..distribution)) -(def: scm +(def scm (Random /.SCM) (random.alphabetic 1)) -(def: organization +(def organization (Random /.Organization) (all random.and (random.alphabetic 1) (random.alphabetic 1))) -(def: email +(def email (Random /.Email) (random.alphabetic 1)) -(def: developer +(def developer (Random /.Developer) (all random.and (random.alphabetic 1) (random.alphabetic 1) (random.maybe organization))) -(def: contributor +(def contributor (Random /.Contributor) ..developer) -(def: (list_of random) +(def (list_of random) (All (_ a) (-> (Random a) (Random (List a)))) (do [! random.monad] [size (at ! each (n.% 5) random.nat)] (random.list size random))) -(def: (set_of hash random) +(def (set_of hash random) (All (_ a) (-> (Hash a) (Random a) (Random (Set a)))) (at random.functor each (set.of_list hash) (..list_of random))) -(def: (dictionary_of key_hash key_random value_random) +(def (dictionary_of key_hash key_random value_random) (All (_ k v) (-> (Hash k) (Random k) (Random v) (Random (Dictionary k v)))) (at random.functor each (dictionary.of_list key_hash) (..list_of (random.and key_random value_random)))) -(def: info +(def info (Random /.Info) (all random.and (random.maybe (random.alphabetic 1)) @@ -107,23 +107,23 @@ (..list_of ..contributor) )) -(def: name +(def name (Random /.Name) (random.alphabetic 1)) -(def: repository +(def repository (Random Address) (random.alphabetic 1)) -(def: source +(def source (Random /.Source) (random.alphabetic 1)) -(def: target +(def target (Random /.Target) (random.alphabetic 1)) -(def: .public random +(def .public random (Random /.Profile) (all random.and (..list_of ..name) @@ -147,7 +147,7 @@ (random#in //runtime.default_ruby) )) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Distribution /.License /.SCM /.Organization diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux index d0f658040..e66284a31 100644 --- a/stdlib/source/test/aedifex/project.lux +++ b/stdlib/source/test/aedifex/project.lux @@ -24,19 +24,19 @@ ["/[1]" // ["[1]" profile]]]]) -(def: profile +(def profile (Random [//.Name //.Profile]) (|> @profile.random (random#each (has //.#parents (list))) (random.and (random.alphabetic 1)))) -(def: .public random +(def .public random (Random /.Project) (do random.monad [[name profile] ..profile] (in (/.project name profile)))) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Project /.project] diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux index 6b4feec76..5ef8a77c8 100644 --- a/stdlib/source/test/aedifex/repository.lux +++ b/stdlib/source/test/aedifex/repository.lux @@ -38,7 +38,7 @@ ["[1][0]" artifact (.only Version Artifact) ["[1]/[0]" extension (.only Extension)]]]]]) -(def: artifact +(def artifact (-> Version Artifact) (|>> ["com.github.luxlang" "test-artifact"])) @@ -53,24 +53,24 @@ (type: Store (Dictionary URI Binary)) -(def: .public empty +(def .public empty Store (dictionary.empty text.hash)) -(def: valid_version +(def valid_version Version "1.2.3-YES") -(def: invalid_version +(def invalid_version Version "4.5.6-NO") -(def: .public mock +(def .public mock (/.Mock Store) (implementation - (def: the_description + (def the_description "@") - (def: (on_download uri state) + (def (on_download uri state) (case (dictionary.value uri state) {.#Some content} (case (binary.size content) @@ -79,12 +79,12 @@ {.#None} (exception.except ..not_found [uri]))) - (def: (on_upload uri content state) + (def (on_upload uri content state) (if (dictionary.key? state uri) (exception.except ..cannot_upload [uri]) {try.#Success (dictionary.has uri content state)})))) -(def: .public test +(def .public test Test (<| (_.covering /._) (all _.and diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux index b7ab8e23d..5b556db20 100644 --- a/stdlib/source/test/aedifex/repository/identity.lux +++ b/stdlib/source/test/aedifex/repository/identity.lux @@ -10,14 +10,14 @@ [\\program ["[0]" /]]) -(def: .public random +(def .public random (Random /.Identity) (all random.and (random.alphabetic 10) (random.alphabetic 10) )) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.User /.Password /.Identity] diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux index 93bb28f1d..5a6be7777 100644 --- a/stdlib/source/test/aedifex/repository/local.lux +++ b/stdlib/source/test/aedifex/repository/local.lux @@ -23,7 +23,7 @@ [\\program ["[0]" /]]) -(def: .public test +(def .public test Test (<| (_.covering /._) (do [! random.monad] diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux index 0f0fe6191..a414c8371 100644 --- a/stdlib/source/test/aedifex/repository/origin.lux +++ b/stdlib/source/test/aedifex/repository/origin.lux @@ -10,14 +10,14 @@ [\\program ["[0]" /]]) -(def: .public random +(def .public random (Random /.Origin) (all random.or (random.alphabetic 10) (random.alphabetic 10) )) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Origin] diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux index 75e9ff35e..1c16ddf09 100644 --- a/stdlib/source/test/aedifex/repository/remote.lux +++ b/stdlib/source/test/aedifex/repository/remote.lux @@ -31,16 +31,16 @@ ["/[1]" // ["[1][0]" identity]]]]) -(def: (url_body url) +(def (url_body url) (-> URL (@http.Body IO)) (let [url (at utf8.codec encoded url)] (function (_ _) (io.io {try.#Success [(binary.size url) url]})))) -(def: (good_http user password) +(def (good_http user password) (-> //identity.User //identity.Password (http.Client IO)) (implementation - (def: (request method url headers input) + (def (request method url headers input) (with_expansions [<failure> [http/status.bad_request [@http.#headers (http.headers (list)) @http.#body (..url_body "")]]] @@ -70,17 +70,17 @@ <failure>) <failure>)))))) -(def: bad_http +(def bad_http (http.Client IO) (implementation - (def: (request method url headers input) + (def (request method url headers input) (<| io.io {try.#Success} [http/status.bad_request [@http.#headers (http.headers (list)) @http.#body (..url_body "")]])))) -(def: .public test +(def .public test Test (<| (_.covering /._) (do [! random.monad] diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux index 58d539584..dfe5abfac 100644 --- a/stdlib/source/test/aedifex/runtime.lux +++ b/stdlib/source/test/aedifex/runtime.lux @@ -20,7 +20,7 @@ [\\program ["[0]" /]]) -(def: .public random +(def .public random (Random /.Runtime) (all random.either (random#in /.default_java) @@ -30,7 +30,7 @@ (random#in /.default_ruby) )) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Runtime]) |