From 9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 16 Jun 2022 00:48:19 -0400 Subject: De-sigil-ification: suffix : [Part 13] --- .../source/test/aedifex/dependency/deployment.lux | 12 ++--- .../source/test/aedifex/dependency/resolution.lux | 58 +++++++++++----------- stdlib/source/test/aedifex/dependency/status.lux | 4 +- 3 files changed, 37 insertions(+), 37 deletions(-) (limited to 'stdlib/source/test/aedifex/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] -- cgit v1.2.3