diff options
author | Eduardo Julian | 2021-08-08 17:56:15 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-08-08 17:56:15 -0400 |
commit | f621a133e6e0a516c0586270fea8eaffb4829d82 (patch) | |
tree | 399396ee2f6a10df10cea9b78c51c76679b70e59 /stdlib/source/test/aedifex | |
parent | 17e7566be51df5e428a6b10e6469201a8a9468da (diff) |
No more #export magic syntax.
Diffstat (limited to '')
46 files changed, 80 insertions, 80 deletions
diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux index 9a55ccb59..da1941245 100644 --- a/stdlib/source/test/aedifex/artifact.lux +++ b/stdlib/source/test/aedifex/artifact.lux @@ -26,7 +26,7 @@ [\\program ["." /]]) -(def: #export random +(def: .public random (Random /.Artifact) (let [size 4] ($_ random.and @@ -34,7 +34,7 @@ (random.ascii/lower size) (random.ascii/lower size)))) -(def: #export 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 132293d4f..93355ea60 100644 --- a/stdlib/source/test/aedifex/artifact/extension.lux +++ b/stdlib/source/test/aedifex/artifact/extension.lux @@ -18,7 +18,7 @@ ["/#" // #_ ["#" type]]]]) -(def: #export 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 d8ececcd4..f196586ac 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot.lux @@ -20,12 +20,12 @@ [\\program ["." /]]) -(def: #export random +(def: .public random (Random /.Snapshot) (random.or (random\in []) $/stamp.random)) -(def: #export 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 55bdc0a42..e613c2f92 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux @@ -15,11 +15,11 @@ [\\program ["." /]]) -(def: #export random +(def: .public random (Random /.Build) random.nat) -(def: #export 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 deea0e954..2a2c19e4f 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux @@ -20,14 +20,14 @@ ["#." time] ["#." build]]) -(def: #export random +(def: .public random (Random /.Stamp) ($_ random.and $//time.random $//build.random )) -(def: #export 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 05e575e64..a658d3e29 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux @@ -17,11 +17,11 @@ ["$." /// #_ ["#." time]]) -(def: #export random +(def: .public random (Random /.Time) $///time.random) -(def: #export 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 c63dc4f51..c5ec63398 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux @@ -20,7 +20,7 @@ ["#." type] ["#." time]]) -(def: #export random +(def: .public random (Random /.Version) ($_ random.and $///type.random @@ -28,7 +28,7 @@ $///time.random )) -(def: #export 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 cfd8a7f17..ada815059 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux @@ -28,7 +28,7 @@ ["#." stamp] ["#." time]]]]) -(def: #export random +(def: .public random (Random /.Value) ($_ random.and (random.ascii/alpha 5) @@ -36,7 +36,7 @@ $///stamp.random) )) -(def: #export 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 982d2b0f7..ed60f6389 100644 --- a/stdlib/source/test/aedifex/artifact/time.lux +++ b/stdlib/source/test/aedifex/artifact/time.lux @@ -22,14 +22,14 @@ ["#." date] ["#." time]]) -(def: #export random +(def: .public random (Random /.Time) (do random.monad [date /date.random time /time.random] (in [date time]))) -(def: #export 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 5dd7156fc..e58ed00f9 100644 --- a/stdlib/source/test/aedifex/artifact/time/date.lux +++ b/stdlib/source/test/aedifex/artifact/time/date.lux @@ -22,7 +22,7 @@ [\\program ["." /]]) -(def: #export random +(def: .public random (Random /.Date) (random.one (function (_ raw) (try.maybe @@ -34,7 +34,7 @@ (/.date raw)))) random.date)) -(def: #export 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 904e34aec..9358e7bab 100644 --- a/stdlib/source/test/aedifex/artifact/time/time.lux +++ b/stdlib/source/test/aedifex/artifact/time/time.lux @@ -17,12 +17,12 @@ [\\program ["." /]]) -(def: #export random +(def: .public random (Random /.Time) (random.one (|>> time.clock (set@ #time.milli_second 0) time.time) random.time)) -(def: #export 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 b34db299c..be1fdfc80 100644 --- a/stdlib/source/test/aedifex/artifact/type.lux +++ b/stdlib/source/test/aedifex/artifact/type.lux @@ -16,7 +16,7 @@ [\\program ["." /]]) -(def: #export random +(def: .public random (Random /.Type) ($_ random.either ($_ random.either @@ -28,7 +28,7 @@ (random\in /.sha-1)) )) -(def: #export 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 79d063123..5a0b2df20 100644 --- a/stdlib/source/test/aedifex/artifact/versioning.lux +++ b/stdlib/source/test/aedifex/artifact/versioning.lux @@ -19,7 +19,7 @@ ["#." snapshot ["#/." version]]]) -(def: #export random +(def: .public random (Random /.Versioning) ($_ random.and $//snapshot.random @@ -27,7 +27,7 @@ (random.list 5 $//snapshot/version.random) )) -(def: #export 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 07d39f00f..44641af70 100644 --- a/stdlib/source/test/aedifex/cache.lux +++ b/stdlib/source/test/aedifex/cache.lux @@ -142,7 +142,7 @@ expected) actual))))))))) -(def: #export test +(def: .public test Test (<| (_.covering /._) ($_ _.and diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux index 6c251b0a4..f59cf6619 100644 --- a/stdlib/source/test/aedifex/cli.lux +++ b/stdlib/source/test/aedifex/cli.lux @@ -98,7 +98,7 @@ (#try.Failure error) false))))) -(def: #export 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 fe760258b..8fbca7e56 100644 --- a/stdlib/source/test/aedifex/command.lux +++ b/stdlib/source/test/aedifex/command.lux @@ -18,7 +18,7 @@ [\\program ["." /]]) -(def: #export 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 a5b598b11..6a7ef98ab 100644 --- a/stdlib/source/test/aedifex/command/auto.lux +++ b/stdlib/source/test/aedifex/command/auto.lux @@ -63,7 +63,7 @@ dummy_file)] (in [shell.normal []])))))])) -(def: #export 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 be7c8b55e..b5e796c2d 100644 --- a/stdlib/source/test/aedifex/command/build.lux +++ b/stdlib/source/test/aedifex/command/build.lux @@ -37,7 +37,7 @@ ["#." dependency (#+ Dependency) ["#/." resolution (#+ Resolution)]]]]]) -(def: #export good_shell +(def: .public good_shell (-> Any (Shell IO)) (shell.mock (function (_ [actual_environment actual_working_directory actual_command actual_arguments]) @@ -55,7 +55,7 @@ (def: (on_await state) (#try.Success [state shell.normal])))))))) -(def: #export bad_shell +(def: .public bad_shell (-> Any (Shell IO)) (shell.mock (function (_ [actual_environment actual_working_directory actual_command actual_arguments]) @@ -73,7 +73,7 @@ (def: (on_await state) (#try.Success [state shell.error])))))))) -(def: #export (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]) @@ -127,7 +127,7 @@ [/.ruby_compiler_name] )))))) -(def: #export resolution +(def: .public resolution (Random [Dependency Resolution]) (do random.monad [dependency ..compiler @@ -136,7 +136,7 @@ (|> ///dependency/resolution.empty (dictionary.put dependency package))]))) -(def: #export 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 523cf6ccc..fffef3033 100644 --- a/stdlib/source/test/aedifex/command/clean.lux +++ b/stdlib/source/test/aedifex/command/clean.lux @@ -80,7 +80,7 @@ (in (and directory_exists? (list.every? (|>>) files_exist?))))) -(def: #export 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 d315c646c..4bdbafd59 100644 --- a/stdlib/source/test/aedifex/command/deploy.lux +++ b/stdlib/source/test/aedifex/command/deploy.lux @@ -59,7 +59,7 @@ _ (/.do! console repository fs artifact profile)] (\ console read_line []))) -(def: #export 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 0d816ec02..0698899da 100644 --- a/stdlib/source/test/aedifex/command/deps.lux +++ b/stdlib/source/test/aedifex/command/deps.lux @@ -52,7 +52,7 @@ ["#/." origin] ["#/." local]]]]]]) -(def: #export 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 ed0a3a7d3..0ca484196 100644 --- a/stdlib/source/test/aedifex/command/install.lux +++ b/stdlib/source/test/aedifex/command/install.lux @@ -39,7 +39,7 @@ ["#." repository #_ ["#/." local]]]]]]) -(def: #export (make_sources! fs sources) +(def: .public (make_sources! fs sources) (-> (file.System Async) (Set file.Path) (Action (List Any))) (let [/ (\ fs separator) ! ///action.monad] @@ -60,7 +60,7 @@ _ (/.do! console fs (///repository/local.repository program fs) sample)] (\ console read_line []))) -(def: #export 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 54a365468..9577842c1 100644 --- a/stdlib/source/test/aedifex/command/pom.lux +++ b/stdlib/source/test/aedifex/command/pom.lux @@ -30,7 +30,7 @@ ["#." action] ["#." pom]]]]) -(def: #export 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 52c167ee9..f2117fad4 100644 --- a/stdlib/source/test/aedifex/command/test.lux +++ b/stdlib/source/test/aedifex/command/test.lux @@ -39,7 +39,7 @@ ["#." dependency ["#/." resolution]]]]]]) -(def: #export test +(def: .public test Test (<| (_.covering /._) (do {! random.monad} diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux index aaf320c60..f1c424289 100644 --- a/stdlib/source/test/aedifex/command/version.lux +++ b/stdlib/source/test/aedifex/command/version.lux @@ -28,7 +28,7 @@ [\\program ["." /]]) -(exception: #export console_is_closed!) +(exception: .public console_is_closed!) (implementation: mock (Mock [Bit Text]) @@ -57,13 +57,13 @@ (#try.Success [false buffer]) (exception.except ..console_is_closed! [])))) -(def: #export echo +(def: .public echo (-> Text (Console Async)) (|>> [true] (console.mock ..mock) console.async)) -(def: #export 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 733e15710..86d951f99 100644 --- a/stdlib/source/test/aedifex/dependency.lux +++ b/stdlib/source/test/aedifex/dependency.lux @@ -15,13 +15,13 @@ [\\program ["." /]]) -(def: #export random +(def: .public random (Random /.Dependency) ($_ random.and @artifact.random (random.ascii/alpha 1))) -(def: #export 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 8c1e2e61a..ec2ecad3d 100644 --- a/stdlib/source/test/aedifex/dependency/deployment.lux +++ b/stdlib/source/test/aedifex/dependency/deployment.lux @@ -143,7 +143,7 @@ artifact/type.lux_library])]] (in [dependency artifact package]))) -(def: #export 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 89e16691d..01b57eb62 100644 --- a/stdlib/source/test/aedifex/dependency/resolution.lux +++ b/stdlib/source/test/aedifex/dependency/resolution.lux @@ -86,7 +86,7 @@ (\ ///hash.md5_codec encode) (\ utf8.codec encode))) -(def: #export nope +(def: .public nope (Mock Any) (implementation (def: the_description @@ -96,7 +96,7 @@ (def: (on_upload uri binary state) (#try.Failure "NOPE")))) -(def: #export (single artifact package) +(def: .public (single artifact package) (-> Artifact Package (Mock Any)) (let [expected (///artifact.uri (get@ #///artifact.version artifact) artifact)] (implementation @@ -427,7 +427,7 @@ (not (dictionary.key? resolution ignored)))))) ))) -(def: #export 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 5b446d643..aad21027d 100644 --- a/stdlib/source/test/aedifex/dependency/status.lux +++ b/stdlib/source/test/aedifex/dependency/status.lux @@ -18,7 +18,7 @@ ["//#" /// #_ ["#." hash]]]]) -(def: #export random +(def: .public random (Random /.Status) ($_ random.or (random\in []) @@ -28,7 +28,7 @@ ($///hash.random ///hash.md5)) )) -(def: #export 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 524110c35..dc5633040 100644 --- a/stdlib/source/test/aedifex/hash.lux +++ b/stdlib/source/test/aedifex/hash.lux @@ -25,7 +25,7 @@ [data ["_." binary]]]]) -(def: #export (random hash) +(def: .public (random hash) (All [h] (-> (-> Binary (/.Hash h)) (Random (/.Hash h)))) @@ -33,7 +33,7 @@ [size (\ ! map (n.% 100) random.nat)] (\ ! map hash (_binary.random size)))) -(def: #export 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 4b2ee9ea2..168d378d4 100644 --- a/stdlib/source/test/aedifex/input.lux +++ b/stdlib/source/test/aedifex/input.lux @@ -41,7 +41,7 @@ (-> (Set Address) (Set Address)) (set.add //.default_repository)) -(def: #export 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 bd78c3464..a797f2a97 100644 --- a/stdlib/source/test/aedifex/local.lux +++ b/stdlib/source/test/aedifex/local.lux @@ -15,7 +15,7 @@ ["/#" // #_ ["#." artifact]]]]) -(def: #export 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 d4e6e816c..a19f6dfa7 100644 --- a/stdlib/source/test/aedifex/metadata.lux +++ b/stdlib/source/test/aedifex/metadata.lux @@ -16,7 +16,7 @@ [\\program ["." /]]) -(def: #export test +(def: .public test Test (<| (_.covering /._) ($_ _.and diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux index 95897c212..2e6a8e10f 100644 --- a/stdlib/source/test/aedifex/metadata/artifact.lux +++ b/stdlib/source/test/aedifex/metadata/artifact.lux @@ -41,7 +41,7 @@ ["#." repository #_ ["#/." local]]]]]]) -(def: #export random +(def: .public random (Random /.Metadata) ($_ random.and (random.ascii/alpha 5) @@ -66,7 +66,7 @@ #time.milli_second 0})] (in (instant.of_date_time date time)))))))) -(def: #export 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 4dd751639..7b375d42c 100644 --- a/stdlib/source/test/aedifex/metadata/snapshot.lux +++ b/stdlib/source/test/aedifex/metadata/snapshot.lux @@ -78,14 +78,14 @@ (random.list 5 $///artifact/snapshot/version.random) )) -(def: #export random +(def: .public random (Random /.Metadata) ($_ random.and $///artifact.random ..random_versioning )) -(def: #export 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 9c6adfcf2..e05dc712f 100644 --- a/stdlib/source/test/aedifex/package.lux +++ b/stdlib/source/test/aedifex/package.lux @@ -40,7 +40,7 @@ [repository ["#." origin]]]]]) -(def: #export random +(def: .public random (Random [//.Profile /.Package]) (do {! random.monad} [content_size (\ ! map (n.% 100) random.nat) @@ -53,7 +53,7 @@ $profile.random)] (in [profile (/.local pom content)]))) -(def: #export 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 360c30a4a..4c882ea4a 100644 --- a/stdlib/source/test/aedifex/parser.lux +++ b/stdlib/source/test/aedifex/parser.lux @@ -114,7 +114,7 @@ (#try.Failure error) false))))) -(def: #export 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 01b90c33e..657c6192d 100644 --- a/stdlib/source/test/aedifex/pom.lux +++ b/stdlib/source/test/aedifex/pom.lux @@ -22,7 +22,7 @@ ["/#" // #_ ["#" profile]]]]) -(def: #export test +(def: .public test Test (<| (_.covering /._) ($_ _.and diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux index 755c0e13a..857aaf6e1 100644 --- a/stdlib/source/test/aedifex/profile.lux +++ b/stdlib/source/test/aedifex/profile.lux @@ -117,7 +117,7 @@ (Random /.Target) (random.ascii/alpha 1)) -(def: #export random +(def: .public random (Random /.Profile) ($_ random.and (..list_of ..name) @@ -138,7 +138,7 @@ (random\in //runtime.default_ruby) )) -(def: #export 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 809bea253..3d027eec7 100644 --- a/stdlib/source/test/aedifex/project.lux +++ b/stdlib/source/test/aedifex/project.lux @@ -30,13 +30,13 @@ (random\map (set@ #//.parents (list))) (random.and (random.ascii/alpha 1)))) -(def: #export random +(def: .public random (Random /.Project) (do random.monad [[name profile] ..profile] (in (/.project name profile)))) -(def: #export 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 88efb42fe..eead05e89 100644 --- a/stdlib/source/test/aedifex/repository.lux +++ b/stdlib/source/test/aedifex/repository.lux @@ -53,7 +53,7 @@ (type: Store (Dictionary URI Binary)) -(def: #export empty +(def: .public empty Store (dictionary.empty text.hash)) @@ -65,7 +65,7 @@ Version "4.5.6-NO") -(implementation: #export mock +(implementation: .public mock (/.Mock Store) (def: the_description @@ -84,7 +84,7 @@ (exception.except ..cannot_upload [uri]) (exception.return (dictionary.put uri content state))))) -(def: #export test +(def: .public test Test (<| (_.covering /._) ($_ _.and diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux index e19acde36..6158d2397 100644 --- a/stdlib/source/test/aedifex/repository/identity.lux +++ b/stdlib/source/test/aedifex/repository/identity.lux @@ -10,14 +10,14 @@ [\\program ["." /]]) -(def: #export random +(def: .public random (Random /.Identity) ($_ random.and (random.ascii/alpha 10) (random.ascii/alpha 10) )) -(def: #export 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 a63f4c256..b2352bdd2 100644 --- a/stdlib/source/test/aedifex/repository/local.lux +++ b/stdlib/source/test/aedifex/repository/local.lux @@ -23,7 +23,7 @@ [\\program ["." /]]) -(def: #export 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 daf8e8667..80c2946bc 100644 --- a/stdlib/source/test/aedifex/repository/origin.lux +++ b/stdlib/source/test/aedifex/repository/origin.lux @@ -10,14 +10,14 @@ [\\program ["." /]]) -(def: #export random +(def: .public random (Random /.Origin) ($_ random.or (random.ascii/alpha 10) (random.ascii/alpha 10) )) -(def: #export 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 cad0fe873..0ff764bdd 100644 --- a/stdlib/source/test/aedifex/repository/remote.lux +++ b/stdlib/source/test/aedifex/repository/remote.lux @@ -80,7 +80,7 @@ {#@http.headers (http.headers (list)) #@http.body (..url_body "")}])))) -(def: #export 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 bd87377bc..7508239ad 100644 --- a/stdlib/source/test/aedifex/runtime.lux +++ b/stdlib/source/test/aedifex/runtime.lux @@ -19,7 +19,7 @@ [\\program ["." /]]) -(def: #export random +(def: .public random (Random /.Runtime) ($_ random.either (random\in /.default_java) @@ -29,7 +29,7 @@ (random\in /.default_ruby) )) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Runtime]) |